面向信息论的证明语义学

信息是当代最广泛讨论的概念之一。尽管已有大量深刻的工作，但尚未获得令人信服的逻辑或数学基础。没有这些，我们缺乏充分的推理工具来理解社会所依赖的复杂系统生态系统。我们致力于通过证明语义学发展一个信息的推论主义论述。该论述包含三个关键相互作用的组成部分。第一，概念分析：信息的形而上学。Dretske 以意向性、真实和可传递性表达信息的关键概念。我们用可推论性取代真实性，并追踪这一替换的后果。第二，逻辑：证明语义学 (P-tS) 为推论主义推理提供了数学-逻辑实现。运用 P-tS，我们发展了对信息原初单元、'inferon' 的数学-逻辑理论的 first steps。该证明方法与 situation theory 中信息的模型论观点相对照。此外，我们认为它有助于解决 van Benthem 和 Martinez 对信息理解的三个组成部分：范围、相关性和编码。我们的焦点是信息作为相关性。第三，系统：我们发展的 P-tS 工具为分布式系统建模的数学账户提供了基础——这是信息科学中理解信息处理系统组织的关键工具。这产生了一个基于推理的信息流理论，用于分布式系统的模型。总体而言，我们致力于为信息及其在信息科学中的作用提供一个概念上严谨的数学-逻辑论述，基于推理和推理。