简介：知道者悖论产生的根源在于“知道”一词的意义的模糊性。现代逻辑追求对“知道”的明晰表达，但对于“知道”本身缺乏深入的反省。本文从语义分析的角度出发给出了一个相对稳定的“知道模型”，此模型可以作为认识论逻辑的语义基础。在这个模型中，“时间秩序”是核心概念。

简介：本文由悖论非存在定理之引理推得一个重要推论——所谓“悖论”既有可能是非真非假的单义句也有可能是多义句，并进而论证了所有典型“语义悖沦”均属后一种情况，根本就不是什么真正意义上的悖论，从而彻底修正了克里普克的有关理论。

简介：基于不同历史文化背景而形成的不同逻辑传统，既有共同性，又有特殊性。因此，两种逻辑的比较研究只有建基于历史分析与文化诠释之上，才能对它们的异同作出合理的分析与说明。墨家逻辑依托于先秦文化，亚里士多德逻辑依托于古希腊文化。两种文化有不同的特征和需求。不同文化的特征和需求，产生了两种不同的逻辑。两种逻辑的差异主要表现为：目的与任务不同，逻辑特征不同，主导的推理类型不同，推理成分的分析不同，后续发展状况不同。

简介：本文主要对金岳霖先生20世纪20-40年代逻辑思想进行较全面的研究。金岳霖对传统逻辑进行了创造性的介绍和深刻的批评；对罗素、怀特海《数学原理》的逻辑演算作了全面介绍；另外金先生深入思考逻辑哲学问题，精辟而系统讨论逻辑演算，在我国最早讨论了逻辑的完全性、一致性和独立性。金先生堪称我国现代逻辑和逻辑哲学的奠基人。

简介：论文认为强化前件规则对虚拟条件句确实足失效的，但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件：对一个命题的某个部分实施替换，要求所利用的同一性在该命题的模态下也成立，则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。

简介：本文介绍了双主体认知逻辑的语义学，给出了双主体认知逻辑的若干系统。这些系统刻画了寻找交流对象和学习对象的条件。而且证明了这些系统的可靠性和其中一些系统的完全性。

简介：认知悖论总是相对于一定的认知主体或某一认知系统而言的。认知悖论的产生既离不开具体的认知主体的背景知识和某些假定的前提条件，也离不开具体的认知主体的逻辑推论。因而不能简单地把认知悖论归结为一种特殊的命题。与逻辑悖论和语义悖论相比，认知悖沦涉及到具体的认知主体及其心理状态，因而其推论过程更具有复杂性。认知悖论的推论不仅涉及到自指性问题的纠缠，而且建构认知悖论的严格形式，还需要发现一种真正的悖论性难题的严格公式化描述，而这样做将会导致重要的技术性进步。认知悖论是挑战人类理性思维和科学发展的难题，研究认知悖论具有十分重要的理论意义和现实意义。

简介：弗雷格认为，逻辑研究真，是关于实真的最普遍规律的科学；逻辑的任务是仅仅说明最普遍的东西，对所有思维领域都有效的东西。弗雪格运用逻辑与语言相结合的分析方法探讨“真”，通过严格的形式语言和系统的逻辑演算的方法求真。他的论述涉及逻辑研究的对象及方式，逻辑和心理学的区别，这些论述反映了他对逻辑这门学科性质的独特认识，他的观点对现代逻辑和20世纪哲学的发展造成了重大影响。

简介：毛泽东早期的逻辑观念，不但是指他早期对逻辑的认知，也包括他早期遵守逻辑的愿望和习惯。毛泽东在长期学习、研究和运用逻辑中，逐渐形成、改变和发展了自己的逻辑观念。他提出扬弃性的逻缉研究原则，倡导批判性的逻辑研究方法，论述根本性的逻辑理论问题。毛泽东逻辑观念的转变和发展，肯定了形式逻辑的学科地位，明确了该学科的研究对象，推动了逻辑的传播和普及。

简介：本文讨论了以下几个问题：(1)“逻辑真”是否是真的一个子类?(2)逻辑作为度量真的测度标准之一。它如何实现这种标准?(3)逻辑真自身的理论说明依赖于怎样的观念?作者分析了以往哲学家、逻辑学家对这些问题的一些代表性看法，认为：(1)“逻辑真”不是真的一个子类；(2)逻辑真只能测量观念形式上的关系；(3)逻辑真是认识论意义上的概念，它的本体论说明是一个“自足观念模式”的良性内循环结构。

简介：毛泽东逻辑思想是其思想的重要组成部分。毛泽东是中国辩证逻辑的杰出代表，对传统逻辑理论提出了创造性的见解，对中国逻辑的普及和发展作出了重要贡献。

简介：