Proceedings of the Xxii World Congress of Philosophy 13:147-162 (2008)
AbstractBased on the strict definitions of concepts, such as deduction, the deduction rule and the deduction system, the form axiom, the substantive axiom, this article clearly shows the essence of the deductive reasoning, namely “Related attribute and the related restriction relations, which are conveyed in what the main concept of the deduction refers to, must be contained in those conveyed in what the premise proposition refers to”。Then puts forward the theorem “contradiction can not be derived from the strict deduction system”, and gives the proofs
Similar books and articles
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 Double Deduction System for Quantum Logic Based on Natural Deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Natural Deduction Based Upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
A Natural Deduction System for First Degree Entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.Michael Gabbay & Murdoch J. Gabbay - 2005 - In We Will Show Them! Essays in Honour of Dov Gabbay, volume 1. pp. 701-null.
Kant’s Deduction From Apperception: An Essay on the Transcendental Deduction of the Categories.Dennis Schulting - 2019 - Berlin, Germany: De Gruyter.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
A Labelled Natural Deduction System for Linear Temporal Logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning.Peter Schroeder-Heister - 2012 - Topoi 31 (1):77-85.
Added to PP
Historical graph of downloads