性质命题推理有效性的欧拉图解法判定

凡性质命题推理有效式,就是在欧拉图解中证明为前提真结论必然真的推理形式;凡性质命题推理无效式,就是在欧拉图解中证明为前提真结论并非必然真的推理形式。运用欧拉图解法要掌握三个要点:准确画图、准确识图和准确判定。判定三段论的有效性,要能根据假定前提为真时的大、小前提命题形式的欧拉图,准确无误地画出S、P、M三者外延关系的欧拉图。判定性质命题变形推理的有效性,必须把S、P两个主、谓项的欧拉图,改造成S、P、(?)、(?)四个主、谓项的欧拉图,并能准确识别四种性质命题形式欧拉图中S与P、S与(?)、(?)与P、(?)与(?)这四种外延关系分图。

欧拉图解在概念学习中的应用

概念的外延有大小之分。概念外延的大小及其关系可以借助圆圈图形来表示,这种方法在逻辑学上叫作欧拉图解法,又称欧拉逻辑图解法。欧拉图解法有助于培养逻辑思维能力、文本阅读能力和严谨认真的态度,对培养学生的持续学习能力和终身学习能力有很大的帮助。

更新三段论理论体系的我见

为了补救传统逻辑教材对三段论部分讲述的缺陷，本文从“提出三段论推理原则”、“深化对‘式’的研究”、“分格制定三段论推理的规则”、“引进现代逻辑的检验手段”四个方面提出了更新三段论理论体系的意见，对逻辑科学的现代化有一定的参考意义，特别是关于用真值在法与求合取范式法检验三段论推理有效性的问题，更有理论价值。