Описание: 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.
Описание: 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.
Автор: 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.
Автор: 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.
Автор: Peter G?rdenfors Название: Generalized Quantifiers ISBN: 1556080174 ISBN-13(EAN): 9781556080173 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The organizers of the workshop gratefully acknowledge support from the Department of Linguistics, the Department of Philosophy and the Faculty of Humanities at Lund University, the Royal Swedish Academy of Sciences (through the Wallenberg Foundation), the Swedish Institute, and the Letterstedt Foundation.
Автор: Peter G?rdenfors Название: Generalized Quantifiers ISBN: 1556080182 ISBN-13(EAN): 9781556080180 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The organizers of the workshop gratefully acknowledge support from the Department of Linguistics, the Department of Philosophy and the Faculty of Humanities at Lund University, the Royal Swedish Academy of Sciences (through the Wallenberg Foundation), the Swedish Institute, and the Letterstedt Foundation.
Автор: Hans-J?rgen B?rckert Название: A Resolution Principle for a Logic with Restricted Quantifiers ISBN: 3540550348 ISBN-13(EAN): 9783540550341 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a sound and complete refutation calculus for constrained clauses.
Автор: 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
