English

Knowability as continuity: a topological account of informational dependence

Logic 2024-01-17 v1 Logic in Computer Science

Abstract

We study knowable informational dependence between empirical questions, modeled as continuous functional dependence between variables in a topological setting. We also investigate epistemic independence in topological terms and show that it is compatible with functional (but non-continuous) dependence. We then proceed to study a stronger notion of knowability based on uniformly continuous dependence. On the technical logical side, we determine the complete logics of languages that combine general functional dependence, continuous dependence, and uniformly continuous dependence.

Keywords

Cite

@article{arxiv.2401.06962,
  title  = {Knowability as continuity: a topological account of informational dependence},
  author = {Alexandru Baltag and Johan van Benthem},
  journal= {arXiv preprint arXiv:2401.06962},
  year   = {2024}
}

Comments

65 pages