<電子ブック>
Handbook of Philosophical Logic : Volume 14 / edited by Dov M. Gabbay, Franz Guenthner
(Handbook of Philosophical Logic. ISSN:30049938 ; 14)
版 | 1st ed. 2007. |
---|---|
出版者 | (Dordrecht : Springer Netherlands : Imprint: Springer) |
出版年 | 2007 |
本文言語 | 英語 |
大きさ | XIV, 345 p : online resource |
著者標目 | Gabbay, Dov M editor Guenthner, Franz editor SpringerLink (Online service) |
件 名 | LCSH:Mathematics LCSH:Logic LCSH:Language and languages -- Philosophy 全ての件名で検索 LCSH:Science -- Philosophy 全ての件名で検索 LCSH:Computer science LCSH:Machine theory FREE:Mathematics FREE:Logic FREE:Philosophy of Language FREE:Philosophy of Science FREE:Computer Science Logic and Foundations of Programming FREE:Formal Languages and Automata Theory |
一般注記 | Editorial Preface; D.M. Gabbay -- Logics of Formal Inconsistency; W. Carnielli, M.E. Coniglio, J. Marcos -- Causality; J. Williamson -- On Conditionals; D. Edgington -- Quantifiers in Formal and Natural Languages; D. Westerståhl -- Index 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 HTTP:URL=https://doi.org/10.1007/978-1-4020-6324-4 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9781402063244 |
|
電子リソース |
|
EB00235172 |
類似資料
この資料の利用統計
このページへのアクセス回数:1回
※2017年9月4日以降