The Logic and Metaphysics Workshop will meet on February 28th from 4:15-6:15 (NY time) in-person at the Graduate Center (Room 5382) for a talk by Michael Burton (Yale).
Title: Paraconsistency with some detachment
Abstract: In this talk, a proof-of-concept logic is presented that is like first-order LP (the “logic of paradox”) except things behave classically within the scope of universal quantifiers. This logic’s material conditional does not, in general, detach, but much can be deduced with it. Structures for this logic are classical first-order structures equipped with a congruence relation, giving this logic a connection to Priest’s collapsing lemma for LP. Some possible improvements to this logic are then discussed. One of these involves separating classicality from universal quantification, having classicality be mediated instead by operators that interact with variable assignments. Finally, the relevance of logics of this kind to various logical paradoxes is discussed.