Schedule

The 2024 Conference will be held over two days, each day consisting of 3 talks by graduate speakers and 1 keynote talk. This year we are very pleased to welcome Alexander Paseau and Mark Jago as keynote speakers.  A full schedule can be downloaded here.

​

Saturday's Keynote: Alexander Paseau

Title: Why Infinitary Logic is Genuinely Logical

Abstract: Just as one can distinguish pure geometry (roughly the study of what follows from some geometric axioms) from applied geometry (the geometry of our physical world or worlds like it), one can distinguish pure logic (the mathematical study of any logic) from applied logic (the study of what really follows from what). My talk will be an exercise in applied logic. A tenet of contemporary thought is that applied logic is finitary: any logically valid argument must be capturable in a finitary logic, e.g. first-order logic. Infinitary logics are a relatively minor area of mathematical study but are not generally regarded as correct, i.e. as genuinely logical in the applied logician’s sense. Against this, I shall give some reasons for thinking that infinitary logic is genuinely logical. The talk will overlap with Part II of my book One True Logic, co-authored with Owen Griffiths (Oxford UP 2022).

​

Sunday's Keynote: Mark Jago

Title: Belief in Truthmaker Semantics

Abstract: For over 50 years, the problem of logical omniscience has plagued formal epistemology, whereby agents are modelled as knowing all logical consequences of their knowledge. Potential solutions bifurcate into semantic and syntactic approaches. The former are often too coarse-grained, whereas the latter often appear ad hoc. Truthmaker semantics promises a resolution, with a medium-grained semantic approach. My aim in this paper is to present and develop the idea, based on ideas from Stephen Yablo and Kit Fine, and evaluate it. I'll show that it solves some but not all versions of the problem.

​