Logic
Enlarge text Shrink text- Book
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 Th
Title |
Jean Epstein : corporeal cinema and film philosophy / Christophe Wall-Romana. |
---|---|
Publisher |
Manchester, UK : Manchester University Press |
Creation Date |
2016 |
Notes |
Includes bibliographical references, filmography and index. In English. |
Content |
Cover Logic Copyright Contents List of Figures Preface Acknowledgements Chapter One: How to Think Allloygic I Validity and Soundness II Deduction and Induction III The Hardness of the Logical 'Must' IV Formal Logic and Formal Validity V Identifying Logical Forma VI Invalidity VII The Value of Formal Logic VIII A Brief Note on the History of Formal Logic Exercise 1.1 Chapter Two: How to Prove That You Can Argue Logically #1 I A Formal Language for Formal Logic II The Formal Language PL Exercise 2.1 III Arguments and Sequents Exercise 2.2 IV Proof and the Rules of Natural DeductionV Defining: 'Proof-In-PL' Exercise 2.3 VI Conditionals 1: MP Exercise 2.4 VII Conditionals 2: CP Exercise 2.5 VIII Augmentation: Conditional Proof for Exam Purposes IX Theorems Exercise 2.6 X The Biconditional Exercise 2.7 XI Entailment and Material Implication Chapter Three: How to Prove That You Can Argue Logically #2 I Conditionals Again Exercise 3.1 II Conditionals, Negation and Double Negation Exercise 3.2 III Introducing Disjunction Exercise 3.3 IV Elimination Exercise 3.4 V More on Velimination Exercise 3.5 Exercise 3.6 VI Arguing Logically for Exam Purposes: How to Construct Formal ProofsExercise 3.7 Exercise 3.8 VII Reductio Ad Absurdum Exercise 3.9 VIII The Golden Rule Completed Revision Exercise I Revision Exercise Ii Revision Exercise Iii Revision Exercise Iv IX A Final Note on Rules of Inference for PL Exercise 3.10 X Defining 'Formula of PL': Syntax, Structure and Recursive Definition Examination 1 in Formal Logic Chapter Four: Formal Logic and Formal Semantics #1 I Syntax and Semantics II The Principle of Bivalence Iii Truth-Functionality IV Truth-Functions, Truth-Tables and the Logical ConnectivesV Constructing Truth-Tables Exercise 4.1 VI Tautologous, Inconsistent and Contingent Formulas in PL Exercise 4.2 VII Semantic Consequence Guide to Further Reading Exercise 4.3 VIII Truth-Tables Again: Four Alternative Ways to Test for Validity Exercise 4.4 IX Semantic Equivalence Exercise 4.5 X Truth-Trees Exercise 4.6 XI More on Truth-Trees Exercise 4.7 XII The Adequacy of the Logical Connectives Exercise 4.8 Examination 2 in Formal Logic Chapter Five: An Introduction to First Order Predicate Logic I Logical Form Revisited: The Formal Language QLExercise 5.1 II More on the Formulas of QL Exercise 5.2 III The Universal Quantifier and the Existential Quantifier IV Introducing the Notion of a QL Interpretation Exercise 5.3 V Valid and Invalid Sequents of QL Exercise 5.4 VI Negation and the Interdefinability of the Quantifiers Exercise 5.5 VII How to Think Logically About Relationships: Part One Exercise 5.6 VIII How to Think Logically About Relationships: Part Two IX How to Think Logically About Relationships: Part Three X How to Think Logically About Relationships: Part Four Exercise 5.7 |
Extent |
1 online resource (428 p.) |
Language |
English |
National Library system number |
997010708264305171 |
MARC RECORDS
Have more information? Found a mistake?