×

Stabilizing quantum disjunction. (English) Zbl 1457.03069

Summary: Since the appearance of Prior’s tonk, inferentialists tried to formulate conditions that a collection of inference rules for a logical constant has to satisfy in order to succeed in conferring an acceptable meaning to it. Dummett proposed a pair of conditions, dubbed ‘harmony’ and ‘stability’ that have been cashed out in terms of the existence of certain transformations on natural deduction derivations called reductions and expansions. A long standing open problem for this proposal is posed by quantum disjunction: although its rules are intuitively unstable, they pass the test of existence of expansions. Although most authors view instabilities of this kind as too subtle to be detected by the requirement of existence of expansions, we first discuss a case showing that this requirement can indeed detect instabilities of this kind, and then show how the expansions for disjunction-like connectives have to be reformulated to rule out quantum disjunction. We show how the alternative pattern for expansions can be formulated for connectives and quantifiers whose rules satisfy a scheme originally developed by Prawitz and Schroeder-Heister. Finally we compare our proposal with a recent one due to Jacinto and Read.

MSC:

03F03 Proof theory in general (including proof-theoretic semantics)
03G12 Quantum logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Belnap, ND, Tonk, plonk and plink, Analysis, 22, 130-134, (1962) · doi:10.1093/analys/22.6.130
[2] Dicher, B., Weak disharmony: some lessons for proof-theoretic semantics, Review of Symbolic Logic, 9, 583-602, (2016) · Zbl 1391.03040 · doi:10.1017/S1755020316000162
[3] Dummett, M. (1981). Frege. Philosophy of language, 2edn. London: Duckworth.
[4] Dummett, M. (1991). The logical basis of metaphysics. London: Duckworth.
[5] Francez, N., On harmony and permuting conversions, Journal of Applied Logic, 21, 14-23, (2017) · Zbl 1436.03288 · doi:10.1016/j.jal.2016.12.004
[6] Gentzen, G. (1935). Untersuchungen über das logische Schließen, Mathematische Zeitschrift 39. eng. transl. Investigations into logical deduction. In Szabo, M.E. (Ed.) The collected papers of Gerhard Gentzen, North-Holland 1969 (pp. 68-131).
[7] Jacinto, Bruno; Read, Stephen, General-Elimination Stability, Studia Logica, 105, 361-405, (2016) · Zbl 1417.03285 · doi:10.1007/s11225-016-9692-x
[8] Prawitz, D. (1965). Natural deduction. A proof-theoretical study. Stockholm: Almqvist & Wiksell. Reprinted in 2006 for Dover Publication. · Zbl 0173.00205
[9] Prawitz, D. (1971). Ideas and results in proof theory. In Fenstad, J. (Ed.) Proceedings of the Second Scandinavian Logic Symposium, Vol. 63 of Studies in Logic and the Foundations of Mathematics (pp. 235-307): Elsevier. · Zbl 0226.02031
[10] Prawitz, Dag, Proofs and the Meaning and Completeness of the Logical Constants, 25-40, (1979), Dordrecht · Zbl 0406.03069 · doi:10.1007/978-94-009-9825-4_2
[11] Prior, AN, The runabout inference-ticket, Analysis, 21, 38-39, (1960) · doi:10.1093/analys/21.2.38
[12] Schroeder-Heister, P. (1981). Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen, PhD thesis, Bonn University. · Zbl 0514.94022
[13] Schroeder-Heister, P., A natural extension of natural deduction, The Journal of Symbolic Logic, 49, 1284-1300, (1984) · Zbl 0574.03045 · doi:10.2307/2274279
[14] Schroeder-Heister, P., The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony, Studia Logica, 102, 1185-1216, (2014) · Zbl 1344.03046 · doi:10.1007/s11225-014-9562-3
[15] Seely, R. A. G., Weak adjointness in proof theory, 697-701, (1979), Berlin, Heidelberg · Zbl 0438.18002
[16] Steinberger, F., On the equivalence conjecture for proof-theoretic harmony, Notre Dame journal of Formal Logic, 54, 79-86, (2013) · Zbl 1301.03014 · doi:10.1215/00294527-1731398
[17] Tennant, N. (2008). Inferentialism, logicism, harmony, and a counterpoint. In Coliva, A. (Ed.) Essays for Crispin Wright: Logic Language and Mathematics. Oxford: Oxford University Press.
[18] Tranchini, L. (2016). Proof-theoretic harmony: towards an intensional account, Synthese, Online First. https://doi.org/10.1007/s11229-016-1200-3.
[19] von Plato, J., Gentzen’s proof of normalization for natural deduction, Bulletin of Symbolic Logic, 14, 240-257, (2008) · Zbl 1145.03003 · doi:10.2178/bsl/1208442829
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.