an independent academic publisher since 1985

book details

Bookmark and Share
Logical Options 

Logical Options

An Introduction to Classical and Alternative Logics

Written by: John L. Bell, David DeVidi, Graham Solomon

Publication Date: April 04, 2001
300pp • Paperback
ISBN: 9781551112978 / 1551112973

Buy Now

CDN & US $49.95

AUST $ 53.95

View Table of Contents

Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some classical first-order logic and would like to learn about other logics important to their philosophical work.


"I love this book; I would have written it if Id known how!" - Richard Jeffrey, Princeton University  

"Logic teachers will love this book. Trees are probably the most accessible way to present logical systems to students and Bell, DeVidi and Solomon give tree formulations of a wide range of central logical systems - including truth-functional and quantificational logic, modal logic, provability logic, intuitionistic logic, three-valued logic, and free logic.... An excellent job." - B. Jack Copeland, University of Canterbury  

John L. Bell and David DeVidi are members of the Departments of Philosophy at the University of Western Ontario and the University of Waterloo, respectively. The late Graham Solomon was a member of the Department of Philosophy at Wilfrid Laurier University.

Table of Contents: [Back to Top]



Chapter 1.       Classical Propositional Logic

1.1.    Introductory Remarks

1.1.1.       Some Basic Concepts

1.1.2.       Formal Logics

1.2.    Propositional Logic

1.2.1.       Preliminaries

1.2.2.       Truth Values, Valuations, and validity

1.2.3.       Implication, Tautology, and Other Important


1.2.4.       Equivalence and Expressive Completeness

1.2.5.       Arithmetical Representation of Statements and

               Logical Operations 

1.3.    Trees for Classical Propositional Logic

1.3.1.       Tree Rules for Classical Propositional Logic

1.3.2.       Trees as a Test for Validity

1.3.3.       Further Applications of the Tree Method

1.4.    Metatheorems

1.5.    Other Proof Methods

1.5.1.       Classical Propositional Calculus

1.5.2.       Natural Deduction

1.5.3.       Sequent Calculus


Chapter 2.       Classical Predicate Logic

2.1.    Introductory Remarks

2.2.    Tree Rules for Classical Predicate Logic

2.2.1.       Rules for Quantifiers

2.2.2.       Identity

2.2.3.       Functions

2.3.    Predicate Languages and Their Interpretations

2.3.1.       The Languages

2.3.2.       Interpretations: Preliminary Remarks

2.4.    Set Theory

2.4.1.       Sets

2.4.2.       Relations

2.4.3.       Equivalence Relations

2.4.4.       Orderings

2.4.5.       Functions

2.5.    Interpretations of Languages for Predicate Logic

2.6.    Validity, Satisfiability, and Models

2.7.    Correctness and Adequacy

2.7.1.       Some Difficulties

2.7.2.       Dealing with Difficulties

2.7.3.       The Proofs


Chapter 3.       Using and Extending Predicate Logic

3.1.    Postulate Systems

3.1.1.       Postulate Systems for Arithmetic

3.1.2.       Noncategoricity of First-Order Peano Arithmetic

3.2.    Many Sorted Logic

3.2.1.       Introductory Remarks

3.2.2.       Many Sorted Languages and Interpretations

3.2.3.       Reducing Many Sorted to Unsorted Logic

3.3.    Second-Order Logic

3.3.1.       Languages and Interpretations

3.3.2.       Second-Order Trees

3.3.3.       The Strength of Second-Order Logic

3.3.4.       Metatheory of Second-Order Logic

Chapter 4.       Introducing Contextual Operators: Modal Logics

4.1.    The Propositional Modal Language and Models

4.1.1.       The Language

4.1.2.       Interpretations

4.1.3.       Classes of Frames and Different Logics

4.2.    Trees for Contextual Logics

4.2.1.       Proving Correctness for �

4.2.2.       Counterexamples

4.2.3.       Proving Adequacy for � 

4.3.    Other Systems of Contextual (Modal) Logic

4.3.1.       Correctness and Adequacy for Trees

4.4.    Provability Logic

4.4.1.       Arithmetic Provability and Contextual Logic

4.4.2.       Frames and Provability Logic

4.4.3.       Trees for Provability Logic

4.5.    Multi-Modal Logic

4.6.    Quantificational Contextual Logic

4.6.1.       The Languages

4.6.2.       Introduction

4.6.3.       Semantics for Contextual Predicate Logic

4.6.4.       Concluding Remarks 


Chapter 5.       Getting Away From Bivalence: Three-Valued and Intuitionistic Logic

5.1.    Three-Valued Logics

5.1.1.       Trees for Three-Valued Logic

5.2.    Intuitionistic Logic

5.2.1.       Introduction Constructivism

5.2.2.       A More General Account

5.2.3.       Semantics and Countermodels

5.2.4.       Metatheorems for Intuitionistic Propositional Logic

5.2.5.       Comparing Intutionistic Logic to Other Logics

5.3.    Intuitionistic Predicate Logic

5.3.1.       Interpretations

5.3.2.       Trees for Intuitionistic Predicate Logic

5.3.3.       Intuitionistic Identity


Chapter 6.       A Sampling of Other Logics

6.1.    Fuzzy Logic

6.2.    Algebraic Logic

6.3.    Term Forming Operators and Free Logics

6.3.1.       Term Forming Operators

6.3.2.       Free Logics


Chapter 7.       Solutions to *-ed Exercises

7.1.    Solutions for Chapter 1

7.2.    Solutions for Chapter 2

7.3.    Solutions for Chapter 3

7.4.    Solutions for Chapter 4

7.5.    Solutions for Chapter 5

7.6.    Solutions for Chapter 6


Academics teaching relevant courses may request examination copies of titles to consider for text adoption. We ask that you limit your examination copy requests to three or fewer at a time; if you are not confident that you will adopt the book, please help us keep costs down by ordering it instead. If in the future you do decide to assign as a course text a book you have previously ordered personally, Broadview Press will be happy to refund your money.

Logical Options

2001 • 300pp • Paperback • 9781551112978 / 1551112973

Instructors – Planning your syllabi? Consider this book for course use.

Request Exam Copy


Broadview Press acknowledges the financial support of the Government of Canada through the Canada Book Fund, and also acknowledges the support of the Ontario Media Development Corporation. Freehand Books, an imprint of Broadview, acknowledges the support of the Canadian Council of the Arts.