Speaker: Zach Weber (University of Otago)
Title: “Non-classical logic and inconsistent mathematics”
Date, Time and Venue: Monday, 1 April 2019, 14:00-15:00, 260-6115 [Business School Building, Level 6]
Abstract: Faced with logical paradoxes like the liar and the sorites, there are several options, including classical and non-classical (paracomplete and paraconsistent) approaches. I will briefly review some costs and benefits of each. Then I will mainly focus on the paraconsistent approach, using logics that allow for some contradictions. I will outline how paraconsistent logic may be applied in the foundations of mathematics, especially in naive set theory. I’ll conclude with a brief discussion of the wider inconsistent mathematics program as it stands today.