- ホーム
- > 洋書
- > 英文書
- > Philosophy
Full Description
In lively and readable prose, Arthur presents a new approach to the study of logic, one that seeks to integrate methods of argument analysis developed in modern "informal logic" with natural deduction techniques. The dry bones of logic are given flesh by unusual attention to the history of the subject, from Pythagoras, the Stoics, and Indian Buddhist logic, through Lewis Carroll, Venn, and Boole, to Russell, Frege, and Monty Python.
A previous edition of this book appeared under the title Natural Deduction. This new edition adds clarifications of the notions of explanation, validity and formal validity, a more detailed discussion of derivation strategies, and another rule of inference, Reiteration.
Contents
PART I: ARGUMENTS
Chapter 1: Arguments
Chapter 2: ValidityPART II: STATEMENT LOGIC
Chapter 3: Statements and Conditionals
Chapter 4: Negation
Chapter 5: Conjunction
Chapter 6: Disjunction
Chapter 7: Conditional Proof
Chapter 8: Biconditionals
Chapter 9: Dilemmas
Chapter 10: Reductio Arguments
Chapter 11: Review and Consolidation
Chapter 12: SL as a Formal System
Chapter 13: Truth Tables
Chapter 14: Truth Trees for SLPART III: PREDICATE LOGIC
Chapter 15: Syllogistic Logic
Chapter 16: Universal Quantification
Chapter 17: Existential Quantification
Chapter 18: Advanced Class Logic
Chapter 19: Asyllogistic Arguments
Chapter 20: Relational Logic
Chapter 21: Logic with Identity
Chapter 22: Relational Arguments
Chapter 23: Truth Trees for PL
Chapter 24: Other Logics
Appendix 1: The Paradoxes of Material Implication
Appendix 2: A Little History: Consequentiae
Appendix 3: Logic Diagrams
