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

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

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

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

成为VIP会员查看完整内容
42

相关内容

信息,指音讯、消息、通讯系统传输和处理的对象,泛指人类社会传播的一切内容。
【干货书】机器学习算法视角,249页pdf
专知会员服务
133+阅读 · 2021年10月18日
【硬核书】演化、信息和复杂性的数学分析,504页pdf
专知会员服务
77+阅读 · 2021年9月2日
【干货书】概率与信息,一种集成方法,291页pdf
专知会员服务
58+阅读 · 2021年9月1日
专知会员服务
113+阅读 · 2021年8月4日
自然语言处理现代方法,176页pdf
专知会员服务
262+阅读 · 2021年2月22日
【干货书】知识图谱与大数据处理,212页pdf
专知会员服务
117+阅读 · 2021年2月2日
专知会员服务
120+阅读 · 2020年11月25日
【硬核书】不完全信息决策理论,467页pdf
专知会员服务
334+阅读 · 2020年6月24日
【干货书】计算机科学离散数学,627页pdf
专知
53+阅读 · 2020年8月31日
421页《机器学习数学基础》最新2019版PDF下载
论文浅尝 | Knowledge Vault: 全网规模的知识概率融合方法
开放知识图谱
8+阅读 · 2019年3月11日
自然语言处理(NLP)知识结构总结
AI100
51+阅读 · 2018年8月17日
论文浅尝 | Leveraging Knowledge Bases in LSTMs
开放知识图谱
6+阅读 · 2017年12月8日
构建AI知识体系-专知主题知识树简介
专知
339+阅读 · 2017年9月17日
Arxiv
99+阅读 · 2020年3月4日
Knowledge Distillation from Internal Representations
Arxiv
4+阅读 · 2019年10月8日
Arxiv
20+阅读 · 2019年9月7日
Knowledge Representation Learning: A Quantitative Review
Arxiv
7+阅读 · 2018年3月21日
Arxiv
5+阅读 · 2015年3月1日
VIP会员
相关VIP内容
【干货书】机器学习算法视角,249页pdf
专知会员服务
133+阅读 · 2021年10月18日
【硬核书】演化、信息和复杂性的数学分析,504页pdf
专知会员服务
77+阅读 · 2021年9月2日
【干货书】概率与信息,一种集成方法,291页pdf
专知会员服务
58+阅读 · 2021年9月1日
专知会员服务
113+阅读 · 2021年8月4日
自然语言处理现代方法,176页pdf
专知会员服务
262+阅读 · 2021年2月22日
【干货书】知识图谱与大数据处理,212页pdf
专知会员服务
117+阅读 · 2021年2月2日
专知会员服务
120+阅读 · 2020年11月25日
【硬核书】不完全信息决策理论,467页pdf
专知会员服务
334+阅读 · 2020年6月24日
相关论文
微信扫码咨询专知VIP会员