Quantifiers: Logics, Models and Computation, Michal Krynicki; M. Mostowski; L.W. Szczerba
Автор: Michal Krynicki; M. Mostowski; L.W. Szczerba Название: Quantifiers: Logics, Models and Computation ISBN: 0792334485 ISBN-13(EAN): 9780792334484 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides introductions to the subject from the points of view of mathematics, linguistics, and theoretical computer science. This book has been prepared in parallel with "Quantifiers: Logics, Models and Computation, Volume Two". It is useful for logicians, mathematicians, philosophers, linguists and computer scientists.
Описание: This volume examines how the displacement property of language is characterized in formal terms under the Minimalist Program and to what extent this proposed characterization of it can explain relevant displacement properties. The birth of the Principles and Parameters Approach makes it possible to simplify transformational rules so radically as to be reduced to the single rule Move. The author proposes that Move, as conceived as a special case of Merge, named internal Merge, under the Minimalist Program requires two prerequisite operations: one is to “dig” into a structure to find a target of Merge, called Search, and the other is to make this target reach the top of the structure, called Float. The author argues that these two different operations are constrained by “minimal computation.” Due to the nature of how they apply, these operations are constrained by this economy condition in such a way that Search must be minimal and Float obeys Minimize chain links, which requires that this operation cannot skip possible landing sites. The author demonstrates that this mechanism of minimal Search and Float deals with a variety of phenomena that involve quantifier raising, such as rigidity effects of scope interaction, the availability of cumulative readings of plural relation sentences and pair-list readings of multiple wh-questions. Also demonstrated in this volume is that the same mechanism properly captures the locality effects of topicalization, focus movement, and ellipsis with contrastive focus.
Автор: Dov M. Gabbay; Philippe Smets Название: Quantified Representation of Uncertainty and Imprecision ISBN: 9048150388 ISBN-13(EAN): 9789048150380 Издательство: Springer Рейтинг: Цена: 41647.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Handbook was produced in the style of previous handbook series like the Handbook of Philosoph- ical Logic, the Handbook of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming, and can be seen as a companion to them in covering the wide applications of logic and reasoning.
Автор: Michal Krynicki; M. Mostowski; L.W. Szczerba Название: Quantifiers: Logics, Models and Computation ISBN: 9048145392 ISBN-13(EAN): 9789048145393 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late `50s and early `60s.
Автор: Michal Krynicki; M. Mostowski; L.W. Szczerba Название: Quantifiers: Logics, Models and Computation ISBN: 9048145406 ISBN-13(EAN): 9789048145409 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: For a long time it has been belived that elementary logic also called first-order logic was an ade- quate theory of logical forms of natural language sentences.
Описание: Introduction; Alessandro Torza.- Part 1. Logical Constants.- Which Quantifiers are Logical? A Combined Semantical and Inferential Criterion; Solomon Feferman.- Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators; Arnold Koslow.- Quantifiers are Logical Constants, but Only Ambiguously; Sun-Joo Shin.- Part 2. Semantics of Natural Language.- Conjunctive, Disjunctive, Negative Objects and Generalized Quantification; Ken Akiba.- Quantifiers and Referential Use; Mario Gуmez-Torrente.- Quantification and Logical Form; Andrea Iacona.- Quantification with Intentional and with Intensional Verbs; Frederike Moltmann.- Part III The Carnap-Quine Legacy.- Life on the Range: Quine's Thesis and Semantic Indeterminacy; G. Aldo Antonelli.- Chalmers, Quantifier Variance and Mathematicians' Freedom; Sharon Berry.- "There Is an 'Is' in There Is" Meinongian Quantification and Existence; Francesco Berto.- Qualifying Quantifying-in; Bj rn Jespersen.- Carnap, Quine, Quantification and Ontology; Gregory Lavers.- Quantifier Variance, Intensionality, and Metaphysical Merit; David Liebesman.- Part 4. Metaphysics and Ontology.- Making Quantified Truths True; Axel Arturo Barcelό Aspeitia.-Absolute Generality and Semantic Pessimism; J.P. Studd.- Necessarily Maybe. Quantifiers, Modality and Vagueness: Alessandro Torza.- What's in a (Mental) Picture; Alberto Voltolini.- Part 5. Logical Systems.- Cross-World Identity, Temporal Quantifiers and the Question of Tensed Contents; Tero Tulenheimo.- What's So Bad about Second-Order Logic?; Jason Turner.- ∀ and ω; Elia Zardini.
Автор: Dov M. Gabbay; Philippe Smets Название: Quantified Representation of Uncertainty and Imprecision ISBN: 0792351002 ISBN-13(EAN): 9780792351009 Издательство: Springer Рейтинг: Цена: 41647.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Handbook was produced in the style of previous handbook series like the Handbook of Philosoph- ical Logic, the Handbook of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming, and can be seen as a companion to them in covering the wide applications of logic and reasoning.
Автор: Glenn Название: Law and the New Logics ISBN: 1107106958 ISBN-13(EAN): 9781107106956 Издательство: Cambridge Academ Рейтинг: Цена: 16632.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an interdisciplinary conversation between jurists and logicians, reaching across a wide domain of issues arising in law and legal reasoning. The overall theme is the ways in which non-classical logics can enrich our understanding of legal orders.
Автор: Daniel Kolak; John Symons Название: Quantifiers, Questions and Quantum Physics ISBN: 9048168155 ISBN-13(EAN): 9789048168156 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: He has made significant contributions to virtually all areas of the discipline, from epistemology and the philosophy of logic to the history of philosophy and the philosophy of science. This book includes a comprehensive overview of Hintikka`s philosophy by Dan Kolak and John Symons and an annotated bibliography of Hintikka`s work.
Автор: Font Название: A General Algebraic Semantics for Sentential Logics ISBN: 1107167973 ISBN-13(EAN): 9781107167971 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph is an exposition of the very general approach to the algebraization of sentential logics developed by the Barcelona logic group in the 1970s. It shows the results of this approach on a number of particular logics, and relates it to those developed by Blok, Czelakowski, Pigozzi and others.
Автор: Jouko V??n?nen Название: Generalized Quantifiers and Computation ISBN: 3540669930 ISBN-13(EAN): 9783540669937 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The six lectures presented introduce the reader to the state of the art in the area of generalized quantifiers and computation. Besides an introductory survey by the volume editor various aspects of generalized quantifiers are studied in depth.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
