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. The project is to be conducted for three years starting March 2013, at the Department of Philosophy, University of Otago. |