Speaker: Johan van Benthem
Date and Time: Thursday, February 6th 2020, 16:30-18:00
Venue: ILLC Seminar Room F1.15, Science Park 107.
Title: A Minimal Classical Logic of Functional Dependence
Dependence is a ubiquitous notion in science and daily life, and several logical approaches exist for capturing its basic properties. In this talk, we analyze dependence reasoning using a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms and dependence quantifiers, modeled in the setting of generalized assignment semantics for FOL.
The logic’s expressive strength, complete proof calculus and meta-properties are sketched. Also some language extensions are explored, as well as boundaries with undecidable logics for independence. Finally, connections are discussed with more concrete settings for dependence, including linear dependence in vector spaces, and temporal dependence in dynamical systems and games.
Further technical details and topics will be presented by Alexandru Baltag in a follow-up LIRA talk.