Proceedings of the XXIII World Congress of Philosophy 19:17-21 (2018)
Authors |
|
Abstract |
In 1934 Jaśkowski and Gentzen independently published their groundbreaking works on Natural Deduction. The aim of this paper is to provide some criteria for division of the diversity of existing systems on some natural subcategories and to show that despite the differences all these systems are descendants of original systems of Jaśkowski and Gentzen. Three criteria are discussed:The kind of items which are building-blocks of the proof.The format of proof.The kind of rules.The first leads to the division of ND into two main classes: F-systems working on formulas and S-systems working on sequents. The second distinguishes between T-systems with tree-proofs and L-systems with linear proofs. Finally, the third leads to several minor divisions in the main categories.
|
Keywords | Conference Proceedings Contemporary Philosophy |
Categories | (categorize this paper) |
ISBN(s) | 978-1-63435-038-9 |
DOI | 10.5840/wcp23201819488 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A Simulation of Natural Deduction and Gentzen Sequent Calculus.Daniil Kozhemiachenko - 2018 - Logic and Logical Philosophy 27 (1):67-84.
Normal Proofs, Cut Free Derivations and Structural Rules.Greg Restall - 2014 - Studia Logica 102 (6):1143-1166.
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - 2019 - Studia Logica 107 (6):1103-1134.
The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Gentzen's Proof Systems: Byproducts in a Work of Genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Natural Deduction for Paraconsistent Logic.Milton De Castro & Itala Loffredo D'ottaviano - 2000 - Logica Trianguli 4:3-24.
Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems.Andrzej Indrzejczak - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. pp. 253--264.
Natural Deduction: A Proof-Theoretical Study. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):596-596.
Systematic Construction of Natural Deduction Systems for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. Los Alamitos, CA: IEEE Press. pp. 208-213.
Normalization and Cut-Elimination in First-Order Logic.Anthony Michael Ungar - 1986 - Dissertation, Stanford University
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont.Vasilyi Shangin & Alexander Bolotov - 2012 - Journal of Intelligent Systems 21 (1):1-24.
Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth - 2017 - Logic and Logical Philosophy 26 (2).
Analytics
Added to PP index
2020-05-08
Total views
2 ( #1,452,994 of 2,518,693 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,693 )
2020-05-08
Total views
2 ( #1,452,994 of 2,518,693 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,693 )
How can I increase my downloads?
Downloads