【硬核书】信息与知识，220页pdf，Information and Knowledge

本书在建构型理论(CTT)的形式结构中发展了信息概念的哲学和逻辑解释，以一种与信息哲学的多种当代观点并行的方式。在此概念框架的基础上，提出了逻辑推导的解析性问题并提出了解决方案。

本文首先介绍了CTT的正式结构，特别关注了类型理论中被当前研究者忽视的一些主题。这个处理是特别为有哲学背景的逻辑学家制定的，但不忽略所有的技术和形式性质的完整制定。分析性的问题通过一个历史和理论导向的形式化被引入，从康德和博尔扎诺开始，随着它的发展，直到信息概念的引入，扩展了在当代Hintikka辩论中引入的一些研究线。信息的语义方法被重新考虑在一个建设性的方法认识论，导致知识系统的理论分析。这允许基于CTT的形式化的某些典型操作和Kripke模型的形式化属性的形式结构的表示，其中信息和知识的概念被定义为认识论上的不同。这些定义涉及到建构性认识论的扩展，为由验证的概念和相关的意义理论所决定的极其开放的问题提供了新的材料。

信息与知识为知识过程的建构性解释提供了一个有趣的新视角，表明了这种方法对认知问题的逻辑建模的可靠性，并从一个更重要的当代哲学视角提出了一个统一的框架。

https://www.springer.com/gp/book/9781402061691