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.


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, where most updates are posted.


This site is powered by Netlify, GitHub, Hugo, Bootstrap, and coffee.   ¶   © 1992– Greg Restall.