Substitution in Relevant Logics


Authors
Tore Fjetland Øgaard
University of Bergen
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.
Keywords identity  Leibniz's law  substitution  relevant logics  tableaux system  possible world semantics
Categories (categorize this paper)
DOI 10.1017/s1755020319000467
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,822
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Skolem Functions in Non-Classical Logics.Tore Fjetland Øgaard - 2017 - Australasian Journal of Logic 14 (1):181-225.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
Where Gamma Fails.Robert K. Meyer, Steve Giambrone & Ross T. Brady - 1984 - Studia Logica 43 (3):247 - 256.
Admissibility of Ackermann's Rule Δ in Relevant Logics.Gemma Robles - 2013 - Logic and Logical Philosophy 22 (4):411-427.
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.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.

Analytics

Added to PP index
2019-09-18

Total views
20 ( #429,975 of 2,265,055 )

Recent downloads (6 months)
20 ( #39,676 of 2,265,055 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature