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

Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic: Synthese Library, cartea 166

Editat de Dov M. Gabbay, Franz Guenthner
en Limba Engleză Paperback – 19 oct 2011
This volume presents a number of systems of logic which can be considered as alternatives to classical logic. The notion of what counts as an alternative is a somewhat problematic one. There are extreme views on the matter of what is the 'correct' logical system and whether one logical system (e. g. classical logic) can represent (or contain) all the others. The choice of the systems presented in this volume was guided by the following criteria for including a logic as an alternative: (i) the departure from classical logic in accepting or rejecting certain theorems of classical logic following intuitions arising from significant application areas and/or from human reasoning; (ii) the alternative logic is well-established and well-understood mathematically and is widely applied in other disciplines such as mathematics, physics, computer science, philosophy, psychology, or linguistics. A number of other alternatives had to be omitted for the present volume (e. g. recent attempts to formulate so-called 'non-monotonic' reason­ ing systems). Perhaps these can be included in future extensions of the Handbook of Philosophical Logic. Chapter 1 deals with partial logics, that is, systems where sentences do not always have to be either true or false, and where terms do not always have to denote. These systems are thus, in general, geared towards reasoning in partially specified models. Logics of this type have arisen mainly from philo­ sophical and linguistic considerations; various applications in theoretical computer science have also been envisaged.
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ț: 38544 lei

Nou

Puncte Express: 578
Preț estimativ în valută:
6823€ • 7934$ • 5962£

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: 9789401088015
ISBN-10: 9401088012
Pagini: 540
Ilustrații: 531 p. 1 illus.
Dimensiuni: 152 x 229 x 28 mm
Greutate: 0.71 kg
Ediția:1986
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

to Volume III.- III.1. Partial Logic.- III.2. Many-valued Logic.- III.3. Relevance Logic and Entailment.- III.4. Intuitionistic Logic.- III.5. Dialogues as a Foundation for Intuitionistic Logic.- III.6. Free Logics.- III.7. Quantum Logic.- III.8. Proof Theory and Meaning.- Name Index.- Table of Contents to Volumes I, II, and IV.

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.