国家社会科学基金(05CZX016)
- 作品数：3 被引量：9H指数：2
- 相关作者：刘新文更多>>
- 相关机构：中国社会科学院哲学研究所更多>>
- 发文基金：国家社会科学基金中国社会科学院青年科研启动基金更多>>
- 相关领域：哲学宗教理学自动化与计算机技术更多>>
- 皮尔士存在图研究被引量：3
- 2006年
- 存在图是现代逻辑草创时期皮尔士在其关系演算和谓词逻辑的基础上发展起来的、表示逻辑句子和推理的图式系统,是皮尔士用来证明其形而上学的工具,它的重要性直到计算机表示的图示推理得到发展后才得以确认。本文首先以经典逻辑为背景研究存在图的各个部分,然后讨论存在图在当代许多学科领域的回应和应用以及它在逻辑史上的地位,最后考察存在图对于皮尔士形而上学的意义。
- 刘新文
- 关键词：皮尔士符号逻辑
- 逻辑图:从古典到形式化的发展被引量：4
- 2006年
- 古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。
- 刘新文
- 关键词：逻辑图
- 皮尔士逻辑语义学思想被引量：2
- 2008年
- 模型论肇始于20世纪30年代初期,一般追溯到塔尔斯基、马尔捷夫以及罗宾逊等,"成名"于20世纪50年代。皮尔士19世纪的工作已经开始了命题逻辑的可能世界语义学分析,也开始了多模态和量化模态逻辑的可能世界语义学分析。本文将从量词、模态词、逻辑联结词以及存在图等方面来整理C S皮尔士的博弈论语义学和可能世界语义学等模型论思想。
- 刘新文
- 关键词：量词可能世界语义学
