本文旨在论证，戴维森式意义理论不能采取塔尔斯基式真理理论的形式。其主要论可以陈述如下：设L是一个自然语言，S是L一个任意语句，U是S的一个任意陈说（utterance）。考虑到S由其各个组成成分组成这一事实，人们可以提出这样一个问题：U的真值条件的确定...[详细]
一直以来逻辑规则被认为是人们进行正确推理的依据。但是，1966年沃森选择任务（Wason selection task）实验的结果似乎表明人们的实际推理可能不遵守逻辑规则。这一问题已成为认知科学的一个最重要问题之一，逻辑学家和心理学家也一直争论到现在。 [详细]
“一个三段论有且只有三个概念”是构成三段论的条件，不是三段论规则。对当关系中的真假不定不能看作是一简单命题用于假言三段论。词项逻辑中涉及预设的地方仅为有限量换位推理，两个全称前提推出特称结论的三段论推理及反对关系推理和下反对关系推理；所...[详细]
汉语量词特别丰富,可以作为讨论概念数量限制的基础。汉语量词对名词性概念具有限制作用。与概念的属性限制一样，量词限制也导致概念降级，即降低到该量词所限定的层级单位。汉语中的数词一般与量词结合使用，表明数是量的数。量词命题应包括主项受各种数量...[详细]
本文意图将Lambek演算LC中的范畴概念推广到模糊模糊范畴，从而使LC推广为模糊Lambek演算FLC，并给出易于应用的简化演算FLC*。通过示例的成功应用，说明FLC是LC的一种合适的推广. [详细]
首先，我们构造动态认知条件句系统DEC2，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述DEC2的特征公理的框架条件，证明DEC2相对这些框架条件是框架可靠的。最后，我们证明DEC2相对这些框架条件也是框架完全的。 [详细]
首先，我们讨论两个主体之间的弱欺骗与强欺骗。其次，我们讨论两群主体之间的弱欺骗与强欺骗。再次，我们讨论单个主体的弱自我欺骗与强自我欺骗。最后，我们给出一个非保守扩充系统DE2。 [详细]
表征理论是近期西方分析哲学研究的一个核心领域, 并对相关学科有着相当大的影响。 已经有不少的理论被提出来, 但目前仍没有一个为大家都能接受的理论。本文试图综述当前最有影响的几个表征理论, 并给出一定的历史背景和个人评论。 [详细]
本刊上期的文章《动态认知条件句逻辑DEC1》中的定义3.9（b）的N(a, w)表述有误[详细]
描述人的风险决策行为的前景理论(Prospect Theory) 使Kahneman于2002年获得诺贝尔奖。本文首先介绍前景理论产生之前关于风险决策行为的一个主流理论：期望效用理论(Expected Utility Theroy)；然后介绍Kahneman等的一系列实验事实对期望效用理论作为描述性...[详细]