| 청구기호 |
BC71 .S616 2012 |
| 형태사항 |
1 online resource (545 p.)
|
| 언어 |
English |
| 서지주기 |
Includes bibliographical references and index.
|
| 내용 |
Cover; Contents; Preface; Acknowledgments; PART I: Propositional Logic; 1 Propositions and Arguments; 1.1 What Is Logic?; 1.2 Propositions; 1.3 Arguments; 1.4 Logical Consequence; 1.5 Soundness; 1.6 Connectives; 2 The Language of Propositional Logic; 2.1 Motivation; 2.2 Basic Propositions of PL; 2.3 Connectives of PL; 2.4 Wff Variables; 2.5 Syntax of PL; 3 Semantics of Propositional Logic; 3.1 Truth Tables for the Connectives; 3.2 Truth Values of Complex Propositions; 3.3 Truth Tables for Complex Propositions; 3.4 Truth Tables for Multiple Propositions; 3.5 Connectives and Truth Functions.
4 Uses of Truth Tables4.1 Arguments; 4.2 Single Propositions; 4.3 Two Propositions; 4.4 Sets of Propositions; 4.5 More on Validity; 5 Logical Form; 5.1 Abstracting from Content: From Propositions to Forms; 5.2 Instances: From Forms to Propositions; 5.3 Argument Forms; 5.4 Validity and Form; 5.5 Invalidity and Form; 5.6 Notable Argument Forms; 5.7 Other Logical Properties; 6 Connectives: Translation and Adequacy; 6.1 Assertibility and Implicature; 6.2 Conjunction; 6.3 Conditional and Biconditional; 6.4 Disjunction; 6.5 Negation; 6.6 Functional Completeness; 7 Trees for Propositional Logic.
7.1 Tree Rules7.2 Applying the Rules; 7.3 Uses of Trees; 7.4 Abbreviations; PART II: Predicate Logic; 8 The Language of Monadic Predicate Logic; 8.1 The Limitations of Propositional Logic; 8.2 MPL, Part I: Names and Predicates; 8.3 MPL, Part II: Variables and Quantifiers; 8.4 Syntax of MPL; 9 Semantics of Monadic Predicate Logic; 9.1 Models; Truth and Falsity of Uncomplicated Propositions; 9.2 Connectives; 9.3 Quantified Propositions: The General Case; 9.4 Semantics of MPL: Summary; 9.5 Analyses and Methods; 10 Trees for Monadic Predicate Logic; 10.1 Tree Rules; 10.2 Using Trees.
10.3 Infinite Trees11 Models, Propositions, and Ways the World Could Be; 11.1 Translation; 11.2 Valuation; 11.3 Axiomatization; 11.4 Propositions; 11.5 Logical Consequence and NTP; 11.6 Postulates; 12 General Predicate Logic; 12.1 The Language of General Predicate Logic; 12.2 Semantics of GPL; 12.3 Trees for General Predicate Logic; 12.4 Postulates; 12.5 Moving Quantifiers; 13 Identity; 13.1 The Identity Relation; 13.2 The Identity Predicate; 13.3 Semantics of Identity; 13.4 Trees for General Predicate Logic with Identity; 13.5 Numerical Quantifiers; 13.6 Definite Descriptions.
13.7 Function SymbolsPART III: Foundations and Variations; 14 Metatheory; 14.1 Soundness and Completeness; 14.2 Decidability and Undecidability; 14.3 Other Logical Properties; 14.4 Expressive Power; 15 Other Methods of Proof; 15.1 Axiomatic Systems; 15.2 Natural Deduction; 15.3 Sequent Calculus; 16 Set Theory; 16.1 Sets; 16.2 Ordered Pairs and Ordered n-tuples; 16.3 Relations; 16.4 Functions; 16.5 Sequences; 16.6 Multisets; 16.7 Syntax; Notes; References; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z.
|
| 주제 |
Logic.
Philosophy.
PHILOSOPHY / Logic. --bisacsh
|
| ISBN |
9781400842315 (electronic bk.)
140084231X (electronic bk.)
|
