Skip to main content Accessibility help
×
Home

SUBSTITUTION IN RELEVANT LOGICS

  • TORE FJETLAND ØGAARD (a1)

Abstract

This essay discusses rules and semantic clauses relating to Substitution—Leibniz’s law in the conjunctive-implicational form $s\dot{ = }t \wedge A\left( s \right) \to A\left( t \right)$ —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 is probed and it is argued that Substitution ought to fail.

Copyright

Corresponding author

DEPARTMENT OF PHILOSOPHY UNIVERSITY OF BERGEN PO BOX 7805 5020 BERGEN NORWAY E-mail: Tore.Ogaard@uib.no

References

Hide All
Belnap, N. D. (1960). Entailment and relevance. Journal of Symbolic Logic, 25 (2), 144146. https://doi.org/10.2307/2964210.
Berto, F. & Restall, G. (2019). Negation on the Australian plan. Journal of Philosophical Logic. https://doi.org/10.1007/S10992-019-09510-2.
Brady, R. T. (1989). Depth relevance of some paraconsistent logics. Studia Logica, 43(1–2), 6373. https://doi.org/10.1007/BF00935740.
Dunn, J. M. (1979). Relevant Robinson’s arithmetic. Studia Logica, 38(4), 407418. https://doi.org/10.1007/BF00370478.
Friedman, H. & Meyer, R. K. (1992). Whither relevant arithmetic? Journal of Symbolic Logic, 57(3), 824831. https://doi.org/10.2307/2275433.
Kremer, P. (1999). Relevant identity. Journal of Philosophical Logic, 28(2), 199222. https://doi.org/10.1023/A:1004323917968.
Mares, E. D. (2004). Relevant Logic: A Philosophical Interpretation. Cambridge: Cambridge University Press. https://doi.org/10.1017/CBO9780511520006.
Meyer, R. K. & Restall, G. (1996). Linear arithmetic desecsed. Logique & Analyse, 39(155/156), 379387. http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1409/.
Meyer, R. K. & Restall, G. (1999). Strenge” arithmetics. Logique & Analyse, 42(167/168), 205220. http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1473/.
Øgaard, T. F. (2016). Paths to triviality. Journal of Philosophical Logic, 45(3), 237276. https://doi.org/10.1007/s10992-015-9374-6.
Øgaard, T. F. (2017). Skolem functions in non-classical logics. Australasian Journal of Logic, 14(1), 181225. https://doi.org/10.26686/ajl.v14i1.4031.
Øgaard, T. F. (2019). Non-boolean classical relevant logic I, typescript.
Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8(1), 219241. https://doi.org/10.1007/BF00258428.
Priest, G. (1992). What is a non-normal world. Logique et Analyse, 35(139/140), 291302. http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1296/.
Priest, G. (2006). In Contradiction (second edition). Oxford: Oxford University Press. https://doi.org/10.1093/acprof:oso/9780199263301.001.0001.
Priest, G. (2008). An Introduction to Non-Classical Logic. From If to Is (second edition). Cambridge: Cambridge University Press. https://doi.org/10.1017/CBO9780511801174.
Priest, G. (2011). Paraconsistent set theory. In DeVidi, D., Hallett, M., and Clarke, P., editors. Logic, Mathematics, Philosophy: Vintage Enthusiasms. The Western Ontario Series in Philosophy of Science, Vol. 75. Dordrecht: Springer, pp. 153169. https://doi.org/10.1007/978-94-007-0214-1.
Priest, G. & Sylvan, R. (1992). Simplified semantics for basic relevant logic. Journal of Philosophical Logic, 21(2), 217232. https://doi.org/10.1007/BF00248640.
Restall, G. (2010). Models for substructural arithmetics. Australasian Journal of Logic, 8, 8299. https://doi.org/10.26686/ajl.v8i0.1814.
Routley, R. (1980). Exploring Meinong’s Jungle and Beyond. Departmental Monograph, Philosophy Department, RSSS, Australian National University, Vol. 3. Canberra: RSSS, Australian National University, Canberra. http://hdl.handle.net/11375/14805.
Routley, R. & Routley, V. (1972). The semantics of first degree entailment. Noûs, 6(4), 335359. https://doi.org/10.2307/2214309.
Slaney, J. K. (1995). MaGIC, Matrix Generator for Implication Connectives: Release 2.1 notes and guide. Technical Report. http://ftp.rsise.anu.edu.au/techreports/1995/TR-ARP-11-95.dvi.gz.

Keywords

SUBSTITUTION IN RELEVANT LOGICS

  • TORE FJETLAND ØGAARD (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.