The logic book
By: Merrie Bergmann, James Moor, Jack Nelson.
Contributors: Moor, James, 1942-; Nelson, Jack, 1944-
Edition: 5th ed.
Publisher: McGraw-Hill Companies
Published: 2009
Place of publication: Boston
Language: eng
Number of pages: 696
ISBN-13: 9780073535630
Subjects: Logic, Symbolic and mathematical; Predicate (Logic)
Notes: Includes bibliographical references and index.
Table of contents: title: Basic notions of logic; title: Background; title: Why study logic?; title: Sentences, truth-values, and arguments; title: Deductive validity and soundness; title: Inductive arguments; title: Logical consistency, truth, falsity, and equivalence; title: Special cases of validity; title: Sentential logic : symbolization and syntax; title: Symbolization and truth-functional connectives; title: Syntax complex symbolizations; title: Non-truth-functional connectives; title: The syntax of SL; title: Sentential logic : semantics; title: Truth-value assignments and truth-tables for sentences; title: Truth-functional truth, falsity, and indeterminacy; title: Truth-functional equivalence; title: Truth-functional consistency; title: Truth-functional entailment and truth-functional validity; title: Truth-functional properties and truth-functional consistency; title: Sentential logic : truth-trees; title: The truth-tree method; title: Truth-tree rules for sentences containing; title: Rules for sentences containing and more complex truth-trees; title: Using truth-trees to test for truth-functional truth, falsity, and indeterminacy; title: Truth-functional equivalence; title: Truth-functional entailment and truth-functional validity; title: Sentential logic : derivations; title: The derivation system SD; title: Basic concepts of SD; title: Strategies for constructing derivations in SD; title: The derivation system SD1; title: Sentential logic : metatheory; title: Mathematical induction; title: Truth-functional completeness; title: The soundness of SD and SD1; title: The completeness of SD and SD1; title: Predicate logic : symbolization and syntax; title: The limitations of SL; title: Predicates, individual constants, and quantity terms of English; title: Introduction to PL; title: Quantifiers introduced; title: The formal syntax of PL; title: A, E, I, O, U and O sentences; title: Symbolization techniques; title: Multiple quantifiers with overlapping scope; title: Identity, definite descriptions, properties of relations, and functions; title: Predicate logic : semantics; title: Informal semantics for PL; title: Quantificational truth, falsehood, and indeterminacy; title: Quantificational equivalence and consistency; title: Quantificational entailment and validity; title: Truth-functional expansions; title: Semantics for predicate logic with identity and functors; title: Formal semantics of PL and PLE; title: Predicate logic : truth-trees; title: Expanding the rules for truth-trees; title: Truth-trees and quantificational consistency; title: Truth-trees and other semantic properties; title: Fine-tuning the tree method; title: Trees for PLE; title: Fine-tuning the tree method for PLE; title: Predicate logic : derivations; title: The derivation system PD; title: Using derivations to establish syntactic properties of pd; title: The derivation system PD1; title: The derivation system PDE; title: Predicate logic : metatheory; title: Semantic preliminaries for PL; title: Semantic preliminaries for PLE; title: The soundness of PD  and PDE; title: The completeness of PD, PD1, and PDE; title: The soundness of the tree method; title: The completeness of the tree metho.