Two PhD student positions in mathematical/philosophical logic, Canterbury (New Zealand)

Applications are invited for a fully-funded PhD scholarship on two separate Marsden-fundeds.

The first position is at the University of Canterbury, on the project "Non-classical Foundations of Analysis. This project seeks to formulate and understand new mathematical models of the continuum using non-classical logics. The main thrust of the project will be to use paraconsistent logics to explore properties of sets, sequences, functions and continuity, and to prove interesting theorems that are classically hidden by inconsistency.

The second position is at the University of Otago, on the project "Models of Paradox in Non-Classical Mereotopology". The goal of the project is to understand the nature of logical paradoxes. The strategy is to use mathematical models based on non-classical logics (paraconsistent and paracomplete).

For details and how to apply, see the project websites at http://www.math.canterbury.ac.nz/~m.jordens/NCFA/ and http://sites.google.com/site/doctorzachweber/models-of-paradox.