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