Автор: 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.
Автор: Benthem Johan Van Название: Logic in Games ISBN: 0262019906 ISBN-13(EAN): 9780262019903 Издательство: MIT Press Рейтинг: Цена: 10157.00 р. Наличие на складе: Нет в наличии.
Описание:
A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.
This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games.
In doing so, the book takes up the "intelligent interaction" of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze information-driven changes in players' knowledge and beliefs, and introduces the "Theory of Play" that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games.
Logic in Games, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.
Автор: Vanderveken, Daniel Название: Meaning and speech acts: volume 1, principles of language use ISBN: 0521104904 ISBN-13(EAN): 9780521104906 Издательство: Cambridge Academ Рейтинг: Цена: 6653.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of natural languages.
Автор: Sturt Название: The Principles of Understanding ISBN: 110769311X ISBN-13(EAN): 9781107693111 Издательство: Cambridge Academ Рейтинг: Цена: 5069.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Originally published in 1915, this book presents an examination of philosophy from the perspective of personal idealism, arguing that logic should be the theoretical account of the actual processes of human understanding. The text explores the idea of utility in relation to philosophy, with a view towards practical engagement with the world.
Описание: George Berkeley's Principles of Human Knowledge is a crucial text in the history of empiricism and in the history of philosophy more generally. Its central and seemingly astonishing claim is that the physical world cannot exist independently of the perceiving mind. The meaning of this claim, the powerful arguments in its favour, and the system in which it is embedded, are explained in a highly lucid and readable fashion and placed in their historical context. Berkeley's philosophy is, in part, a response to the deep tensions and problems in the new philosophy of the early modern period and the reader is offered an account of this intellectual milieu. The book then follows the order and substance of the Principles whilst drawing on materials from Berkeley's other writings. This volume is the ideal introduction to Berkeley's Principles and will be of great interest to historians of philosophy in general.
Автор: Bradley Название: The Principles of Logic ISBN: 1108040276 ISBN-13(EAN): 9781108040273 Издательство: Cambridge Academ Рейтинг: Цена: 5386.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: F. H. Bradley (1846-1924) was the most influential of the British Idealist philosophers who adopted the work of Hegel while rejecting utilitarianism. This major two-volume work was first published in 1883 and is reissued here in the 1922 second edition. Volume 1 contains analyses of judgment and inference.
Автор: Greg Restall Название: Logic ISBN: 0415400686 ISBN-13(EAN): 9780415400688 Издательство: Taylor&Francis Рейтинг: Цена: 5970.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.
Автор: Torben Bra?ner Название: Hybrid Logic and its Proof-Theory ISBN: 9400734352 ISBN-13(EAN): 9789400734357 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.
Автор: Fitting Название: First-Order Modal Logic ISBN: 0792353358 ISBN-13(EAN): 9780792353355 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Поставка под заказ.
Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege`s morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Издательство: Cambridge Academ Рейтинг: Цена: 14890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.
Автор: Kamp Название: From Discourse to Logic ISBN: 0792310284 ISBN-13(EAN): 9780792310280 Издательство: Springer Рейтинг: Цена: 4884.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference. This is intended for students with varying degrees of preparation, including those without prior exposure to semantics or formal logic.
Автор: Francesca Poggiolesi Название: Gentzen Calculi for Modal Propositional Logic ISBN: 9400734425 ISBN-13(EAN): 9789400734425 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
