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.

"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

• List of Contributors viiPreface ixIntroduction 1Lou Goble1 Classical Logic I – First-Order Logic 9Wilfrid Hodges2 Classical Logic II – Higher-Order Logic 33Stewart Shapiro3 Set Theory 55John P. Burgess4 Gödel’s Incompleteness Theorems 72Raymond Smullyan5 Truth 90Anil Gupta6 Logical Consequence 115Patricia A. Blanchette7 Modal Logic 136M. J. Cresswell8 Deontic Logic 159Risto Hilpinen9 Epistemic Logic 183J.-J. Ch. Meyer10 Temporal Logic 203Yde Venema11 Intuitionistic Logic 224Dirk van Dalen12 Free Logics 258Karel Lambert13 Relevant Logics 280Edwin D. Mares and Robert K. Meyer14 Many-Valued Logics 309Grzegorz Malinowski15 Nonmonotonic Logic 336John F. Horty16 Probability, Logic, and Probability Logic 362Alan Hájek17 Conditionals 385Dorothy Edgington18 Negation 415Heinrich Wansing19 Quantifiers 437Dag Westerståhl20 Logic and Natural Language 461Alice ter MeulenIndex 484