Logic / Paul Tomassi.
Publisher: London : Routledge, 1999Description: xv,411p. ; 26cm001: 28126ISBN: 0415166950 (cased) :; 9780415166959 (cased) :; 0415166969 (pbk.) :; 9780415166966 (pbk.) :Subject(s): LogicDDC classification: 160 TOM LOC classification: BC108 | .T66 1999| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Book | MAIN LIBRARY Book | 160 TOM (Browse shelf(Opens below)) | 1 | Available | 100337 |
Enhanced descriptions from Syndetics:
Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains:
* The Theory of Validity
* The Language of Propositional Logic
* Proof-Theory for Propositional Logic
* Formal Semantics for Propositional Logic including the Truth-Tree Method
* The Language of Quantificational Logic including the Theory of Descriptions.
Logic is an ideal textbook for any logic student: perfect for revision, staying on top of coursework or for anyone wanting to learn about the subject. Related downloadable software for Macs and PCs is available for this title at www.logic.routledge.com.
Includes bibliographical references and index.
Table of contents provided by Syndetics
- List of Figures (p. xi)
- Preface (p. xii)
- Acknowledgements (p. xvi)
- Chapter 1 How to Think Logically (p. 1)
- I Validity and Soundness (p. 2)
- II Deduction and Induction (p. 7)
- III The Hardness of the Logical 'Must' (p. 9)
- IV Formal Logic and Formal Validity (p. 10)
- V Identifying Logical Form (p. 14)
- VI Invalidity (p. 17)
- VII The Value of Formal Logic (p. 19)
- VIII A Brief Note on the History of Formal Logic (p. 23)
- Chapter 2 How to Prove that You Can Argue Logically #1 (p. 31)
- I A Formal Language for Formal Logic (p. 32)
- II The Formal Language PL (p. 34)
- III Arguments and Sequents (p. 42)
- IV Proof and the Rules of Natural Deduction (p. 47)
- V Defining: 'Proof-in-PL' (p. 52)
- VI Conditionals 1: MP (p. 53)
- VII Conditionals 2: CP (p. 56)
- VIII Augmentation: Conditional Proof for Exam Purposes (p. 63)
- IX Theorems (p. 65)
- X The Biconditional (p. 66)
- XI Entailment and Material Implication (p. 69)
- Chapter 3 How to Prove that You Can Argue Logically #2 (p. 73)
- I Conditionals Again (p. 74)
- II Conditionals, Negation and Double Negation (p. 77)
- III Introducing Disjunction (p. 82)
- IV vElimination (p. 86)
- V More on vElimination (p. 90)
- VI Arguing Logically for Exam Purposes: How to Construct Formal Proofs (p. 94)
- VII Reductio Ad Absurdum (p. 101)
- VIII The Golden Rule Completed (p. 106)
- IX A Final Note on Rules of Inference for PL (p. 110)
- X Defining 'Formula of PL': Syntax, Structure and Recursive Definition (p. 114)
- Examination 1 in Formal Logic (p. 118)
- Chapter 4 Formal Logic and Formal Semantics #1 (p. 121)
- I Syntax and Semantics (p. 122)
- II The Principle of Bivalence (p. 123)
- III Truth-Functionality (p. 125)
- IV Truth-Functions, Truth-Tables and the Logical Connectives (p. 126)
- V Constructing Truth-Tables (p. 133)
- VI Tautologous, Inconsistent and Contingent Formulas in PL (p. 141)
- VII Semantic Consequence (p. 144)
- Guide to Further Reading (p. 148)
- VIII Truth-Tables Again: Four Alternative Ways to Test for Validity (p. 151)
- IX Semantic Equivalence (p. 160)
- X Truth-Trees (p. 163)
- XI More on Truth-Trees (p. 167)
- XII The Adequacy of the Logical Connectives (p. 177)
- Examination 2 in Formal Logic (p. 185)
- Chapter 5 An Introduction to First Order Predicate Logic (p. 189)
- I Logical Form Revisited: The Formal Language QL (p. 190)
- II More on the Formulas of QL (p. 197)
- III The Universal Quantifier and the Existential Quantifier (p. 202)
- IV Introducing the Notion of a QL Interpretation (p. 205)
- V Valid and Invalid Sequents of QL (p. 210)
- VI Negation and the Interdefinability of the Quantifiers (p. 214)
- VII How to Think Logically about Relationships: Part One (p. 217)
- VIII How to Think Logically about Relationships: Part Two (p. 222)
- IX How to Think Logically about Relationships: Part Three (p. 224)
- X How to Think Logically about Relationships: Part Four (p. 228)
- XI Formal Properties of Relations (p. 235)
- XII Introducing Identity (p. 240)
- XIII Identity and Numerically Definite Quantification (p. 245)
- XIV Russell #1: Names and Descriptions (p. 249)
- XV Russell #2: On Existence (p. 256)
- Examination 3 in Formal Logic (p. 261)
- Chapter 6 How to Argue Logically in QL (p. 265)
- Introduction: Formal Logic and Science Fiction (p. 266)
- I Reasoning with the Universal Quantifier 1: The Rule UE (p. 268)
- II Reasoning with the Universal Quantifier 2: The Rule UI (p. 273)
- III Introducing the Existential Quantifier: The Rule EI (p. 281)
- IV A Brief Note on Free Logic (p. 287)
- V Eliminating the Existential Quantifier: The Rule EE (p. 292)
- VI Reasoning with Relations (p. 303)
- VII Proof-Theory for Identity: The Rules =I and =E (p. 310)
- VIII Strategies for Proof-Construction in QL #1 (p. 315)
- IX Strategies for Proof-Construction in QL #2 (p. 320)
- Examination 4 in Formal Logic (p. 330)
- Chapter 7 Formal Logic and Formal Semantics #2 (p. 333)
- I Truth-Trees Revisited (p. 334)
- II More on QL Truth-Trees (p. 347)
- III Relations Revisited: The Undecidability of First Order Logic (p. 357)
- IV A Final Note on the Truth-Tree Method: Relations and Identity (p. 368)
- Glossary (p. 375)
- Bibliography (p. 399)
- Index (p. 403)
There are no comments on this title.