Handbook of Philosophical Logic, Volume 5Dov M. Gabbay, Franz Guenthner It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good,! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other. |
Contents
INTUITIONISTIC LOGIC | 1 |
DIALOGUES AS A FOUNDATION FOR INTUITIONISTIC LOGIC | 115 |
Introduction | 145 |
MORE FREE LOGIC | 189 |
PARTIAL LOGIC | 249 |
INDEX | 339 |
Other editions - View all
Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic Dov M. Gabbay,Franz Guenthner No preview available - 2011 |
Common terms and phrases
a₁ answer argument assertion assignment atomic formulae attack axioms Bencivenga Beth model Brouwer classical logic classical semantics connectives consider constants construction Dalen defined definition denoting descriptions dialogue disjunction equivalent example existence existential finite first-order formal Fraassen free logic free semantics Gabbay given hence Heyting Heyting algebra hypothesis identity induction interjunction intermediate logics interpretation intuitionistic logic Kleene Kreisel Kripke model lacks truth-value Lambert language Lemma logically true Lorenzen M₁ mathematical modal monotonic functions natural deduction natural numbers negation node non-denoting singular terms notion objects occur partial functions partial logic Pegasus Prawitz predicate presupposition principle proof propositional propositional logic provable quantifiers recursive refer relation result rules Section sense sentence Smoryński supervaluational symbol theorem theory tion topological transplication Troelstra true or false truth truth-value truth-valueless universal quantification W. V. O. Quine x-variant