文章从思维学视野比较讨论古代蒙古人原始思维形成的若干特征、形式以及结构。[详细]
在哲学界，很少有人不知道塔尔斯基的真值条件语义学，在每一本“现代西方哲学”、“语言哲学”方面的教材或专著中，我们都可以找到相关的内容。但这方面的研究就目前来看，至少还存在两个方面的问题：第一，有些提法是不准确的，如“T约定即真句子的定义”...[详细]
本文说的“辩证思维”指个人当下运用辩证思维形式和满足辩证思维规律的思考活动。笔者认为这种辩证思维是不存在的。不能把用辩证观指导的认知称作辩证思维。理由是 1、辩证观未改变人的思维机能。 2、辩证观未改变人的思维性能。 3、所谓的具体概念、辩证...[详细]
怀疑逻辑是关于人们合理怀疑的逻辑。如果说知道逻辑、信念逻辑等是“正”的逻辑的话，怀疑逻辑则是“负”的逻辑。将怀疑算子D加于命题之上就构成怀疑命题。笛卡尔的“我思，故我在”可以作为怀疑逻辑的特征公理：某人怀疑p，蕴涵着他对怀疑p是不可怀疑的―...[详细]
人工智能科学，从其诞生之日起便与逻辑学密不可分，二者的共同发展促进了用机器模仿人类思维的智能学的进步。本文首先对传统的几种经典逻辑和非经典逻辑大致做一介绍，然后重点讲述泛逻辑以及三值概率逻辑的基本原理。最后根据对多种逻辑的分析，阐述了对...[详细]
本文试图建立一种公理化的哲学认知体系。首先分析了认知体系的可靠性问题，提出了检验更为可靠的认知体系的标准，然后在重新界定几个基本概念的基础上构建出一种认知算法，提出了认知的模型原理。作为应用，分析了人脑的认知特点，结果表明，人脑的认知符...[详细]
本文以现代命题逻辑为分析工具，证明了：在正命题逻辑系统的基础上，反证法的证明能力强于归谬法，它们之间相差一个双重否定律；归谬律与不矛盾律加上充分条件否定后件律相等价；反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理否定肯定律相等价。[详细]
本文把系统Z的括号记法推广到一阶情形，建立了一阶逻辑的一个表列系统[详细]
《墨经》中研究的推类，是根据两个对象在本质上相同，从一个对象具有某种属性推出另外一个对象也具有该种属性的推理。推类离不开对对象的具体分析，所以《墨经》的推类理论包括有关类的理论和认识论的内容于其中。《墨经》推类理论的主要特点是非形式的，...[详细]
本文考察逻辑图从其古典形式走向形式化的发展历程[详细]