Aristotle and Logical TheoryAristotle was the first and one of the greatest logicians. He not only devised the first system of formal logic, but also raised many fundamental problems in the philosophy of logic. In this book, Dr Lear shows how Aristotle's discussion of logical consequence, validity and proof can contribute to contemporary debates in the philosophy of logic. No background knowledge of Aristotle is assumed. |
Contents
Completeness and compactness | 15 |
Hypothetical syllogisms | 34 |
Invalid inferences | 54 |
Invalid proofs | 76 |
Proof by refutation | 98 |
Bibliography | 115 |
| 121 | |
Common terms and phrases
able accept actual affirmative analysis animal appeal argues argument Aristotle Aristotle's asserted assumes axioms begging the question believe belongs chain of predication claim conclusion conditional consequence Consider construct contradictory convertible counterexample course deduction demonstrable depends derived direct Euler diagrams evidence example existence expressed fact fail false figure finite follows formal given Greek hypothetical syllogisms impossibile syllogism impossible inference infinite instance interpretation invalid knowledge known law of non-contradiction least logical Mathematics means method middle terms move natural negative objection obviously occur one's opponent particular perfect Philosophical possible Posterior Analytics predication premisses principles Prior problem proof prove question reason recognize rejection relation rules says semantic sense sentence signifies simply statement sterility structure substance supposed supposition syllogistic syllogistic inference theory thing thought translation true truth universal valid valid inferences