Models of Paradox

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. 

For a full project descriptionclick the PDF.

Zach Weber,
Oct 31, 2012, 2:06 PM
Zach Weber,
Jan 20, 2013, 1:54 PM