---------- Forwarded message ----------
A position for a fully-funded PhD candidate is available on the new
Marsden Fund project
Models of Paradox in Non-Classical Mereotopology
to be conducted for three years starting March 2013, at the Department
of Philosophy, University of Otago, on the beautiful South Island of
New Zealand.
The successful candidate might already know what all the words in the
project’s title mean. Research will be supervised by the Principle
Investigator, Dr Zach Weber.
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). Plans include:
* starting with a non-classical logic, and proving theorems in
e.g. mereology, topology, geometry, algebra, etc
* using these results to build models of paradoxes, e.g.
provide a generalization of Priest’s inclosure schema
* interpreting the models to explain paradoxes: why do they exist at all?
The topic of the thesis will be up to the candidate, but should
involve a serious approach to non-classical mathematics.
For more information, including full project description, see
http://sites.google.com/site/doctorzachweber/models-of-paradox<https://sites.google.com/site/doctorzachweber/models-of-paradox>
Philosophy at Otago:
http://www.otago.ac.nz/philosophy/
Inquiries and expressions of interest, including research proposals,
should go to Zach Weber
[email protected]<mailto:[email protected]>
Zach Weber
Department of Philosophy
University of Otago
Dunedin, New Zealand
+64 3 479 8858
http://sites.google.com/site/doctorzachweber/
http://sites.google.com/site/otagologic/
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
