Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Автор: S. Akama Название: Logic, Language and Computation ISBN: 940106377X ISBN-13(EAN): 9789401063777 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation.
Автор: Patterson, Douglas Beaney, Michael Название: Alfred tarski: philosophy of language and logic ISBN: 1349306738 ISBN-13(EAN): 9781349306732 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This study looks to the work of Tarski`s mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.
Автор: Can Ba?kent; Lawrence S. Moss; Ramaswamy Ramanujam Название: Rohit Parikh on Logic, Language and Society ISBN: 3319478427 ISBN-13(EAN): 9783319478425 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Chapter 1. Editors' Preface.- Chapter 2. Juliet Floyd: Parikh and Wittgenstein.- Chapter 3. Prashant Parikh: Vagueness, Communication and the Sorites Paradox.- Chapter 4. Robert van Rooij: Nonmonotonicity and Knowability: As knowable as possible.- Chapter 5. Jan van Eijck and Philip Elsas: What is Money?.- Chapter 6. Dominik Klein and Eric Pacuit: Focusing on Campaigns.- Chapter 7. Can Başkent: A Non-classical Logical Approach to Social Software.- Chapter 8. Joseph Halpern: Why Bother with Syntax?.-Chapter 9. Johan van Benthem: Talking about Knowledge.- Chapter 10. Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek: The Pleasure of Gossip.- Chapter 11. Gabriel Sandu and Silviu Velice: Modeling Monty Hall in IF Logic.- Chapter 12. Amy Greenwald, Jiacui Li, Eric Sodomka: Solving for Best Responses and Equilibria in Extensive-Form: Games with Reinforcement Learning Methods.- Chapter 13. Juoko Vaananen. The Logic of Approximate Dependence.-Chapter 14. Melvin Fitting: On Height and Happiness.- Chapter 15. Konstantinos Georgatos: Epistemic Conditionals and the Logic of Subsets.- Chapter 16. Dexter Kozen: On the Coalgebraic Theory of Kleene Algebras with Tests.- Chapter 17. Vaughan Pratt: Aristotle, Boole and Categories.- Chapter 18. Noson Yanofsky: Galois Theory of Algorithms.- Chapter 19. Parikh's Closing Remarks.
Описание: Revised 2nd edition of this popular introduction to philosophy of logic and philosophy of language.
Автор: C. Anthony Anderson; Michael Zel?ny Название: Logic, Meaning and Computation ISBN: 140200141X ISBN-13(EAN): 9781402001413 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains papers by well-known scholars, most of whom have been directly influenced by Alonzo Church`s own work. This work emphasises on foundational issues in logic, mathematics, computation, and philosophy. It is of interest to logicians, computer scientists, philosophers, and linguists.
Автор: Hans J?rgen Ohlbach; U. Reyle Название: Logic, Language and Reasoning ISBN: 9401059365 ISBN-13(EAN): 9789401059367 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic.
Автор: B.H. Kazemier; D. Vuysje Название: Logic and Language ISBN: 9048183197 ISBN-13(EAN): 9789048183197 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Patterson Название: Alfred Tarski: Philosophy of Language and Logic ISBN: 0230221211 ISBN-13(EAN): 9780230221215 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This study looks to the work of Tarski`s mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.
Описание: 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.
Автор: W. Marciszewski Название: Dictionary of Logic as Applied in the Study of Language ISBN: 9024721237 ISBN-13(EAN): 9789024721238 Издательство: Springer Рейтинг: Цена: 38433.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Each article is divided into numbered sections, the numbers, in boldface type, being addresses to which we refer. Main sections are further subdivided, the subsections being numbered by numerals added to the main section number, e.g.
Автор: C. Anthony Anderson; Michael Zel?ny Название: Logic, Meaning and Computation ISBN: 9401038910 ISBN-13(EAN): 9789401038911 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru