Table of Contents

List of Contributors vii

Preface ix

Introduction 1
Lou Goble

1 Classical Logic I – First-Order Logic 9
Wilfrid Hodges

2 Classical Logic II – Higher-Order Logic 33
Stewart Shapiro

3 Set Theory 55
John P. Burgess

4 Gödel’s Incompleteness Theorems 72
Raymond Smullyan

5 Truth 90
Anil Gupta

6 Logical Consequence 115
Patricia A. Blanchette

7 Modal Logic 136
M. J. Cresswell

8 Deontic Logic 159
Risto Hilpinen

9 Epistemic Logic 183
J.-J. Ch. Meyer

10 Temporal Logic 203
Yde Venema

11 Intuitionistic Logic 224
Dirk van Dalen

12 Free Logics 258
Karel Lambert

13 Relevant Logics 280
Edwin D. Mares and Robert K. Meyer

14 Many-Valued Logics 309
Grzegorz Malinowski

15 Nonmonotonic Logic 336
John F. Horty

16 Probability, Logic, and Probability Logic 362
Alan Hájek

17 Conditionals 385
Dorothy Edgington

18 Negation 415
Heinrich Wansing

19 Quantifiers 437
Dag Westerståhl

20 Logic and Natural Language 461
Alice ter Meulen

Index 484

About the Author

LOU GOBLE is Professor of Philosophy at Willamette University. He has published numerous articles in philosophical logic in various anthologies and journals such as Journal of Philosophical Logic, Logique et Analyse, Notre Dame Journal of Formal Logic, and other more general philosophy journals.

Reviews

"Suppose your friend – or your student, or yourself – knows a little logic and a little philosophy. If you wish that person to gain an early appreciation of philosophical logic, then this book is a perfect gift – or assignment, or purchase. Written by outstanding philosophical logicians, its clear and authoritative chapters guide the reader directly into the heart of each topic. There are enough details to create genuine understanding, but not so many as to intimidate. The term 'guide' is exactly the right word for this splendid book."
Nuel Belnap, University of Pittsburgh
"This is an excellent collection of articles covering the main areas of philosophical logic, written by front-line, internationally known researchers in the field. It should be available in every serious library."
Dov Gabbay, King's College, London
"This volume on philosophical logic is a welcome and manageable resource. The editor is to be congratulated both on his choice of material and on his choice of collaborators. The result is a well-balanced mix of authoritative overviews of classical mathematical logic and up-to-date accounts of topics in linguistics and computer science."
Krister Segerberg, Uppsala University
"These twenty chapters cover the areas of logic of greatest interest to philosophers, and also to computer scientists, linguists, and cognitive scientists. They are written by world-class authorities in their fields and give comprehensive and definitive introductions to their subjects."
Ernie Lepore, Rutgers University
"For those interested in the philosophy of logic an excellent place to turn would be The Blackwell Guide to Philosophical Logic edited by Lou Goble. The book consists of 20 specially written essays by distinguished figures in the field, each with an editor's introduction."
Times higher Education Supplement
"The intended readership is philosophers and logicians, but there is much that will be of interest to computer scientists, cognative scientists and theoretical linguists. The Book is accessible to non-experts and experts will find much substance in the essays."
Studia Logica