本文通过区分Tarski式真定义的普遍特征和具体的定义形式，并对不同语言构造具有不同语义特征的定义实例，揭示出Tarski所持的是一种工具论的语义立场。从这种立场出发所给出的真定义并不是符合论，也无法对真概念给出充分的哲学说明。在此基础上我们分析Ta...[详细]
客观事物映到人脑里的感性形象能够在思维中独立自由地运用，因而就具有概念资格。在此基础上，经过层层抽象概括产生出来的单独概念、普遍概念都由感性形象与概念形象所构成，并具有金字塔式的立体结构。由此在人脑里建立起来的概念系统是一个多层次、多支...[详细]
本文旨在论证，塔尔斯基所给出的T-约定的表述不精确；而T-约定的精确表述一旦给出，则说谎者悖论与增强型说谎者悖论均不可能被导出。[详细]
从Cw.去掉双重否定律可得到一个比科斯塔弗协调逻辑系统Cw.更小的系统。它有一个克里普克语义解释；论文证明了该系统相对于该解释既是可靠的又是完全的。[详细]
对相干性的研究源远流长。迄今，至少形成论辩理论（非形式逻辑）、言语交际理论和形式逻辑三个主要方向。非形式逻辑对相干性的研究，已从对作为产品的论证的前提（命题）相干性的研究，向作为过程的论证即论辩的辩证相干性研究转变。相干性研究就此获得丰...[详细]
心智逻辑理论是当前研究心理推理的主流理论之一。本文试图从立论基础、核心理论和实验方法角度评介该理论并提出该理论的开放问题，为当前的心理推理研究提供可能研究的切入点和方向。[详细]
基于D-S理论的随机译码器解释，我们可以利用概率论表达该理论的基本概念和证据组合规则。在此基础上，我们分析D-S理论中一个悖论产生的原因。[详细]