The Blackwell Guide to Philosophical Logic

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.

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