Authors
Moritz Cordes
University of Greifswald
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  Formalization
Categories (categorize this paper)
DOI 10.12775/LLP.2017.002
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Die Widerspruchsfreiheit der Reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Logische Rekonstruktion. Ein Hermeneutischer Traktat.Friedrich Reinmuth - 2014 - Dissertation, University of Greifswald
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.

View all 10 references / Add more references

Citations of this work BETA

The Constituents of an Explication.Moritz Cordes - 2020 - Synthese 197 (3):983-1010.
Scheinprobleme - Ein explikativer Versuch.Moritz Cordes - 2016 - Dissertation, University of Greifswald

Add more citations

Similar books and articles

Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Towards a Canonical Classical Natural Deduction System.José Santo - 2013 - Annals of Pure and Applied Logic 164 (6):618-650.
Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
Marginalia on Sequent Calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.
Normal Deduction in the Intuitionistic Linear Logic.G. Mints - 1998 - Archive for Mathematical Logic 37 (5-6):415-425.
Gentzen's Proof Systems: Byproducts in a Work of Genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Natural Deduction Rules for English.Frederic B. Fitch - 1973 - Philosophical Studies 24 (2):89 - 104.

Analytics

Added to PP index
2017-02-07

Total views
103 ( #99,451 of 58,961 )

Recent downloads (6 months)
21 ( #37,340 of 58,961 )

How can I increase my downloads?

Downloads

My notes