-
This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of LF, lays out…Read more
-
The Bounds of Possibility: Puzzles of Modal VariationOxford University Press. 2021.In general, a given object could have been different in certain respects. For example, the Great Pyramid could have been somewhat shorter or taller; the Mona Lisa could have had a somewhat different pattern of colours; an ordinary table could have been made of a somewhat different quantity of wood. But there seem to be limits. It would be odd to suppose that the Great Pyramid could have been thimble-sized; that the Mona Lisa could have had the pattern of colours that actually characterizes T…Read more
-
Williamson on Modality (edited book)Routledge. 2017.Timothy Williamson is one of the most influential living philosophers working in the areas of logic and metaphysics. His work in these areas has been particularly influential in shaping debates about metaphysical modality, which is the topic of his recent provocative and closely-argued book *Modal Logic as Metaphysics* (2013). The present book comprises ten essays by metaphysicians and logicians responding to Williamson’s work on metaphysical modality. The authors include some of the most distin…Read more
-
The Necessity of MathematicsNoûs 54 (3): 549-577. 2020.
Oakleigh, Victoria, Australia
Areas of Specialization
Epistemology |
Metaphysics |
Philosophy of Language |
Philosophy of Mind |
Logic and Philosophy of Logic |