PDC Homepage

Home » Products » Purchase

Proceedings of the XXII World Congress of Philosophy

Volume 13, 2008

Logic and Philosophy of Logic

Fang-Wen Yuan
Pages 147-162
DOI: 10.5840/wcp22200813942

“The Strict Deduction System Is Impossible to Derive the Contradiction” And the Proof

Based 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.

Usage and Metrics
Dimensions
PDC