Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics

  • Katalin Bimbo Department of Philosophy University of Alberta
  • Jon Michael Dunn
  • Nicholas Ferenz

Abstract

A ternary relation is often used nowadays to interpret an implication connective of a logic, a practice that became dominant in the semantics of relevance logics.  This paper examines two early manuscripts --- one by Routley, another by Meyer --- in which they were developing set-theoretic semantics for various relevance logics.  A standard presentation of a ternary relational semantics for, let us say, the logic of relevant implication R is quite illuminating, yet the invention of this semantics was fraught with false starts.  Meyer's manuscript, in which he builds on some ideas from Routley's manuscript, essentially contains a relational semantics for which R^{ot} is sound and complete.

Published
2018-07-04
How to Cite
BIMBO, Katalin; DUNN, Jon Michael; FERENZ, Nicholas. Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics. The Australasian Journal of Logic, [S.l.], v. 15, n. 2, p. 171-209, july 2018. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/4066>. Date accessed: 22 oct. 2018. doi: https://doi.org/10.26686/ajl.v15i2.4066.