'Against Classical Paraconsistent Metatheory' - Guest Lecture Dr Patrick Girard (Auckland)
17 March 2023 2:00pm
There was a time when `logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. I will argue that this practice of relying on classical metatheories is problematic. In particular, it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it is designed to study. Joint work with Koji Tanaka.
Venue
Room:
Hybrid (Room 01-E302 and online, contact Dr Guillermo Badia at g.badia@uq.edu.au for the Zoom link)