Overview
- Authoritative in the area of philosophical logic, presenting comprehensive coverage of key areas of logic
- Of particular interest to those in the field of artificial intelligence and common sense agent reasoning
- Focuses on causality, conditionals and, to a lesser extent, quantifiers and language
Part of the book series: Handbook of Philosophical Logic (HALO, volume 14)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: • a chapter on non-monotonic logic • a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights, including at time decision procedures and equivalence with non-classical systems. Perhaps the most impressive achievement of philosophical logic as arising inthepastdecadehasbeenthee?ectivenegotiationofresearchpartnerships with fallacy theory, informal logic and argumentation theory, attested to by the Amsterdam Conference in Logic and Argumentation in 1995, and the two Bonn Conferences in Practical Reasoning in 1996 and 1997. These subjects are becoming more and more useful in agent theory and intelligent and reactive databases. Finally, ?fteen years after the start of the Handbook project, I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics and arti?cial intelligence. In the early 1980s the perception of the role of logic in computer science was that of a speci?cation and reasoning tool and that of a basis for possibly neat computer languages. The computer scientist was manipulating data structures and the use of logic was one of his options.
Similar content being viewed by others
Keywords
Table of contents (4 chapters)
-
Front Matter
-
Back Matter
Editors and Affiliations
Bibliographic Information
Book Title: Handbook of Philosophical Logic
Book Subtitle: Volume 14
Editors: D.M. Gabbay, F. Guenthner
Series Title: Handbook of Philosophical Logic
DOI: https://doi.org/10.1007/978-1-4020-6324-4
Publisher: Springer Dordrecht
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer Science+Business Media B.V. 2007
Hardcover ISBN: 978-1-4020-6323-7Published: 14 September 2007
Softcover ISBN: 978-90-481-7608-3Published: 25 November 2010
eBook ISBN: 978-1-4020-6324-4Published: 28 August 2007
Series ISSN: 3004-992X
Series E-ISSN: 3004-9938
Edition Number: 1
Number of Pages: XIV, 345
Topics: Mathematics, general, Logic, Philosophy of Language, Philosophy of Science, Logics and Meanings of Programs, Mathematical Logic and Formal Languages