<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <nonSort>A </nonSort>
    <title>first course in logic</title>
  </titleInfo>
  <name type="personal">
    <namePart>Carter, K. Codell (Kay Codell)</namePart>
    <namePart type="date">1939-</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">nyu</placeTerm>
    </place>
    <place>
      <placeTerm type="text">New York</placeTerm>
    </place>
    <publisher>Pearson/Longman</publisher>
    <dateIssued>c2005</dateIssued>
    <dateIssued encoding="marc">2005</dateIssued>
    <edition>Gold ed.</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>xviii, 542 pages : illustrations ; 25 cm.</extent>
  </physicalDescription>
  <abstract>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.</abstract>
  <note type="statement of responsibility">K. Codell Carter.</note>
  <note>Originally published: New York : Pearson/Longman, c2004.</note>
  <note>Includes bibliographical references and index.</note>
  <subject authority="lcsh">
    <topic>Logic</topic>
    <topic>Textbooks</topic>
  </subject>
  <subject>
    <topic>Lógica</topic>
    <topic>Libros de textos</topic>
  </subject>
  <classification authority="lcc">BC 108 C323f 2005</classification>
  <identifier type="isbn">0321277325</identifier>
  <identifier type="isbn">9780321277329</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg"/>
    <recordCreationDate encoding="marc">050309</recordCreationDate>
    <recordChangeDate encoding="iso8601">20230410143118.0</recordChangeDate>
    <languageOfCataloging>
      <languageTerm authority="iso639-2b" type="code">spa</languageTerm>
    </languageOfCataloging>
  </recordInfo>
</mods>
