Substitution in Relevant Logics
Peer reviewed, Journal article
Published version

Åpne
Permanent lenke
https://hdl.handle.net/1956/21091Utgivelsesdato
2019Metadata
Vis full innførselSamlinger
- Department of Philosophy [266]
Originalversjon
https://doi.org/10.1017/s1755020319000467Sammendrag
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.