Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

• Authors: Cordes Moritz , Reinmuth Friedrich
• Languages of publication: EN

Abstracts

EN

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

EN

Logic; natural deduction; application of logic; formalization

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2017
• Volume: 26
• Issue: 2
• Pages: 163–196

Dates

published

2017-09-15

Contributors

author

Cordes Moritz

• University of Greifswald, Department of Philosophy, Baderstraße 6-7, 17487 Greifswald, Germany

author

Reinmuth Friedrich

• University of Greifswald, Department of Philosophy, Baderstraße 6-7, 17487 Greifswald, Germany

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.

Identifiers

DOI

10.12775/LLP.2017.002