Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 107010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 67710.00 T Наличие на складе: Нет в наличии. Описание:
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.
Автор: Greg Restall Название: Logic ISBN: 0415400686 ISBN-13(EAN): 9780415400688 Издательство: Taylor&Francis Рейтинг: Цена: 39800.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Fitting Название: First-Order Modal Logic ISBN: 0792353358 ISBN-13(EAN): 9780792353355 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Поставка под заказ. Описание: 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.
Автор: Priest Название: Logic ISBN: 0192893203 ISBN-13(EAN): 9780192893208 Издательство: Oxford Academ Рейтинг: Цена: 8440.00 T Наличие на складе: Невозможна поставка. Описание: An introduction to modern formal logic, this book explores the philosophical roots of the subject, explaining how it deals with issues ranging from the existence of God and the reality of time, to paradoxes of probability and decision theory. Each chapter takes some philosophical problem, and explains how it may be handled in modern logic.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Издательство: Cambridge Academ Рейтинг: Цена: 99270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Maddy Penelope Название: The Logical Must: Wittgenstein on Logic ISBN: 0199391750 ISBN-13(EAN): 9780199391752 Издательство: Oxford Academ Рейтинг: Цена: 40650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The Logical Must is an examination of Wittgenstein`s philosophy of logic, early and late, from an austere naturalistic perspective called "Second Philosophy."
Автор: Garson Название: Modal Logic for Philosophers ISBN: 1107609526 ISBN-13(EAN): 9781107609525 Издательство: Cambridge Academ Рейтинг: Цена: 42240.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides philosophers with an accessible yet technically sound treatment of modal logic and its philosophical applications. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. A number of technical results have also been clarified and streamlined.
Автор: Lee Mi-Kyoung Название: Strategies of Argument: Essays in Ancient Ethics, Epistemology, and Logic ISBN: 0199890471 ISBN-13(EAN): 9780199890477 Издательство: Oxford Academ Рейтинг: Цена: 118800.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume features new papers by an international group of scholars in ancient philosophy, with a particular focus on new work in ancient Greek and Roman ethics, epistemology, logic, and science.
Автор: Mancosu Paolo Название: The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940 ISBN: 0198701519 ISBN-13(EAN): 9780198701514 Издательство: Oxford Academ Рейтинг: Цена: 71810.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the twentieth century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz