ABSTRACT

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.

part |2 pages

Part I Background Ideas

chapter 1|9 pages

Consequences

chapter 2|6 pages

Models, Modeled, and Modeling

chapter 3|18 pages

Language, Form, and Logical Theories

chapter 4|15 pages

Set-theoretic Tools

part |2 pages

Part II THE BASIC CLASSICAL THEORY

chapter 5|21 pages

Basic Classical Syntax and Semantics

chapter 6|12 pages

Basic Classical Tableaux

chapter 7|11 pages

Basic Classical Translations

part |2 pages

Part III FIRST-ORDER CLASSICAL THEORY

chapter 8|12 pages

Atomic innards: unary

chapter 9|12 pages

Everything and Something

chapter 10|10 pages

First-Order Language with Any-Arity Innards

chapter 11|12 pages

Identity

chapter 12|15 pages

Tableaux for First-Order Logic with Identity

chapter 13|11 pages

First-Order Translations

part |2 pages

Part IV NONCLASSICAL THEORIES

chapter 14|17 pages

Alternative Logical Theories

chapter 15|11 pages

Nonclassical Sentential Logics

chapter 16|7 pages

Nonclassical First-order Theories

chapter 17|8 pages

Nonclassical Tableaux

chapter 18|8 pages

Nonclassical Translations

chapter 19|11 pages

Speaking Freely

chapter 20|19 pages

Possibilities

chapter 21|10 pages

Free and Modal Tableaux

chapter 22|15 pages

Glimpsing Different Logical Roads