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

Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: Synthese Library, cartea 165

Editat de Dov M. Gabbay, Franz Guenthner
en Limba Engleză Paperback – 2 noi 2011
The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'. The inclusion of such 'indices' has turned out to be the semantic mainstay in dealing with a number of issues having to do with intensional features of natural and artificial languages. It is, of course, an open question whether 'possible world' semantics is in the final analysis the proper solution to the many problems and puzzles intensional constructions raise for the logical analysis of the many varieties of discourse. At present, there seem to be about as many opponents as proponents with regard to the usefulness of having the semantics of intensional languages based on possible world constructs. Some attempts to come to grips with intensional phenomena which are not couched in the possible world framework are discussed in Volume IV of the Handbook. Chapter 1 is an extensive survey of the main systems of (propositional) modal logic including the most important meta-mathematical results and the techniques used in establishing these. It introduces the basic terminology and semantic machinery applied in one way or another in many of the subsequent chapters. Chapter 2 discusses the most significant developments in (propositional) tense logic which can of course be regarded as a special kind of modal logic, where the possible world indices are simply (ordered) moments of time.
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-45 zile
  Springer International Publishing – 19 ian 2019 55807 lei  38-45 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-45 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-45 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-45 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 Synthese Library

Preț: 77183 lei

Preț vechi: 94125 lei
-18% Nou

Puncte Express: 1158
Preț estimativ în valută:
13661€ • 15987$ • 11952£

Carte tipărită la comandă

Livrare economică 23 ianuarie-06 februarie 26

 Adaugă în coș

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

Specificații

ISBN-13: 9789400962613
ISBN-10: 9400962614
Pagini: 796
Ilustrații: 788 p.
Dimensiuni: 152 x 229 x 42 mm
Greutate: 1.04 kg
Ediția:Softcover reprint of the original 1st ed. 1984
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

to Volume II.- II.1. Basic Modal Logic.- II.2.Basic Tense Logic.- II.3. Combinations of Tense and Modality.- II.4. Correspondence Theory.- II.5. Quantification in Modal Logic.- II.6. Philosophical Perspectives on Quantification in Tense and Modal Logic.- II.7. C. General Intensional Logic.- II.8.Conditional Logic.- II.9.Modal Logic and Self-reference.- II.10. Dynamic Logic.- II.11. Deontic Logic.- II.12. The Logic of Questions.- Name Index.

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.

Caracteristici

Includes current views about logic in computer science, computational linguistics and artificial intelligence Now includes chapters on non-monotonic logic and combinatory logic and ?-calculus A most extraordinary collection written by famous people Updates the first edition described as ‘the best starting point for exploring any of the topics in logic’ ? Includes supplementary material: sn.pub/extras

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.