Geodesic
Bilateral Rules as Complex Rules
Bulletin of the Section of Logic, Tome 52 (2023) no. 3, pp. 329-375

Voir la notice de l'article provenant de la source Library of Science

Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially by Coordination Principles (a kind of rule that is not present in unilateral systems) and mismatches between rules for assertion and rules for rejection. In this paper, a solution is proposed for two major issues: the availability of a reduction procedure for tonk and the existence of harmonious rules for the paradoxical zero-ary connective ∙. The solution is based on a reinterpretation of bilateral rules as complex rules, that is, rules that introduce or eliminate connectives in a subordinate position. Looking at bilateral rules from this perspective, the problems faced by bilateralism can be seen as special cases of general problems of complex systems, which have been already analyzed in the literature. In the end, a comparison with other proposed solutions underlines the need for further investigation in order to complete the picture of bilateral proof-theoretic semantics.
Keywords: bilateralism, separability, harmony 
Ceragioli, Leonardo. Bilateral Rules as Complex Rules. Bulletin of the Section of Logic, Tome 52 (2023) no. 3, pp. 329-375. http://geodesic.mathdoc.fr/item/BSL_2023_52_3_a2/
@article{BSL_2023_52_3_a2,
     author = {Ceragioli, Leonardo},
     title = {Bilateral {Rules} as {Complex} {Rules}},
     journal = {Bulletin of the Section of Logic},
     pages = {329--375},
     year = {2023},
     volume = {52},
     number = {3},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2023_52_3_a2/}
}
TY  - JOUR
AU  - Ceragioli, Leonardo
TI  - Bilateral Rules as Complex Rules
JO  - Bulletin of the Section of Logic
PY  - 2023
SP  - 329
EP  - 375
VL  - 52
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/BSL_2023_52_3_a2/
LA  - en
ID  - BSL_2023_52_3_a2
ER  - 
%0 Journal Article
%A Ceragioli, Leonardo
%T Bilateral Rules as Complex Rules
%J Bulletin of the Section of Logic
%D 2023
%P 329-375
%V 52
%N 3
%U http://geodesic.mathdoc.fr/item/BSL_2023_52_3_a2/
%G en
%F BSL_2023_52_3_a2

[1] L. Ceragioli, Ex falso and Proof-Theoretic Validity, [in:] L. Bellotti, G. Turbanti (eds.), Fourth Pisa Colloquium in Logic, Language and Epistemology Essays in Honour of Enrico Moriconi, ETS, Pisa (2021).

[2] L. Ceragioli, Single-Assumption Systems in Proof-Theoretic Semantics, Journal of Philosophical Logic, vol. 51 (2022), pp. 1019–1054 | DOI

[3] C. Cozzo, Are Dummett’s requirements on a theory of meaning sufficient for rejecting classical logic?, Erkenntnis, vol. 40 (1994), pp. 243–263, URL: http://www.jstor.org/stable/20012540

[4] C. Cozzo, Does epistemological holism lead to meaning holism?, Topoi, vol. 21 (2002), pp. 25–45 | DOI

[5] C. Cozzo, On the Copernican Turn in Semantics, Theoria, vol. 74 (2008), pp. 295–317 | DOI

[6] M. Dummett, The Logical Basis of Metaphysics, Harvard University Press, Cambridge (Massachussets) (1991).

[7] M. Dummett, Elements of Intuitionism, Claredon Press, Oxford (2000).

[8] R. Dyckhoff, Some Remarks on Proof-Theoretic Semantics, [in:] T. Piecha, P. Schroeder-Heister (eds.), Advances in Proof-Theoretic Semantics, Springer International Publishing, Cham (2016), pp. 79–93 | DOI

[9] F. Ferreira, The co-ordination principles: A problem for bilateralism, Mind, vol. 117 (2008), pp. 1051–1057 | DOI

[10] N. Francez, Bilateralism in Proof-Theoretic Semantics, Journal of Philosophical Logic, vol. 43 (2013), pp. 239–259 | DOI

[11] N. Francez, Proof-Theoretic Semantics, College Publications, London (2015).

[12] N. Francez, Bilateralism does provide a proof theoretic treatment of classical logic (for non-technical reasons), Journal of Applied Logic: The ifColog Journal of Logics and Their Applications, vol. 5(8) (2018), pp. 1653–1662.

[13] M. Gabbay, Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons), Journal of Applied Logic, vol. 25 (2017), pp. S108–S122 | DOI

[14] O. Hjortland, S. Standefer, Inferentialism, structure and conservativeness, [in:] O. Beran, V. Kolman, L. Koreň (eds.), From Rules to Meanings: New Essays on Inferentialism, Routledge, New York, Abingdon (2018), pp. 115–140.

[15] O. T. Hjortland, Speech Acts, Categoricity, and the Meanings of Logical Connectives, Notre Dame Journal of Formal Logic, vol. 55(4) (2014), pp. 445–467 | DOI

[16] B. Jacinto, S. Read, General-Elimination Stability, Studia Logica, vol. 105 (2017), pp. 361–405 | DOI

[17] N. Kürbis, Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality, Journal of Philosophical Logic, vol. 44 (2015), pp. 713–727, URL: http://www.jstor.org/stable/43895412

[18] N. Kürbis, Some Comments on Ian Rumfitt’s Bilateralism, Journal of Philosophical Logic, vol. 45 (2016), pp. 623–644 | DOI

[19] N. Kürbis, Bilateralism: Negations, Implications and some Observations and Problems about Hypotheses, [in:] T. Piecha, J. Fichot (eds.), Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22–27 May 2017, Tübingen, Germany (2017) | DOI

[20] N. Kürbis, Normalisation for Bilateral Classical Logic with some Philosophical Remarks, Journal of Applied Logics, vol. 2 (2021), pp. 531–556.

[21] P. Milne, Classical Harmony: Rules of Inference and the Meaning of the Logical Constants, Synthese, vol. 100 (1994), pp. 49–94 | DOI

[22] P. Milne, Harmony, purity, simplicity and a “seemingly magical fact”, Monist, vol. 85 (2002), pp. 498–534 | DOI

[23] P. Milne, Inversion principles and introduction rules, [in:] H. Wansing (ed.), Dag Prawitz on Proofs and Meaning, chap. 8, vol. 7 of Outstanding Contributions to Logic, Springer, Cham, Heidelberg, New York, Dordrecht, London (2015), pp. 189–224.

[24] E. Moriconi, L. Tesconi, On Inversion Principles, History and Philosophy of Logic, vol. 29(2) (2008), pp. 103–113 | DOI

[25] J. Murzi, Classical Harmony and Separability, Erkenntnis, vol. 85(2) (2020), pp. 391–415 | DOI

[26] Piecha, Completeness in Proof-Theoretic Semantics, [in:] T. Piecha, P. Schroeder-Heister (eds.), Advances in Proof-Theoretic Semantics, vol. 43 of Trends in Logic, Springer, Cham (2016), pp. 231–251.

[27] D. Prawitz, Natural Deduction: A Proof-Theoretic Study, Almqvist & Wiksell, Stockholm (1965).

[28] D. Prawitz, Ideas and results in proof theory, [in:] J. Fenstad (ed.), Proceedings of the 2. Scandinavian Logic Symposium, North-Holland (1971), pp. 237–309.

[29] D. Prawitz, Classical versus intuitionistic logic, [in:] B. L. Edward Hermann Haeusler, Wagner de Campos Sanz (ed.), Why is this a Proof?: Festschrift for Luiz Carlos Pereira, College Publications (2015), pp. 15–32.

[30] A. Prior, The runabout inference ticket, Analysis, vol. 21(2) (1960), pp. 38–39 | DOI

[31] S. Read, Relevant Logic, Basil Blackwell, Oxford, New York (1988).

[32] S. Read, Harmony and Autonomy in Classical Logic, Journal of Philosophical Logic, (29) (2000), pp. 123–154 | DOI

[33] S. Read, Proof-Theoretic Validity, [in:] C. Caret, O. Hjortland (eds.), Foundations of Logical Consequence, Oxford UP (2015), pp. 136–158.

[34] G. Restall, Multiple Conclusions, [in:] L. V.-V. Petr Hajek, D. Westerstahl (eds.), Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, Kings’ College Publications, London (2005), pp. 189–205.

[35] G. Restall, Assertion and Denial, Commitment and Entitlement, and Incompatibility (and some consequence), [in:] Studies in Logic, vol. 1, Sun Yat-sen University (2008), pp. 26–36.

[36] I. Rumfitt, “Yes” and “No”, Mind, vol. 109(436) (2000), pp. 781–823 | DOI

[37] T. Sandqvist, Classical logic without bivalence, Analysis, vol. 69 (2009), pp. 211–217 | DOI

[38] P. Schroeder-Heister, Validity Concepts in Proof-theoretic Semantics, Synthese, vol. 148(3) (2006), pp. 525–571 | DOI

[39] F. Steinberger, Harmony and Logical Inferentialism, Ph.D. thesis, University of Cambridge (2008).

[40] F. Steinberger, Why Conclusions Should Remain Single, Journal of Philosophical Logic, vol. 40(3) (2011), pp. 333–355 | DOI

[41] F. Steinberger, J. Murzi, Inferentialism, [in:] Blackwell Companion to Philosophy of Language, Blackwell (2017), pp. 197–224.

[42] N. Tennant, Inferentialism, Logicism, Harmony, and a Counterpoint, [in:] A. Miller (ed.), Essays for Crispin Wright: Logic, Language and Mathematics, Oxford University Press, Oxford, UK (2020), pp. 223–247.

[43] L. Tranchini, Harmonising harmony, The Review of Symbolic Logic, vol. 8(3) (2015), pp. 411–423 | DOI