Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Logic with Trees : An Introduction to Symbolic Logic by Colin Howson (1997, Uk-B Format Paperback)
BooksRun (141813)
99.3% positive feedback
Price:
US $6.89
ApproximatelyAU $10.77
+ $17.82 postage
Returns:
30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.
Condition:
By Howson, Colin. Logic with Trees: An Introduction to Symbolic Logic.
- Buy It NowLogic with Trees: An Introduction to - Paperback, by Howson Colin - Acceptable
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherRoutledge
ISBN-100415133424
ISBN-139780415133425
eBay Product ID (ePID)452514
Product Key Features
Number of Pages212 Pages
Publication NameLogic with Trees : an Introduction to Symbolic Logic
LanguageEnglish
SubjectGeneral, Logic
Publication Year1997
TypeTextbook
Subject AreaMathematics, Philosophy
AuthorColin Howson
FormatUk-B Format Paperback
Dimensions
Item Height0.4 in
Item Weight11.2 Oz
Item Length9.3 in
Item Width6.1 in
Additional Product Features
Intended AudienceCollege Audience
LCCN96-007315
Dewey Edition20
IllustratedYes
Dewey Decimal160
Table Of ContentIntroduction. Part 1: Truth-Functional Logic Chapter 1. The Basics 1. Deductively Valid Inference 2. Syntax: Connectives and the Principle of Composition 3. Semantics: Truth-Functionality 4. Negation and Conjunction 5. Disjunction 6. Truth-Functional Equivalence 7. The Conditional 8. Some Other Connectives, and the Biconditional Chapter 2. Truth Trees 1. Truth-Functionally Valid Inference 2. Conjugate Tree Diagrams 3. Truth Trees 4. Tautologies and Contradictions Chapter 3. Propositional Languages 1. Propositional Languages 2. Object Language and Metalanguage 3. Ancestral Trees 4. An Induction Principle 5. Multiple Conjunctions and Disjunctions 6. The Disjunctive Normal Form Theorem 7. Adequate Sets of Connectives 8. The Duality Principle 9. Conjunctive Normal Forms Chapter 4. Soundness and Completeness 1. The Standard Propositional Language 2. Truth Trees Again 3. Truth-Functional Consistency, Truth-Functionally Valid Inferences, and Trees 4. Soundness and Completeness Part 2: First Order Logic Chapter 5. Introduction 1. Some Non-Truth-Functional Inferences 2. Quantifiers and Variables 3. Relations 4. Formalising English Sentences Chapter 6. First Languages: Syntax and Two More Trees Rules 1. First Order Languages 2. Two More Tree Rules 3. Tree Proofs Chapter 7. First Order Languages: Semantics 1. Interpretations 2. Formulas and Truth 3. The Tree Rules Revisited 4. Consistency and Validity 5. Logical Truth and Logical Equivalence Chapter 8. Soundness and Completeness 1. Applying the Tree Rules 2. Branch Models 3. Soundness and Completeness Theorems 4. Compactness Chapter 9. Identity 1. Identity 2. Tree Rules For Identity 3. Some Arithmetic 4. Functions and Function Symbols 5. Working with Equations 6. Is Identity Part of Logic? Chapter 10. Alternative Deductive Systems for First Order Logic 1. Introduction 2. H 3 ND 4. Comparisons 5. Intuitionism Chapter 11. First Order Theories 1. First Order Theories 2. Infinite Cardinals 3. Lowenheim-Skolem Theorems 4. Second Order Languages 5. Completeness 6. The Liar Paradox Chapter 12. Beyond the Fringe 1. Counterfactual Conditions 2. Modal Propositional Logic 3. Indicative Conditionals and -> 4. Conclusion. List of Notation. Answers to Selected Exercises.
LC Classification NumberBC135.H68 1997
