Monday, November 19, 2012
Along with the Models project here at Otago, another Marsden project on paraconsistent real analysis is starting up at the University of Canterbury: Applications are invited for a PhD student on the Marsden-funded project Non-classical Foundations of Analysis. The project seeks new mathematical models of the continuum, using paraconsistent logics to prove theorems that are classically hidden by inconsistency. The successful applicant will carry out doctoral study at the University of Canterbury in New Zealand. The topic of the thesis is flexible within the parameters of the project; the appointment is for three years. For details, see the project website.
Posted by Zach Weber at 4:47 PM
Wednesday, October 24, 2012
This is a preliminary announcement of a new project, Models of Paradox in Non-Classical Mereotoplogy, funded by a Marsden Grant at the Philosophy Department, University of Otago, for three years, starting in March 2013. A PhD candidate is called for the project, advertisement coming soon. Initial inquiries welcome.
Posted by Zach Weber at 4:53 AM