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.

About the Author
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.

Reviews

"I love this book; I would have written it if I'd 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

Book Information
ISBN 9781551112978
Author John L. Bell
Format Paperback
Page Count 312
Imprint Broadview Press Ltd
Publisher Broadview Press Ltd
Weight(grams) 458g
Dimensions(mm) 229mm * 165mm * 16mm