A first course in logic / K. Codell Carter.

Originally published: New York : Pearson/Longman, c2004.

Includes bibliographical references and index.

Chapter 1. Basic Concepts of Logic. Arguments --The Historical Roots of Logic.Induction and Deduction--Validity and Soundness--Logical Strength and Cogency--Refutation--Proof. Chapter 2. Logic and Language -- Use and Mention--The Uses of Language--Kinds of Definitions--Ways of Defining--Rules for Lexical Definitions--Arguments in Context--Fallacies. Chapter 3. Syllogistic Logic. --Aristotelian Logic--Diagramming and Symbolizing Categorical Statements--Categorical Equivalences--Syllogisms--Using Venn Diagrams to Refute Invalid Syllogisms--Using Canons to Test Syllogisms for Invalidity--Syllogistic Fallacies--Enthymemes and Sorites--Proofs of Valid Syllogisms--The Limits of Syllogistic Logic. Chapter 4. Truth-functional Logic: Symbolization and Refutation--Stoic Logic--Symbolizing Truth-functional Arguments--Truth Tables--Classifying and Comparing Statements--Implication and Equivalence--Refuting Invalid Truth-functional Arguments--Truth-functional Fallacies--The Sheffer Arrow. Chapter5. Truth-functional Logic: Proofs --Statement-Forms and Their Instances--Modus Ponens and Rules for Conjunctions, Disjunctions and Biconditionals--Conditional Proof--Indirect Proof--Shortcut Rules--Shortcut Rules, Continued--Strategies and Tactics--Other Uses for Truth-functional Proofs--The Nature of Truth-functional Proofs. Chapter 6. Quantificational Logic. Frege's Project--Quantificational Notation: Monadic Predicates--Quantificational Notation: Polyadic Predicates--Quantificational Proofs--The Nature of Quantificational Logic--Properties of Relations and Second-Order Logic--The Outcome of Frege's Project. Chapter7. Inductive Logic--Inductive Arguments--Appeal to Authority--Argument by Analogy--The Strength of Inductive Arguments--Hypothesis and Confirmation--Causal Reasoning--Argument by Generalization--Samples--Probabilistic Reasoning--Solutions to Starred Exercises--Glossary/Index.