TY  - BOOK
AU  - Carter,K.Codell
TI  - A first course in logic
SN  - 0321277325
AV  - BC 108 C323f 2005
PY  - 2005///
CY  - New York
PB  - Pearson/Longman
KW  - Logic
KW  - Textbooks
KW  - Lógica
KW  - Libros de textos
N1  - Originally published: New York : Pearson/Longman, c2004; Includes bibliographical references and index
N2  - 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
ER  -