Proofs for Relevant Consequence, with Star and Perp

March 9, 2023

Abstract: In this talk, I show how to incorporate insights from the model-theoretic semantics for negation (insights due to J. Michael Dunn, in his paper “Star and Perp: Two Treatments of Negation”), into a proof-first understanding of the semantics of negation. I then discuss how a logical pluralist may understand the underlying accounts of proofs and their significance. The result is a new perspective from which to view the connection between relevance and different notions of logical consequence.

The talk was a face-to-face presentation at the Logic, Reasoning, and Justification Workshop hosted by the Philosophy Department at the University of Bergen, in Norway.
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.