Johan van Benthem on Logic and Information Dynamics

ISBN-10: 3319060252
ISBN-13: 9783319060255
Category: Philosophy
Pages: 1027
Language: English
Published: 2014-08-27
Publisher: Springer
Authors: Alexandru Baltag, Sonja Smets

Description

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations.

Get the book

Similar books

Logical Dynamics of Information and Interaction
By Johan van Benthem
This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples.
Exploring Logical Dynamics
By Johan F. A. K. van Benthem
This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics.
Logic in Games
By Johan van Benthem
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.
Modal Logic for Open Minds
By Johan van Benthem
In "Modal Logic for Open Minds", Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various...
Logical Dynamics of Information and Interaction
By Johan van Benthem
This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents with conversation, argumentation and games as guiding examples.
Language in Action: Categories, Lambdas and Dynamic Logic
By Johan van Benthem
This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic.
Essays in Logical Semantics
By Johan van Benthem
This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows.
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic
By Hiroakira Ono, Fenrong Liu, Junhua Yu
More specifically. The book also presents the latest developments in logic both in Asia and beyond. This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018.
Dynamic Epistemic Logic
By Wiebe van der Hoek, Hans van Ditmarsch, Barteld Kooi
This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers.
Handbook of Logic and Language
By Alice ter Meulen, Johan F.A.K. van Benthem
This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective.