2000 character limit reached
Knowability as continuity: a topological account of informational dependence (2401.06962v1)
Published 13 Jan 2024 in math.LO and cs.LO
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.
- Domain Theory. Departments of Computer Science, University of Birmingham and Oxford University.
- Truth-tracking by belief revision. Studia Logica, 107:917 – 947.
- Dynamic epistemic logic. Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/.
- Learning what others know. In Kovacs, L. and Albert, E., editors, Proceedings of LPAR ’23, volume 73 of EPiC Series in Computing, pages 90–100.
- Some thoughts on the logic of imprecise measurement. In Ying, X., editor, Xuebufendongxi: Essays in Tsinghua Philosophy, pages 329 – 364. Tsinghua University Press.
- A simple logic of functional dependence. J. Phil. Log., 50:939–1005.
- Dependence logics in temporal settings.
- Topological dependence, approximation dynamics, and domain theory. Working paper, ILLC, University of Amsterdam.
- Situations and Attitudes. The MIT Press, Cambridge MA.
- Information Flow. The Logic of Distributed Systems. Cambridge University Press, Cambridge UK.
- Everywhere surjections and related topics: Examples and counterexamples. Le Matematiche, LXXIII, pages 71–88.
- Modal Logic. Cambridge University Press.
- Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic, pages 73–110.
- Dretske, F. (1983). Knowledge and the Flow of Information. The MIT Press.
- Goodstein, R. (1961). Recursive Analysis. Dover Books, Minneola NY.
- Isbell, J. (1964). Uniform Spaces. American Mathematical Society, Providence.
- Kelly, K. (1996). The Logic of Reliable Inquiry. Oxford University Press, Oxford.
- Dynamic topological logic. In Handbook of Spatial Logics, pages 565–606. Springer.
- Lorenz, E. (1995). The Essence of Chaos. The University of Washington Press, Seattle.
- The algebra of topology. Ann. of Math., 45:141–191.
- Väänänen, J. (2007). Dependence Logic: Theory and Applications. Cambridge University Press, Cambridge UK.
- van Benthem, J. (2011). Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge UK.
- Modal logics of space. In Aiello, M., Pratt-Hartman, I., and van Benthem, J., editors, Handbook of Spatial Logics, pages 217–298. Springer Science, Heidelberg.
- Handbook of Epistemic Logic. College Publications, London.
- Vickers, S. (1996). Topology via Logic. Cambridge University Press, Cambridge UK.
- Willard, S. (1970). General Topology. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont.
- Ye, L. (2022). A structural study of information in a logical perspective. Bachelor’s thesis, Tsinghua University.