Logic: The Basics

Content: Cover
 Half title
 Series Page
 Title Page
 Copyright Page
 Dedication
 Table of contents
 Preface
 Acknowledgments
 Part I Background Ideas
 1 Consequences
 1.1 Relations of support
 1.2 Logical consequence: the basic recipe
 1.3 Valid arguments and truth
 1.4 Summary, looking ahead, and further reading
 1.5 Exercises
 1.6 Notes
 2 Models, Modeled, and Modeling
 2.1 Models
 2.2 Models in science
 2.3 Logic as modeling
 2.4 A note on notation, metalanguages, and so on
 2.5 Summary, looking ahead, and further reading
 2.6 Exercises
 2.7 Notes
 3 Language, Form, and Logical Theories 3.1 Language and formal languages3.2 Languages: syntax and semantics
 3.2.1 Syntax
 3.2.2 Semantics
 3.3 Atoms, connectives, and molecules
 3.4 Connectives and form
 3.5 Validity and form
 3.6 Logical theories: rivalry
 3.7 Summary, looking ahead, and further reading
 3.8 Exercises
 3.9 Notes
 4 Set-theoretic Tools
 4.1 Sets
 4.1.1 Members
 4.1.2 Abstraction and Membership
 4.1.3 Criterion of identity
 4.1.4 The empty set
 4.1.5 Other sets: sets out of sets
 4.1.6 A few important relations among sets
 4.2 Ordered sets: pairs and n-tuples
 4.2.1 Cartesian Product
 4.3 Relations 4.3.1 A few features of binary relations4.4 Functions
 4.5 Sets as tools
 4.6 Summary, looking ahead, and further reading
 4.7 Exercises
 4.8 Notes
 Part II THE BASIC CLASSICAL THEORY
 5 Basic Classical Syntax and Semantics
 5.1 Cases: complete and consistent
 5.2 Classical `truth conditions\'
 5.3 Basic classical consequence
 5.4 Motivation: precision
 5.5 Formal picture
 5.5.1 Syntax of the basic classical theory
 5.5.2 Semantics of the basic classical theory
 5.6 Defined connectives
 5.7 Some notable valid forms
 5.8 Summary, looking ahead, and further reading
 5.9 Exercises
 5.10 Notes 6 Basic Classical Tableaux6.1 What are tableaux?
 6.1.1 The threefold core of tableaux
 6.1.2 What do tableaux look like?
 6.2 Tableaux for the basic classical theory
 6.2.1 Three steps for specifying tableaux
 6.2.2 An example
 6.2.3 When a tableau doesn\'t close
 6.3 Summary, looking ahead, and further reading
 6.4 Exercises
 6.5 Notes
 7 Basic Classical Translations
 7.1 Atoms, punctuation, and connectives
 7.1.1 Connectives
 7.1.2 Atomics
 7.1.3 Punctuation
 7.2 Syntax, altogether
 7.3 Semantics
 7.4 Consequence
 7.5 Summary, looking ahead, and further reading
 7.6 Exercises
 7.7 Notes Part III FIRST-ORDER CLASSICAL THEORY8 Atomic Innards
 8.1 Atomic innards: names and predicates
 8.2 Truth and falsity conditionsfor atomics
 8.3 Cases, domains, and interpretation functions
 8.4 Classicality
 8.5 A formal picture
 8.5.1 Syntax of sentential logic with unary innards
 8.5.2 Semantics of sentential logic with unary innards
 8.6 Summary, looking ahead, and further reading
 8.7 Exercises
 8.8 Notes
 9 Everything and Something
 9.1 Validity involving quantifiers
 9.2 Quantifiers: an informal sketch
 9.3 Truth and falsity conditions
 9.4 A formal picture