On the notion of validity for the bilateral classical logic
Abstract
This paper considers Rumfitt’s bilateral classical logic (BCL), which is proposed to counter Dummett’s challenge to classical logic. First, agreeing with several authors, we argue that Rumfitt’s notion of harmony, used to justify logical rules by a purely proof theoretical manner, is not sufficient to justify coordination rules in BCL purely proof-theoretically. For the central part of this paper, we propose a notion of proof-theoretical validity similar to Prawitz for BCL and proves that BCL is sound and complete respect to this notion of validity. The major difficulty in defining validity for BCL is that validity of positive +A appears to depend on negative −A, and vice versa. Thus, the straightforward inductive definition does not work because of this circular dependance. However, Knaster-Tarski’s fixed point theorem can resolve this circularity. Finally, we discuss the philosophical relevance of our work, in particular, the impact of the use of fixed point theorem and the issue of decidability.Author's Profile
My notes
Similar books and articles
Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
Bilateralism does not provide a proof theoretic treatment of classical logic.Michael Gabbay - 2017 - Journal of Applied Logic 25:S108-S122.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
Failure of Completeness in Proof-Theoretic Semantics.Thomas Piecha, Wagner de Campos Sanz & Peter Schroeder-Heister - 2015 - Journal of Philosophical Logic 44 (3):321-335.
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingen
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
A Proof-theoretic Study Of The Correspondence Of Classical Logic And Modal Logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic.John Cantwell - 2015 - Journal of Logic, Language and Information 24 (1):27-51.
A constructive game semantics for the language of linear logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.
Analytics
Added to PP
2019-11-01
Downloads
119 (#106,481)
6 months
12 (#77,364)
2019-11-01
Downloads
119 (#106,481)
6 months
12 (#77,364)
Historical graph of downloads