β Scribed by Beall, Jc; Logan, Shay A.
No coin nor oath required. For personal study only.
Logic: The Basics is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: mathematical preliminaries, propositional logic, quantified logic (first monadic, then polyadic), English and standard βsymbolic translationsβ, tableau procedures.
Alongside comprehensive coverage of the standard topics, this thoroughly revised second edition also introduces several philosophically important nonclassical logics, free logics, and modal logics, and gives the reader an idea of how they can take their knowledge further. With its wealth of exercises (solutions available in the encyclopedic online supplement), Logic: The Basics is a useful textbook for courses ranging from the introductory level to the early graduate level, and also as a reference for students and researchers in philosophical logic.
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
Logic
π SIMILAR VOLUMES
Logic: The Basics is a hands-on introduction to the philosophically alive field of logical inquiry. Covering both classical and non-classical theories, it presents some of the core notions of logic such as validity, basic connectives, identity, βfree logicβ and more. This book: introduces som
<P><EM>Logic: The Basics</EM> is a hands-on introduction to the philosophically alive field of logical inquiry. Covering both classical and non-classical theories, it presents some of the core notions of logic such as validity, basic connectives, identity, βfree logicβ and more. This book:</P> <P><
Logic: The Basics is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: Β· mathematical preliminaries Β· propositional logic Β· quantified logic (first monadic, then polyadic
<P><EM>Logic: The Basics</EM> is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: </P> <P>Β· mathematical preliminaries</P> <P>Β· propositional logic</P> <P>Β· quantified logi
Logic: The Basics is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as:<br>Β· mathematical preliminaries<br>Β· propositional logic<br>Β· quantified logic (first monadic, then po