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

Handbook of Philosophical Logic: Volume I: Elements of Classical Logic: Synthese Library, cartea 164

Editat de Dov M. Gabbay, Franz Guenthner
en Limba Engleză Paperback – 14 oct 2011
The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its 'extensions' (covered in Volume 11) as well as its most important 'alternatives' (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization of mathematics and in the many areas of philo­ sophical and linguistic applications? Chapter 1. 1 is prerequisite for just about all the other chapters in the entire Handbook, while the other chapters in Volume I provide more detailed discussions of material developed or hinted at in the first chapter.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (19) 38925 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 14 oct 2011 38925 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 19 oct 2011 38925 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 26 sep 2011 41055 lei  38-45 zile
  Springer International Publishing – 19 ian 2019 51568 lei  38-45 zile
  SPRINGER NETHERLANDS – 20 aug 2015 62140 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 2 noi 2011 77990 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 15 dec 2010 79496 lei  38-45 zile
  SPRINGER NETHERLANDS – 9 dec 2010 92064 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 23 aug 2012 92064 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 21 oct 2012 92094 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 22 sep 2011 92107 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 9 dec 2010 92139 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 22 sep 2011 92230 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 27 ian 2013 92294 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 4 dec 2010 92324 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 14 mar 2012 92429 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 25 dec 2010 104040 lei  38-45 zile
  SPRINGER NETHERLANDS – 22 sep 2011 108191 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 25 noi 2010 118474 lei  6-8 săpt.
Hardback (15) 62762 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 15 aug 2013 62762 lei  6-8 săpt.
  Springer International Publishing – 8 noi 2018 70163 lei  38-45 zile
  SPRINGER NETHERLANDS – 31 aug 2002 92707 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 oct 2003 92737 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 ian 2002 92737 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 30 noi 2002 92754 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 mai 2002 92754 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 dec 2001 92784 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 30 iun 2001 92888 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 8 dec 2010 92888 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 aug 2001 92952 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 iul 2001 92996 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 mai 2002 108881 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 mar 2004 119058 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 14 sep 2007 119167 lei  6-8 săpt.

Din seria Synthese Library

  • Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future
    Preț: 54325 lei
  • 15% Truth in Fiction: Rethinking its Logic
    Preț: 62015 lei
  • 18% Exploring Meinong’s Jungle and Beyond: The Sylvan Jungle - Volume 1
    Preț: 96155 lei
  • 15% Ultralogic as Universal?: The Sylvan Jungle - Volume 4
    Preț: 57962 lei
  • 18% Believing in Accordance with the Evidence: New Essays on Evidentialism
    Preț: 87799 lei
  • 15% Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content
    Preț: 57010 lei
  • 15% Scientific Discovery in the Social Sciences
    Preț: 67655 lei
  • 18% Dispositionalism: Perspectives from Metaphysics and the Philosophy of Science
    Preț: 86729 lei
  • 15% Vagueness as Arbitrariness: Outline of a Theory of Vagueness
    Preț: 62492 lei
  • Philosophy of Astrophysics: Stars, Simulations, and the Struggle to Determine What is Out There
    Preț: 28232 lei
  • Gewinnungsarbeiten, Wasserhaltung: IV
    Preț: 43047 lei
  • 5% The Behavior of Human Infants
    Preț: 36160 lei
  • 15% A Precis of Mathematical Logic
    Preț: 61934 lei
  • 18% Formal Methods in the Methodology of Empirical Sciences: Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974
    Preț: 93135 lei
  • 15% Belief and Probability
    Preț: 62396 lei
  • 18% The Scientific World-Perspective and Other Essays, 1931–1963
    Preț: 119531 lei
  • 15% Unity of Science
    Preț: 62442 lei
  • 18% Mathematical Thought: An Introduction to the Philosophy of Mathematics
    Preț: 97167 lei
  • Advanced Logic for Applications
    Preț: 37862 lei
  • 15% Tense Logic
    Preț: 61903 lei
  • 18% Position and Change: A Study in Law and Logic
    Preț: 92493 lei
  • 18% Dispositions
    Preț: 119596 lei
  • 15% Inference, Method and Decision: Towards a Bayesian Philosophy of Science
    Preț: 62746 lei
  • Human Action and Its Explanation: A Study on the Philosophical Foundations of Psychology
    Preț: 38458 lei
  • Semiotics in Poland 1894–1969
    Preț: 38909 lei
  • 18% Mathematical Epistemology and Psychology
    Preț: 119028 lei
  • 15% Action Theory and Social Science: Some Formal Models
    Preț: 62061 lei
  • 18% Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
    Preț: 119670 lei
  • Studies in Inductive Probability and Rational Expectation
    Preț: 36964 lei
  • Essays in Honour of Jaakko Hintikka: On the Occasion of His Fiftieth Birthday on January 12, 1979
    Preț: 38365 lei
  • 15% Quantum Logic
    Preț: 62204 lei
  • 15% Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi
    Preț: 62078 lei
  • Dismantling the Memory Machine: A Philosophical Investigation of Machine Theories of Memory
    Preț: 37111 lei
  • 15% Ontology and the Logistic Analysis of Language: An Enquiry into the Contemporary Views on Universals
    Preț: 62459 lei

Preț: 38925 lei

Nou

Puncte Express: 584
Preț estimativ în valută:
7449€ • 7835$ • 6205£

Carte tipărită la comandă

Livrare economică 03-17 ianuarie 25

 Adaugă în coș

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

Specificații

ISBN-13: 9789400970687
ISBN-10: 9400970684
Pagini: 512
Ilustrații: XIII, 497 p.
Dimensiuni: 152 x 229 x 27 mm
Greutate: 0.71 kg
Ediția:Softcover reprint of the original 1st ed. 1983
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

to Volume I.- I.1. Elementary Predicate Logic.- I.2. Systems of Deduction.- I.3. Alternatives to Standard First-order Semantics.- I.4. Higher-order Logic.- I.5. Predicative Logics.- I.6. Algorithms and Decision Problems: A Crash Course in Recursion Theory.- Name Index.- Table of Contents to Volumes II, III, 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