Open Access
A Mini-Guide to Logic in Action
J.F.A.K. van Benthem
- Iss: 02
Reads0
Chats0
TLDR
In this article, it was shown that asking questions and giving answers are just as much logical core activities as drawing conclusions, and that the natural dynamic counterpart of static epistemic logic is the theory of arbitrary individual or social learning mechanisms.Abstract:
Classical logic is about propositions which we can know or believe, and unchanging inferential relationships between them. But inference is first and foremost an activity, for which propositions are merely the input, and the result. In recent years, there has been a growing awareness that various activities of reasoning, evaluation, belief revision, or communication, are themselves typical themes for logical investigation, and that their dynamic structure can be studied explicitly by logical means. 1 For instance, it seems strange to study only the statics of what it means to 'know' a proposition, when knowledge usually results from basic actions of learning that we perform all the time, such as asking a question and getting an answer. Indeed, asking questions and giving answers are just as much logical core activities as drawing conclusions! This line can be extended: the natural dynamic counterpart of static epistemic logic is the theory of arbitrary individual or social learning mechanisms. Similar trajectories from static to dynamic arise when we look at inference in such stages, first as a zero-agent mathematical relationship between static propositions, then as a one-agent activity of drawing conclusions, and finally as a many-agent interactive process of argumentation. This broadening of perspective, sometimes called the 'Dynamic Turn', started around 1980 with work on interpretation procedures for natural language, as well as belief revision in artificial intelligence. But how should logic incorporate actions as first-class citizens into its scope? Plausible formal frameworks to this effect come from the philosophy of action, temporalread more
Citations
More filters
Changing for the better : preference dynamics and agent diversity
TL;DR: In this article, it was shown that the product update problem in tree-like structures is equivalent to perfect recall and uniform no learning in the model Tree(M,A) and that it is possible to construct a tree with perfect recall.
Journal ArticleDOI
Diversity of Logical Agents in Games
Johan van Benthem,Fenrong Liu +1 more
TL;DR: In this article, the agents epistemiques peuvent avoir different pouvoirs d’observation and de raisonnement, and nous montrons comment cette diversite prend place en logique dynamique de mise a jour.
Book ChapterDOI
Open Problems in Logical Dynamics
TL;DR: A survey of conceptual issues and open mathematical problems emanating from the development of 'dynamic epistemic logics' for dealing with information, communication, and interaction as developed in AI and related areas.
Journal ArticleDOI
The dynamic turn in quantum logic
Alexandru Baltag,Sonja Smets +1 more
TL;DR: It is shown how ideas coming from two areas of research in logic can reinforce each other, and the basic ingredients of Dynamic Quantum Logic are explained.
Journal Article
Cognition as Interaction
TL;DR: It is shown how logical methods provide exact models for the relevant information flow and world change in linguistic communication and games and possible connections in this arena between logico-computational approaches and experimental cognitive science are discussed.
References
More filters
Book
Evolutionary games and population dynamics
Josef Hofbauer,Karl Sigmund +1 more
TL;DR: In this book the authors investigate the nonlinear dynamics of the self-regulation of social and economic behavior, and of the closely related interactions among species in ecological communities.
Book
Handbook of logic in artificial intelligence and logic programming (vol. 1)
TL;DR: In this paper, the authors refer to break the boredom in reading is choosing handbook of logic in artificial intelligence and logic programming vol 3 nonmonotonic reasoning as the reading material.
Book
Belief Revision
Peter Gärdenfors,Hans Rott +1 more
TL;DR: Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence as mentioned in this paper, which addresses the problem of updating a database of knowledge in the light of new information and what to do in the case where new information is in conflict with something that was previously held to be true.
Book ChapterDOI
The logic of public announcements, common knowledge, and private suspicions
TL;DR: This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language and contains the infinitary operators used in the standard modeling of common knowledge.
Journal ArticleDOI
Defaults in update semantics
TL;DR: In this article, the authors introduce the framework of update semantics and explain what kind of semantic phenomena may successfully be analyzed in it and give a detailed analysis of one such phenomenon: default reasoning.