Limit search to available items
Book Cover
E-book
Author Kahane, Howard

Title Logic and Philosophy A Modern Introduction
Edition 13th ed
Published Cambridge : Hackett Publishing Company, Incorporated, 2021

Copies

Description 1 online resource (467 p.)
Contents Front Cover -- Valid Forms for Sentential Logic -- Rules for Predicate Logic -- Title Page -- Copyright Page -- Contents -- Preface to the Thirteenth Edition -- Preface to the Twelfth Edition -- Chapter One: Introduction -- 1 The Elements of an Argument -- 2 Deduction and Induction -- 3 Deductive Argument Forms -- 4 Truth and Validity -- 5 Soundness -- 6 Consistency -- 7 Contexts of Discovery and Justification -- 8 The Plan of This Book -- Part One: Sentential Logic -- Chapter Two: Symbolizing in Sentential Logic -- 1 Atomic and Compound Sentences -- 2 Truth-Functions -- 3 Conjunctions
4 Non-Truth-Functional Connectives -- 5 Variables and Constants -- 6 Negations -- 7 Parentheses and Brackets -- 8 Use and Mention -- 9 Disjunctions -- 10 "Not Both" and "Neither . . . Nor" -- 11 Material Conditionals -- 12 Material Biconditionals -- 13 "Only If" and "Unless" -- 14 Symbolizing Complex Sentences -- 15 Alternative Sentential Logic Symbols -- Chapter Three: Truth Tables -- 1 Computing Truth-Values -- 2 Logical Form -- 3 Tautologies, Contradictions, and Contingent Sentences -- 4 Logical Equivalences -- 5 Truth Table Test of Validity -- 6 Truth Table Test of Consistency
7 Validity and Consistency -- 8 The Short Truth Table Test for Invalidity -- 9 The Short Truth Table Test for Consistency -- 10 A Method of Justification for the Truth Tables -- Chapter Four: Proofs -- 1 Argument Forms -- 2 The Method of Proof: Modus Ponens and Modus Tollens -- 3 Disjunctive Syllogism and Hypothetical Syllogism -- 4 Simplification and Conjunction -- 5 Addition and Constructive Dilemma -- 6 Principles of Strategy -- 7 Double Negation and DeMorgan's Theorem -- 8 Commutation, Association, and Distribution -- 9 Contraposition, Implication, and Exportation
10 Tautology and Equivalence -- 11 More Principles of Strategy -- 12 Common Errors in Problem Solving -- Chapter Five: Conditional and Indirect Proofs -- 1 Conditional Proofs -- 2 Indirect Proofs -- 3 Strategy Hints for Using CP and IP -- 4 Zero-Premise Deductions -- 5 Proving Premises Inconsistent -- 6 Adding Valid Argument Forms -- 7 The Completeness and Soundness of Sentential Logic -- 8 Introduction and Elimination Rules -- Chapter Six: Sentential Logic Truth Trees -- 1 The Sentential Logic Truth Tree Method -- 2 The Truth Tree Rules -- 3 Details of Tree Construction
4 Normal Forms and Trees -- 5 Constructing Tree Rules for Any Function -- Part Two: Predicate Logic -- Chapter Seven: Predicate Logic Symbolization -- 1 Individuals and Properties -- 2 Quantifiers and Free Variables -- 3 Universal Quantifiers -- 4 Existential Quantifiers -- 5 Basic Predicate Logic Symbolizations -- 6 The Square of Opposition -- 7 Common Pitfalls in Symbolizing with Quantifiers -- 8 Expansions -- 9 Symbolizing "Only," "None but," and "Unless" -- Chapter Eight: Predicate Logic Semantics -- 1 Interpretations in Predicate Logic -- 2 Proving Invalidity
Notes Description based upon print version of record
3 Using Expansions to Prove Invalidity
Subject Logic.
Logic
Form Electronic book
Author Hausman, Alan
Boardman, Frank
ISBN 9781624669361
1624669360