Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction
  • Home
  • /
  • Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction
  1. Home /
  2. Archives /
  3. Vol. 26 No. 2 (2017): June /
  4. Articles

Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

Authors

  • Moritz Cordes University of Greifswald
  • Friedrich Reinmuth University of Greifswald

DOI:

https://doi.org/10.12775/LLP.2017.002

Keywords

Logic, natural deduction, application of logic, formalization

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.

Author Biographies

Moritz Cordes, University of Greifswald

Department of Philosophy

Friedrich Reinmuth, University of Greifswald

Department of Philosophy

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.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2017-02-02

How to Cite

1.
CORDES, Moritz and REINMUTH, Friedrich. Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction. Logic and Logical Philosophy. Online. 2 February 2017. Vol. 26, no. 2, pp. 163-196. [Accessed 4 July 2025]. DOI 10.12775/LLP.2017.002.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 26 No. 2 (2017): June

Section

Articles

Stats

Number of views and downloads: 749
Number of citations: 1

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

Logic, natural deduction, application of logic, formalization
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop