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: 0792334493 ISBN-13(EAN): 9780792334491 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains twelve research papers devoted to generalized quantifiers and their applications. This volume offers a survey of logical methods that are useful in investigations involving generalized quantifiers. It represents model-theoretical and proof-theoretical approaches.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
