Dynamic epistemic logic (DEL) is a logical framework dealing with knowledge and information change. Typically, DEL focuses on situations involving multiple agents and studies how their knowledge changes when events occur. These events can change factual properties of the actual world (they are called ontic events): for example a red card is painted in blue. They can also bring about changes of knowledge without changing factual properties of the world (they are called epistemic events): for example a card is revealed publicly (or privately) to be red. Originally, DEL focused on epistemic events. We only present in this entry some of the basic ideas of the original DEL framework; more details about DEL in general can be found in the references. Due to the nature of its object of study and its abstract approach, DEL is related and has applications to numerous research areas, such as computer science (artificial intelligence), philosophy (formal epistemology), economics (game theory) and cognitive science. In computer science, DEL is for example very much related to multi-agent systems, which are systems where multiple intelligent agents interact and exchange information. As a combination of dynamic logic and epistemic logic, dynamic epistemic logic is a young field of research. It really started in 1989 with Plaza’s logic of public announcement. Independently, Gerbrandy and Groeneveld proposed a system dealing moreover with private announcement and that was inspired by the work of Veltman. Another system was proposed by van Ditmarsch whose main inspiration was the Cluedo game. But the most influential and original system was the system proposed by Baltag, Moss and Solecki. This system can deal with all the types of situations studied in the works above and its underlying methodology is conceptually grounded. We will present in this entry some of its basic ideas. Formally, DEL extends ordinary epistemic logic by the inclusion of event models to describe actions, and a product update operator that defines how epistemic models are updated as the consequence of executing actions described through event models. Epistemic logic will first be recalled. Then, actions and events will enter into the picture and we will introduce the DEL framework. (Wikipedia).
Discrete-Time Dynamical Systems
This video shows how discrete-time dynamical systems may be induced from continuous-time systems. https://www.eigensteve.com/
From playlist Data-Driven Dynamical Systems
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Dynamic equations on time scales
An introductory presentation on dynamic equations on time scales and uniqueness of solutions including new research resutls. The basic ideas of time scale calculus are presented and then a new theorem is discussed under which general initial value problems have, at most, one solution. T
From playlist Mathematical analysis and applications
Stanford Seminar - On the Origin of Experience: The Shaping of Sense and the Complex World
"On the Origin of Experience: The Shaping of Sense and the Complex World" -Steven Ericsson-Zenith Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to
From playlist Engineering
Post-Talk Conversation, “Are Scientific Models Fictions? Model-Based Science as Epistemic Warfare”
Post-Talk Conversation between Lorenzo Magnani, Department of Humanities, Philosophy Section and Computational Philosophy Laboratory, University of Pavia, Italy and James Weatherall, Department of Logic and Philosophy of Science, University of California, Irvine. In the current epistemol
From playlist Franke Program in Science and the Humanities
Topics in Dynamical Systems: Fixed Points, Linearization, Invariant Manifolds, Bifurcations & Chaos
This video provides a high-level overview of dynamical systems, which describe the changing world around us. Topics include nonlinear dynamics, linearization at fixed points, eigenvalues and eigenvectors, bifurcations, invariant manifolds, and chaos!! @eigensteve on Twitter eigensteve.co
From playlist Dynamical Systems (with Machine Learning)
Inference in a Nonconceptual World, Brian Cantwell Smith and Joseph T. Rouse
Brian Cantwell Smith, Reid Hoffman Professor of Artificial Intelligence and the Human, University of Toronto. Moderated conversation with Joseph T. Rouse, Department of Philosophy, Wesleyan University. Classical models of inference, such as those based on logic, take inference to be *conce
From playlist Franke Program in Science and the Humanities
Paola Cantù : Logic and Interaction:pragmatics and argumentation theory
HYBRID EVENT Recorded during the meeting "Logic and transdisciplinarity" the February 11, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiov
From playlist Logic and Foundations
Introduction to Parametric Equations
This video defines a parametric equations and shows how to graph a parametric equation by hand. http://mathispower4u.yolasite.com/
From playlist Parametric Equations
SYN124 - The Function of the Verb - Mood and Modality
In this final E-Lecture of the series functional aspects of the verb, Prof. Handke discusses the notions of mood and modality. He exemplifies the rudimentary mood system in PDE and discusses the three modlities, dynamic, deontic, and epistemic in detail.
From playlist VLC201 - The Structure of English
Where 2012, Adam Greenfield, "Ultramapping: The New Geospatial Awareness"
We are collectively experiencing the most significant single evolution in mapping since someone first scratched plans on papyrus. One relatively recent and very simple intervention, made possible by the lamination together of three or four different kinds of technology, has completely chan
From playlist Where 2012
Separable differential equations
Download the free PDF http://tinyurl.com/EngMathYT A basic lesson on how to solve separable differential equations. Such equations have important applications in the modelling of dynamic phenomena.
From playlist A second course in university calculus.
B01 An introduction to separable variables
In this first lecture I explain the concept of using the separation of variables to solve a differential equation.
From playlist Differential Equations
Language & Social Ontology (John Searle)
A wonderful talk given by John Searle at the University of Oslo back in 2011 on language and social ontology. He attempts to explain the distinctive features of human civilization. Animals have forms of social organization and communication, but they do not have money, property, government
From playlist Social & Political Philosophy
Differential Equations and Dynamical Systems: Overview
This video presents an overview lecture for a new series on Differential Equations & Dynamical Systems. Dynamical systems are differential equations that describe any system that changes in time. Applications include fluid dynamics, elasticity and vibrations, weather and climate systems,
From playlist Engineering Math: Differential Equations and Dynamical Systems
John Dunn on Diagnosing Democracy's Power
John Dunn, a political theorist and emeritus Professor of Political Theory at King's College, Cambridge, gave a series of four lectures on "Beyond the Democratic Maze" for the Henry L. Stimson Lecture on World Affairs.
From playlist The MacMillan Center
Infinitesimals in Synthetic Differential Geometry
In this video I describe the logic of Synthetic Differential Geometry. This is a non-constructive theory collapsing in the presence of the law of excluded middle. As a logic al theory, it can be realized in a topos and it has sheave models giving a nice representation of tangent bundles.
From playlist Algebra
Inference in a Nonconceptual World, Brian Cantwell Smith
Brian Cantwell Smith, Reid Hoffman Professor of Artificial Intelligence and the Human, University of Toronto Classical models of inference, such as those based on logic, take inference to be *conceptual* – i.e., to involve representations formed of terms, predicates, relation symbols, and
From playlist Franke Program in Science and the Humanities
Ludovic Rifford : Geometric control and dynamics
Abstract: The geometric control theory is concerned with the study of control systems in finite dimension, that is dynamical systems on which one can act by a control. After a brief introduction to controllability properties of control systems, we will see how basic techniques from control
From playlist Dynamical Systems and Ordinary Differential Equations
Are Scientific Models Fictions? Model-Based Science as Epistemic Warfare, Lorenzo Magnani
In the current epistemological debate, scientific models are not only considered as useful devices for explaining facts or discovering new entities, laws, and theories. They are also rubricated under various new labels: from the classical ones, as abstract entities and idealizations, to
From playlist Franke Program in Science and the Humanities