Substitution in Relevant Logics

Download Edit this record How to cite View on PhilPapers
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.
Categories
(categorize this paper)
PhilPapers/Archive ID
GAASIR
Revision history
Archival date: 2019-10-06
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2019-09-18

Total views
15 ( #42,134 of 42,910 )

Recent downloads (6 months)
15 ( #32,877 of 42,910 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.