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

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Completeness and compactness | 16 |

Hypothetical syllogisms | 34 |

Invalid inferences | 54 |

Invalid proofs | 76 |

Proof by refutation | 98 |

115 | |

121 | |

### Common terms and phrases

Abc0 accept Q actual counterexamples affirmative analysis argues Aristotle says Aristotle's argument Aristotle's Theory asserted assumes axiom of choice axioms begging the question believe belongs biped animal Carroll diagram Celarent chain of predication clusion consistency proof construct contradiction contradictory deductive argument derived direct syllogism Dummett Euler diagrams example false falsity figure syllogisms finite follows of necessity formal deduction Frege Geach Greek hypothesis hypothetical syllogisms imperfect syllogisms impossibile proof impossibile syllogism inference is invalid infinite number infinite series instance interpretation invalid proofs knowledge law of non-contradiction Lewis Carroll logical consequence Lukasiewicz major premiss mathematical middle terms natural deduction negative premiss non-demonstrable number of middle obviously valid occur one's opponent particular Patzig perfect Posterior Analytics premiss-pair principles Prior Analytics prove question-begging recognize rejection semantic sentence simply statement sterility structure substance supposed supposition syllogistic inference syntactic theorem tion valid inferences well-ordering theorem