Автор: 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.
Автор: Korhonen Anssi Название: Logic as Universal Science: Russell`s Early Logicism and Its Philosophical Context ISBN: 0230577008 ISBN-13(EAN): 9780230577008 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Logic as Universal Science offers a detailed reconstruction of the underlying philosophy in The Principles of Mathematics showing how Russell sought to deliver a death blow to the dominant Kantian view that formal logic is a concise and dry science and unable to enlarge our understanding.
Автор: Livingston Название: The Politics of Logic ISBN: 1138016764 ISBN-13(EAN): 9781138016767 Издательство: Taylor&Francis Рейтинг: Цена: 57150.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In this book, Livingston develops the political implications of formal results obtained over the course of the twentieth century in set theory, metalogic, and computational theory. He argues that the results achieved by thinkers such as Cantor, Russell, Godel, Turing, and Cohen, even when they suggest inherent paradoxes and limitations to the structuring capacities of language or symbolic thought, have far-reaching implications for understanding the nature of political communities and their development and transformation. Alain Badiou's analysis of logical-mathematical structures forms the backbone of his comprehensive and provocative theory of ontology, politics, and the possibilities of radical change. Through interpretive readings of Badiou's work as well as the texts of Giorgio Agamben, Jacques Lacan, Jacques Derrida, Gilles Deleuze, and Ludwig Wittgenstein, Livingston develops a formally based taxonomy of critical positions on the nature and structure of political communities. These readings, along with readings of Parmenides and Plato, show how the formal results can transfigure two interrelated and ancient problems of the One and the Many: the problem of the relationship of a Form or Idea to the many of its participants, and the problem of the relationship of a social whole to its many constituents.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Stefania Centrone Название: Logic and Philosophy of Mathematics in the Early Husserl ISBN: 9048132452 ISBN-13(EAN): 9789048132454 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text focuses on the first ten years of Edmund Husserl`s work, from the publication of his Philosophy of Arithmetic to that of Logical Investigations. It aims to locate this work in the fields of logic, philosophy of logic and philosophy of mathematics.
Автор: Shahid Rahman; John Symons; Dov M. Gabbay; jean pa Название: Logic, Epistemology, and the Unity of Science ISBN: 9048124867 ISBN-13(EAN): 9789048124862 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Explores through extensive co-operation, different ways of achieving the integration of science in all its diversity. This book offers essays from philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches.
Автор: Dov M. Gabbay; Franz Guenthner Название: Handbook of Philosophical Logic ISBN: 9400734603 ISBN-13(EAN): 9789400734609 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems."
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz