Geometric Models for Relevant Logics

May 2021

“Geometric Models for Relevant Logics”, p. 223–239 in Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, Edited by Ivo Duntsch and Edwin Mares, Springer.

Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways. One key theme, present in both his undecidability proof for the relevant logic R, and his proof of the failure of interpolation in R, is the use of techniques from geometry. In this paper, inspired by Urquhart’s work, I explore ways to generate natural models of R from geometries, and different constraints that an accessibility relation in such a model might satisfy. I end by showing that a set of natural conditions on an accessibility relation, motivated by geometric considerations, is jointly unsatisfiable.

download pdf

You are welcome to download and read this paper. I welcome any feedback you'd like to share. Please check the final published version if you wish to cite it. Thanks.

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.