Logic: The Basics, 2nd Edition

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.

Table of Contents

Part I Background Ideas
Chapter 1 Consequences
Chapter 2 Models, Modeled, And Modeling
Chapter 3 Language, Form, And Logical Theories
Chapter 4 Set-Theoretic Tools

Part II THE BASIC CLASSICAL THEORY
Chapter 5 Basic Classical Syntax And Semantics
Chapter 6 Basic Classical Tableaux
Chapter 7 Basic Classical Translations

Part III FIRST-ORDER CLASSICAL THEORY
Chapter 8 Atomic Innards
Chapter 9 Everything And Something
Chapter 10 First-Order Language With Any-Arity Innards
Chapter 11 Identity
Chapter 12 Tableaux For First-Order Logic With Identity
Chapter 13 First-Order Translations

Part IV NONCLASSICAL THEORIES
Chapter 14 Alternative Logical Theories
Chapter 15 Nonclassical Sentential Logics
Chapter 16 Nonclassical First-Order Theories
Chapter 17 Nonclassical Tableaux
Chapter 18 Nonclassical Translations
Chapter 19 Speaking Freely
Chapter 20 Possibilities
Chapter 21 Free And Modal Tableaux
Chapter 22 Glimpsing Different Logical Roads