Authors
Rasmus K. Rendsvig
University of Copenhagen
Abstract
This thesis is on information dynamics modeled using *dynamic epistemic logic*. It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. The introduction situates DEL in the field of formal epistemology, exemplifies its use and summarizes the main contributions of the papers.Paper I models the information dynamics of the *bystander effect* from social psychology. It shows how augmenting the standard machinery of DEL with a decision making framework yields mathematically self-contained models of dynamic processes, a prerequisite for rigid model comparison.Paper II extrapolates from Paper I's construction, showing how the augmentation and its natural peers may be construed as maps. It argues that under the restriction of dynamics produced by DEL dynamical systems still falls a collection rich enough to be of interest. Paper III compares the approach of Paper II with *extensional protocols*, the main alternative augmentation to DEL. It concludes that both have benefits, depending on application. In favor of the DEL dynamical systems, it shows that extensional protocols designed to mimic simple, DEL dynamical systems require infinite representations. Paper IV focuses on *topological dynamical systems*. It argues that the *Stone topology* is a natural topology for investigating logical dynamics as, in it, *logical convergence* coinsides with topological convergence. It investigates the recurrent behavior of the maps of Papers II and III, providing novel insigths on their long-term behavior, thus providing a proof of concept for the approach.Paper V lays the background for Paper IV, starting from the construction of metrics generalizing the Hamming distance to infinite strings, inducing the Stone topology. It shows that the Stone topology is unique in making logical and topological convergens coinside, making it the natural topology for logical dynamics. It further includes a metric-based proof that the hitherto analyzed maps are continuous with respect to the Stone topology. Paper VI presents two characterization theorems for the existence of *reduction laws*, a common tool in obtaining complete dynamic logics. In the compact case, continuity in the Stone topology characterizes existence, while a strengthening is required in the non-compact case. The results allow the recasting of many logical dynamics of contemporary interest as topological dynamical systems.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,018
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 32 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

For a Topology of Dynamical Systems.Claudio Mazzola & Marco Giunti - 2016 - In Gianfranco Minati, Mario Abram & Eliano Pessa (eds.), Towards a Post-Bertalanffy Systemics. Springer. pp. 81-87.
The Topology of Justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
On the Import of Constraints in Complex Dynamical Systems.Cliff Hooker - 2013 - Foundations of Science 18 (4):757-780.
A Dynamical Model of Risky Choice.Marieke M. J. W. van Rooij, Luis H. Favela, MaryLauren Malone & Michael J. Richardson - 2013 - Proceedings of the 35th Annual Conference of the Cognitive Science Society 35:1510-1515.
Dynamic Topological Logic Interpreted Over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Complexly Organised Dynamical Systems.John D. Collier & Clifford A. Hooker - 1999 - Open Systems and Information Dynamics 6 (3):241–302.
Dynamical Systems and the Direction of Time.Claudio Mazzola - 2013 - In Pierluigi Graziani, Luca Guzzardi & Massimo Sangoi (eds.), Open Problems in Philosophy of Sciences. London: College Publications. pp. 217-232.
Pre-Cognitive Semantic Information.Orlin Vakarelov - 2010 - Knowledge, Technology & Policy 23 (1-2):193-226.
Computation, Dynamics, and Cognition.Marco Giunti - 1997 - Oxford University Press.

Analytics

Added to PP index
2018-02-20

Total views
10 ( #896,026 of 2,498,534 )

Recent downloads (6 months)
1 ( #426,098 of 2,498,534 )

How can I increase my downloads?

Downloads

My notes