Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

Moritz Cordes, Friedrich Reinmuth

DOI: http://dx.doi.org/10.12775/LLP.2017.002

Abstract


We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the original proof. We then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary.

Keywords


Logic; natural deduction; application of logic; formalization

Full Text:

PDF

References


Barwise, J., and J. Etchemendy, Language, proof, and logic, CSLI Publications, Stanford, CA, 2002.

Church, A., Introduction to Mathematical Logic, Princeton University Press, Princeton, NJ, 1956.

Cordes, M., “Freges Urteilslehre. Ein in der Logik vergessenes Lehrstück der Analytischen Philosophie”, XXIII. Deutscher Kongress für Philosophie, Münster, 2014. http://nbn-resolving.de/urn:nbn:de:hbz:6-52329367040

Cordes, M., and F. Reinmuth, A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory, 2011. http://hal.archives-ouvertes.fr/hal-00609242

Cordes, M., and F. Reinmuth, “Ein Redehandlungskalkül: Folgern in einer Sprache”, XXII. Deutscher Kongress für Philosophie, Sektion Logik, München, 2011. https://epub.ub.uni-muenchen.de/12406/

Dutilh Novaes, C., “A dialogical, multi-agent account of the normativity of logic”, Dialectica, 69, 4 (2015): 587–609. DOI: 10.1111/1746-8361.12118

Ebbinghaus, H.-D., J. Flum, and W. Thomas, Mathematical Logic. Undergraduate Texts in Mathematics, Springer, New York, 1994. DOI: 10.1007/978-1-4757-2355-7

Fitch, F.B., Symbolic Logic. An introduction, Ronald Press, New York, 1952.

Frege, G., Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Nebert, Halle a. d. Saale, 1879.

Gentzen, G., “Untersuchungen über das logische Schließen I”, Mathematische Zeitschrift, 39, 2 (1934): 176–210.

Gentzen, G., “Die Widerspruchsfreiheit der reinen Zahlentheorie”, Mathematische Annalen, 112 (1936): 493–565.

Harman, G., “Internal Critique. A logic is not a theory of reasoning and a theory of reasoning is not a logic”, pages 171–186 in D.M.Gabbay, R.H. Johnson, H.J.Ohlbach, and J.Woods (eds.), Handbook of the Logic of Argument and Inference. The Turn towards the Practical, Elsevier, Amsterdam, 2002.

Hinst, P., “Pragmatische Regeln des logischen Argumentierens”, pages 199–215 in C.F. Gethmann (ed.), Logik und Pragmatik, Suhrkamp, Frankfurt am Main, 1982.

Indrzejczak, A., “Jaśkowski and Gentzen approaches to natural deduction and related systems”, pages 253–264 in: K. Kijania-Placek and J. Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy, Kluwer Academic Publishers, Dordrecht, 1998.

Indrzejczak, A., Natural Deduction, Hybrid Systems and Modal Logics, Springer, Dordrecht–London, 2010. DOI: 10.1007/978-90-481-8785-0

Jaśkowski, S., “On the rules of suppositions in formal logic”, Studia Logica, 1 (1934): 5–32.

Kalish, D., R. Montague, and G. Mar, Logic. Techniques of Formal Reasoning, Harcourt Brace Jovanovich, San Diego, CA, 1980.

Lemmon, E.J., Beginning Logic, Chapman & Hall/CRC, Boca Raton, FL, 1965.

Link, G., Collegium Logicum. Logische Grundlagen der Philosophie und der Wissenschaften, vol. 1,. Mentis, Paderborn, 2009.

MacFarlane, J., “In what sense (if any) is logic normative for thought?”, 2004. http://johnmacfarlane.net/normativity_of_logic.pdf

Meggle, G., and G. Siegwart, “Der Streit um Bedeutungstheorien”, pages 964–989 in D. Gerhardus, K. Lorenz, G. Meggle, and M. Dascal (eds.), Sprachphilosophie. Ein internationales Handbuch zeitgenössischer Forschung, 2nd half-volume, de Gruyter, Berlin, 1996.

Pelletier, F.J., “A brief history of natural deduction”, History and Philosophy of Logic, 20, 1 (1999): 1–31. DOI: 10.1080/014453499298165

Pelletier, F.J., “A history of natural deduction and elementary logic textbooks”, pages 105–138 in J.Woods and B. Brown, (eds.), Logical Consequence: Rival Approaches. Proceedings of the 1999 Conference of the Society of Exact Philosophy, Hermes Science Publishing, Oxford, 2001.

Prawitz, D., Natural Deduction: A Proof-Theoretical Study. Dover Books on Mathematics, Dover Publications, Mineola, NY, 1965.

Reinmuth, F., “Logische Rekonstruktion. Ein hermeneutischer Traktat”, doctoral thesis, University of Greifswald, 2014. http://ub-ed.ub.unigreifswald.de/opus/volltexte/2014/1996/

Reinmuth, F., and G. Siegwart, “Inferential acts and inferential rules. The intrinsic normativity of logic”, Analyse & Kritik, 38, 2 (2016): 417–432. DOI: 10.1515/auk-2016-0120

Siegwart, G., Vorfragen zur Wahrheit. Ein Traktat über cognitive Sprachen, Oldenbourg, München, 1997.

Siegwart, G., “Alethic acts and alethiological reflection. An outline of a constructive philosophy of truth”, pages 41–58 in G. Siegwart and D. Greimann (eds.), Truth and Speech Acts. Studies in the Philosophy of Language, Routledge, New York, 2007.

Siegwart, G. (with collabaroation: M. Cordes and F. Reinmuth), Denkwerkzeuge. Eine Vorschule der Philosophie, University of Greifswald, 2015. https://philosophie.uni-greifswald.de/fileadmin/uni-greifswald/fakultaet/phil/philosophie/Mitarbeitende/Theoretische_Philosophie/Siegwart/Denkwerkzeuge/Denkwerkzeuge2015-Gesamt.pdf

Suppes, P., Introduction to Logic, Dover Publications, Mineola, NY, 1957.








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism