Substitution in relevant logics

Review of Symbolic Logic (3):1-26 (2019)
  Copy   BIBTEX

Abstract

This essay discusses rules and semantic clauses relating to Substitution—Leibniz’s law in the conjunctive-implicational form s=t ∧ A(s) → A(t)—as these are put forward in Priest’s books "In Contradiction" and "An Introduction to Non-Classical Logic: From If to Is." The stated rules and clauses are shown to be too weak in some cases and too strong in others. New ones are presented and shown to be correct. Justification for the various rules are probed and it is argued that Substitution ought to fail.

Similar books and articles

Skolem Functions in Non-Classical Logics.Tore Fjetland Øgaard - 2017 - Australasian Journal of Logic 14 (1):181-225.
The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2011 - Australasian Journal of Logic 8:1-8.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 348-367.
Quasi-Strongly Finite Sentential Calculi.Zdzislaw Dywan - 1980 - Bulletin of the Section of Logic 9 (4):154-157.
Deduction Theorems for Weak Implicational Logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Cut and Pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.

Analytics

Added to PP
2019-09-18

Downloads
36 (#321,978)

6 months
1 (#418,511)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tore Fjetland Øgaard
University of Bergen

Citations of this work

Identity in Mares-Goldblatt Models for Quantified Relevant Logic.Shawn Standefer - 2021 - Journal of Philosophical Logic 50 (6):1389-1415.

Add more citations

References found in this work

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
What is a Non-Normal World?Graham Priest - 1992 - Logique Et Analyse 35:291-302.
Paths to Triviality.Tore Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.

View all 15 references / Add more references