Cantitate/Preț
Produs
Total produse
Vezi coșul
Handbook of Philosophical Logic: Volume 14 de Dov M. Gabbay

Handbook of Philosophical Logic: Volume 14: Handbook of Philosophical Logic, cartea 14

Editat de Dov M. Gabbay, Franz Guenthner
en Limba Engleză Paperback – 25 noi 2010
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (19) 38544 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 14 oct 2011 38544 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 19 oct 2011 38544 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 26 sep 2011 44429 lei  38-44 zile
  Springer International Publishing – 19 ian 2019 55807 lei  38-44 zile
  SPRINGER NETHERLANDS – 20 aug 2015 61505 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 2 noi 2011 77183 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 15 dec 2010 86038 lei  38-44 zile
  SPRINGER NETHERLANDS – 9 dec 2010 91105 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 23 aug 2012 91105 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 22 sep 2011 91149 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 9 dec 2010 91178 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 22 sep 2011 91269 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 27 ian 2013 91332 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 4 dec 2010 91362 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 14 mar 2012 91466 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 21 oct 2012 95847 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 22 sep 2011 107058 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 25 dec 2010 112608 lei  38-44 zile
  SPRINGER NETHERLANDS – 25 noi 2010 117230 lei  6-8 săpt.
Hardback (13) 62117 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 15 aug 2013 62117 lei  6-8 săpt.
  Springer International Publishing – 8 noi 2018 75936 lei  38-44 zile
  SPRINGER NETHERLANDS – 31 oct 2003 91770 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 ian 2002 91770 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 30 noi 2002 91787 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 mai 2002 91787 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 30 iun 2001 91921 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 8 dec 2010 91921 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 aug 2001 91985 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 iul 2001 92028 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 aug 2002 96453 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 mar 2004 117809 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 14 sep 2007 117916 lei  6-8 săpt.

Din seria Handbook of Philosophical Logic

Preț: 117230 lei

Preț vechi: 142964 lei
-18% Nou

Puncte Express: 1758
Preț estimativ în valută:
20750€ • 24283$ • 18153£

Carte tipărită la comandă

Livrare economică 24 ianuarie-07 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789048176083
ISBN-10: 9048176085
Pagini: 360
Ilustrații: XIV, 345 p.
Dimensiuni: 160 x 240 x 19 mm
Greutate: 0.5 kg
Ediția:Softcover reprint of hardcover 1st ed. 2007
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Handbook of Philosophical Logic

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

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.

Caracteristici

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

Recenzii

"The best starting point for exploring any of the topics in logic"
                                                                  Encyclopaedia Britannica

Notă biografică

DOV M. GABBAY FRSC FAvH FRSA FBCS, Augustus De Morgan Professor of Logic (Emeritus), King's College London and Visiting Professor, University of Luxembourg. Dov Gabbay is one of the world’s most active and influential researchers in logic.  He has been active in the logic landscape for over 50 years. He  authored / co-authored over five hundred and fifty research papers and over thirty research monographs.He has initiated several new and active research areas. He is editor of several international Journals, and over 50 Handbooks of Logic. Gabbay is Chairman and founder of several international conferences, Executive of the European Foundation of  Logic Language and Information and President of the International IGPL Logic Group .Founder, Executive and Vice President of the International Federation of Computational Logic, (UK Charity, Number 1112512 ). He is one of the four founders and council member for many years of FoLLI, the Association of Logic, Language and Information. Now retired and a Life Member.
Franz Guenthner is a professor of Computational Linguistics at the Centre for Information and Language Processing (CIS) at the Ludwig-Maximilians-Universitaet (LMU) in Munich, Germany. His background is in philosophy and linguistics.Guenthner's research interests include computational linguistics, and has collaborated to the development of a number of online search platforms since 1996: AltaVista, Fast Search and Transfer (now purchased by Microsoft), RealNames, JobaNova, Exorbyte, and All The Web. He was a professor of General and Computational Linguistics at the University of Tübingen (1977–1989) before joining the LMU in 1990. His research interests include all areas of text processingand in particular the transformation of textual corpora in lexical and grammatical representations (i.e. computationally deployable electronic dictionaries and local grammars). He was also instrumental in the design and realization of a number of search engines, in particular of the first large-scale scientific search engine on the web www.scirus.com. His present work concerns the use of linguistic techniques in page and link analysis on the web, especially for the construction of vertical search engines.

Textul de pe ultima copertă

This eighteenth volume of the acclaimed Handbook of Philosophical Logic includes many contributors who are among the most famous leading figures of applied philosophical logic of our time. Coverage includes deontic logic, practical reasoning, homogeneous and heterogeneous logical proportion, and talmudic logic. Overall, it will appeal to students, practitioners, and researchers looking for an authoritative resource in these areas.
The contributors first explore models in terms of dynamic logics for information-driven agency. The paradigm they use is dynamic-epistemic logics for knowledge and belief and their current extensions to the statics and dynamics of agents’ preferences. Next, in the presentation of preference based agency, coverage examines a large number of themes, including interactive social agents and scenarios with long term patterns emerging over time. From here, the book moves on to offer an introduction to homogeneous and heterogeneous logical proportions.
Readers will also learn more about the general challenge that the problem of formalizing practical reasoning presents to logical theory. The contributors survey the existing resources that might contribute to the development of such a formalization. They conclude that, while a robust, adequate logic of practical reasoning is not yet in place, the materials for developing such a logic are now available.
The last chapter explores topics that deal with the logic of Jewish law and the logic of the Talmud. This includes obligations and prohibitions in Talmudic deontic logic, the handling of loops in Talmudic logic, Temporal Talmudic logic, and quantum states and disjunctive attacks in Talmudic logic. The Talmudic logic system presented are also exported to general logic and to Artificial Intelligence.

Descriere

Descriere de la o altă ediție sau format:
Contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties. This book is aimed at students and researchers whose work or interests involve philosophical logic and its applications.