可知性即连续性：信息依赖的拓扑学阐释

我们研究经验问题之间的可知信息依赖，将其建模为拓扑设定下变量之间的连续函数依赖。我们还以拓扑术语探讨了认知独立性，并证明它与函数依赖（但非连续依赖）是相容的。随后，我们进而研究了一种基于一致连续依赖的更强的可知性概念。在技术逻辑层面，我们确定了结合一般函数依赖、连续依赖和一致连续依赖的语言的完备逻辑。