| Description |
1 online resource (314 pages) |
| Series |
The Basics |
|
Basics.
|
| Contents |
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 |
| Notes |
9.4.1 Syntax of monadic first-order logic |
|
Print version record |
| Subject |
Logic.
|
|
Logic
|
| Form |
Electronic book
|
| ISBN |
9781317528609 |
|
1317528603 |
|
