论欧拉图和文恩图检验三段论有效式

欧拉图和文恩图作为逻辑学的辅助手段,对我们理解直言三段论的逻辑性质有帮助作用,但用欧拉图和文恩图来检验三段论有效式的有效性时会出现不同的问题,这对我们正确理解三段论会造成一定的困难。在这篇文章中,我将这两种图解法应用于三段论时可能出现的问题列举出来,希望在逻辑教学中对正确理解三段论有效式的有效性有帮助。

再论“因三相”正本清源——兼答姚南强先生

运用因明与逻辑的基本常识,对姚南强《再论“因三相”———对郑伟宏〈“因三相”正本清源〉的几点质疑》一文进行反质疑。

一阶逻辑中概念的图形表示

由于数理逻辑非常抽象,我们很难用图示的方法给以表达。但是图示法在逻辑学中是行之有效的方法。本文试图采用文恩图方法,用封闭图形表示集合,特别用圆表示一阶逻辑的合式公式集,用一直径表示对称轴,把一阶逻辑的公式分为相矛盾的两组。这样便能较好地表达一阶逻辑和模型论中的一些概念和命题。

论逻辑图的表达能力

随着新句法机制的引入,逻辑图的表达能力不断得到提高:文恩图在表达能力上等价于不带等词的一元一阶逻辑,蜘蛛图等价于带等词的一元一阶逻辑,而建立在约束图基础上的"可视一阶逻辑"被证明具有一阶谓词逻辑的表达能力。研究逻辑图表达能力的一个重要意义在于,图式逻辑可能有望为一阶逻辑产生重要的可判定片段。

虚概念讨论中的一个症结问题

近几年,逻辑界围绕虚概念问题展开了许多讨论。尽管对于虚概念是不是概念,概念有没有虚实之分,虚概念有没有内涵和外延,虚概念是否就是虚假概念,概念有没有真假之分等一系列相关问题,都存在着不同的观点;但是,这种讨论是有益的,它扩展并深化了人们对概念这一思维形式的认识。由于认识上不同观点的存在,迄今逻辑界对虚概念连个统一的名称也没有,见之于近几年出版的形式逻辑著作和论文的有关虚概念的语词形式有:虚假概念,虚构概念,虚幻概念,非真实概念,非实在概念,虚概念,空概念,空类概念,等等。

建立一个多元网络结构的逻辑课程体系的构想

改革现行的高校的形式逻辑课程问题,已是我国高等院校教学改革中的一个十分重要的课题。逻辑界的学者已对这门课程的体系、内容、教学方法等一系列问题,提出了各种改革的意见、方案、计划和设想,开展了严肃而热烈的讨论。有的还编写了课程改革的详细提纲,有的着手编写新的教材。齐放百花,景象喜人。笔者研究了一些有关逻辑学课程改革的意见、计划、设想、提纲和教材,也对逻辑课程体系作了一个多元网络结构的初步构想。

从普通逻辑不处理空类所带来的局限性看普通逻辑教学的改革

在普通逻辑的教学中,经常有学生问到这么一个问题:运用换质位法,经过戾换,结果从前提 SAP 推出了(?)P 的结论,其中P 在 SAP 中不周延,而在(?)P 中却周延了,这不是违反了换位法的规则吗?我们现行的普通逻辑教材,对这个问题一般都避而不谈,这给教学带来了一定的困难。本文想通过分析为什么 SAP 经过连续换质位,所获得的结论与换位法的规则有矛盾,来说明普通逻辑教学改革的必要性及改革的方向。