Proofs with Star and Perp: pluralism and proofs for different logics

December 10, 2021

Abstract: In this talk, I show how to incorporate insights from the model-theoretic semantics for negation (insights due the late J. Michael Dunn, among others), into a properly proof-theoretic understanding of the semantics of negation. I then discuss the different ways a logical pluralist may understand the underlying accounts of proofs and their significance.

The talk is a presentation at the Current Debates in the Philosophy of Logic Seminar, European Network for the Philosophy of Logic.
The slides for the talk are available here.

about

I’m Greg Restall, and this is my personal website. ¶ I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews, and the Director of the Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology ¶ I like thinking about – and helping other people think about – logic and philosophy and the many different ways they can inform each other.

To receive updates from this site, subscribe to the RSS feed in your feed reader. Alternatively, follow me at @consequently@hcommons.social, where most updates are posted.

contact

Social media: @consequently@scholar.social.
Personal email: greg@consequently.org.
St Andrews profile.
My office is in Edgecliffe, The Scores.