A-logicA-Logic is a new theory of formal logic based on substitution of synonyms rather than sameness of truth-values. In this book, it is contrasted, step-by-step, with today's mathematical logic. This approach reveals how A-Logic can resolve traditional logic's anomalies, such as the Liar's paradox, Hempel's Paradox of Confirmation, and Carnap's problem of dispositional predicates, while preserving all of standard logic's theorems. |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Introduction | 1 |
A Note on Notational Devices and Rules of Convenience | 30 |
ANALYTIC LOGIC | 31 |
Copyright | |
16 other sections not shown
Common terms and phrases
A-logic Analytic Logic analytic truth-logic antecedent argument position assert axioms Basic Normal Forms Boolean expansion C-conditionals Chapter components concept conditional statements conjunction conjunctive normal form consequent Cont Q CONT-theorems definition disjunction domain E-valid elementary wffs entails expressions field of reference follows formal logic INC[P inconsistent individual constants instantiations logical containment logical properties logical structure logical synonymy logically valid M-logic mathematical induction Mathematical Logic meaning metatheorems MinOCNF MOCNF modes MODNF negation negation-free not-Inc occurrences predicate letter predicate schemata prefixed premisses Proof quantification theory quantifiers quasi-quotation Quine Quine's referential replacing rules of inference schema semantic sentential logic Step substitution symbols SYN Q Syn TP SYN-metatheorem SYN-theorems Syndf synonymous SynSUB T-operators T-wffs T(P v Q T(Vx)Px TAUT TAUT[P tautologous TF-conditional theorem of logic theorems TP & TQ true or false truth-functional truth-tables U-SUB Valid TP variables Vx)(Px v Qx Vx)Px Vx)Qx
Bibliographic information
| Title | A-logic G - Reference, Information and Interdisciplinary Subjects Series |
| Author | Richard B. Angell |
| Edition | illustrated |
| Publisher | University Press of America, 2002 |
| Original from | the University of Michigan |
| Digitized | Jun 11, 2009 |
| ISBN | 0761822356, 9780761822356 |
| Length | 658 pages |
| Subjects | › Mathematics / Logic Philosophy / Logic |
| Export Citation | BiBTeX EndNote RefMan |