Table of Contents

Chapter 1: General Introduction

1.1 Where Logic Comes From
1.2 The Nature of the Subject
1.3 The Aims of this Book

Chapter 2: Classical Propositional Logic 1

2.1 From Arguments to Proofs
2.2 The Rules of L

Chapter 3: Propositional Logic 2

3.1 Formal Systems
3.2 Theorems
3.3 Uniform Substitution
3.4 Theorem and Sequent Introduction
3.5 Effectiveness
3.6 Validity
3.7 The Strong Soundness of L
3.8 The Strong Completeness of L

Chapter 4: Quantificational Logic 1

4.1 The Inadequacy of Propositional Forms
4.2 Quantificational Rules

Chapter 5: Quantificational Logic 2

5.1 The Formal System Lq
5.2 The Rules of Lq
5.3 Lq-theoremhood Preserving Operations
5.4 Models for Quantificational Logic
5.5 Determining Validity
5.6 First-Order Theories
5.7 First-Order Theories of Relations
5.8 Experimenting With First-Order Theories

5.9 Quantificational Models Revisited

5.10 Quantificational Models: The Details

5.11 The Soundness of Lq

5.12 The Completeness of Lq

Appendix A: Normal Forms

Appendix B: The Connectives of Natural Language

Glossary of Terms

Table of Symbols

Index of Exercises

Index of Names

Index of Subjects

Posted on October 29, 2015