Friday February 7, Philosophy Department Seminar Room (117 Union St E, Dunedin)
Topic: Non-classical mathematics is maths done using non-classical logic. The goal of this event is to understand the model theory and proof theory of non-classical maths, using non-classical maths. It will be a meeting of the minds from several different backgrounds, with tutorial presentations on the current state-of-play in respective logics.
`Paraconsistent Mathematics and Beyond'
11 Morning Tea
`From Fuzzy Logic to Fuzzy Mathematics'
`Steps towards non-classical mathematics based on the ideas of da Costa and Priest'
4 pm Afternoon Tea
`Inconsistency-adaptive set theory: a maximally consistent theory based on unrestricted abstraction'
6 Go to dinner
Registration: Free to attend, but please RSVP to zach.weber [at] otago.ac.nz
February 2016 Symposium: Explanations in Analytic Metaphysics
A conference about using non-classical models to explain the nature and existence of paradoxes.
This will be the culmination of the Marsden Funded Models of Paradox project, with a published proceedings expected.
With e-participation by Greg Restall (Melbourne), Jeremy Seligman (Auckland) and Dave Ripley (UConn).