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.
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. ¶ 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 @email@example.com, where most updates are posted.