A Marsden Fund Fast Start Grant, 2013-2016
Models of Paradox in Non-Classical Mereotopology
This project will give a new description of logical paradoxes, explaining them through mathematical models based on non-classical logics (paraconsistent and paracomplete).
The hypothesis is that paradoxes involve boundaries (of concepts, predicates, or properties), as shown in an intuitive geometric way by a formal theory of connected parts (mereotopology).
The goal is to understand the nature of paradox---why do they exist at all?---newly rendered in precise terms that facilitate philosophical progress.