-
题名他连A都知道——认知逻辑EK1-EK3
- 1
-
-
作者
李小五
-
机构
中山大学逻辑与认知研究所中山大学哲学系
-
出处
《现代哲学》
CSSCI
北大核心
2006年第1期122-132,共11页
-
基金
教育部哲学社会科学研究重大课题攻关项目(04JZD0006)成果之一
-
文摘
首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。
-
关键词
认知系统
邻域语义
框架可靠性
框架完全性
EK1-EK3
认知逻辑
-
Keywords
epistemic system
neighborhood semantics
frame soundness
frame completeness
-
分类号
B815.1
[哲学宗教—逻辑学]
-
-
题名真值条件内容非实在论
- 2
-
-
作者
周振忠
-
机构
中山大学逻辑与认知研究所
-
出处
《逻辑学研究》
2010年第3期80-90,共11页
-
文摘
错误论和非事实论是用语义方式表述的两种不同形态的非实在论,当中涉及"真"、"假"、"指称"、"真值条件"这样的语义概念。布高西昂认为,针对真值条件内容概念的错误论和非事实论是内在地不一致的,从而可以先验地予以拒绝。本文详细分析布高西昂的论证,揭示其论证的缺陷,以及分析布高西昂与其批评者达维特之间的争议,消除他们对用于表述非实在论的语义概念的误解,尝试为真值条件内容非实在论给出一致的表述。
-
关键词
真值条件
非实在论
不一致性
-
分类号
B81
[哲学宗教—逻辑学]
-
