February 2016 Symposium: Non-Classical Mathematics (Southern Edition) This will be the culmination of the Marsden Funded Models of Paradox project, with a published proceedings expected. __________________________________________________________________________________________ 2014 Workshop: Non-Classical [Meta]mathematics, February 7-8Topic: 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. Speakers: Zach Weber - `Paraconsistent Mathematics and BeyondHitoshi Omori (City University of New York) `Steps towards non-classical mathematics based on the ideas of da Costa and Priest'2012Workshop: Curry's Paradox and ParaconsistencySpeakers: Graham Priest (CUNY) Jc Beall (UConn) Maarten McKubre-Jordens (Canterbury) With e-participation by Greg Restall (Melbourne), Jeremy Seligman (Auckland) and Dave Ripley (UConn). |