论替换中项法——对三段论方法的新探索 被引量：2

1

作者 戴春勤 《西北师大学报（社会科学版）》 CSSCI 北大核心 2009年第5期82-89,共8页

三段论的本质问题是在前提中的大、小项通过系词"是"或"不是"分别与中项直接联系的情况下,以何种方式发挥中项的"媒介"作用,使得大项和小项也用系词"是"或者"不是"直接联系起来来得... 三段论的本质问题是在前提中的大、小项通过系词"是"或"不是"分别与中项直接联系的情况下,以何种方式发挥中项的"媒介"作用,使得大项和小项也用系词"是"或者"不是"直接联系起来来得出结论。研究发现,中项发挥"媒介"作用的方式(或机制)是替换中项法。替换中项法是三段论的新方法,它能够一揽子解决三段论的推理问题、判定问题、证明问题和补充省略前提等问题;而规则法、文恩图解法和还原法等三段论方法一般只能解决其中某一个问题。此外,替换中项法还能够证明三段论传统规则。因此,替换中项法具有三段论其他方法无法比拟的优越性。 展开更多

关键词 三段论 替换中项法 三段论传统方法

下载PDF 职称材料

布尔逻辑思想初探

2

作者 杨日成 宁莉娜 《盐城工学院学报（社会科学版）》 2023年第3期22-25,共4页

以布尔命名的“布尔代数”作为数学分支,在现今计算机科学领域蓬勃发展,那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展,布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析,是凸... 以布尔命名的“布尔代数”作为数学分支,在现今计算机科学领域蓬勃发展,那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展,布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析,是凸显布尔逻辑思想当代价值的关键。 展开更多

关键词 布尔代数 通用语言 形式化的逻辑 直言三段论 逻辑学转向

下载PDF 职称材料

一个传统逻辑的难题 被引量：3

3

作者 李建华 陈波 《湖南师范大学社会科学学报》 CSSCI 北大核心 2010年第6期19-23,共5页

在传统逻辑中,有一个熟知的难题,即SAP→SEP'→P'ES→P'AS'→S'IP'→S'OP,在这个推理串中,每一步推理都是符合规则的,但总的结果却是违反规则的:在前提中不周延的词项P在结论中却变成周延的!这一结果是由... 在传统逻辑中,有一个熟知的难题,即SAP→SEP'→P'ES→P'AS'→S'IP'→S'OP,在这个推理串中,每一步推理都是符合规则的,但总的结果却是违反规则的:在前提中不周延的词项P在结论中却变成周延的!这一结果是由以下三个因素共同造成的:直言命题的主项存在假定,推理规则N:"在前提中不周延的词项在结论中不得周延",以及关于直言命题中主谓项周延性的四条规定。因此,要解决那个难题,我们至少有三种不同的选择:放弃主项存在假定,修改推理规则N,修改关于周延性的那些规定,而每一种选择都有可接受的后果和不可接受的后果,因而不是一个容易作出的选择。该难题仍然期待一个最终的系统解决方案。 展开更多

关键词 直言命题 直接推理 三段论 主项存在假定 周延性

下载PDF 职称材料

传统三段论的一个简明体系——基于直言命题语义与性质

4

作者 戴春勤 《毕节学院学报（综合版）》 2013年第3期44-47,共4页

传统逻辑中的直言命题其实是表达论域上两个集合外延关系、具有二元量化结构的命题的特例。直言命题的语义与对称性和周延的方向性等性质是三段论的根据,据此可以建立传统三段论简明体系。

关键词 二元量化结构 直言命题的语义和性质 三段论

下载PDF 职称材料

论替换中项法下的直言三段论自然推理系统 被引量：1

5

作者 戴春勤 《毕节学院学报（综合版）》 2009年第2期31-35,共5页

替换中项法是直言三段论新方法,利用该方法可以构造直言三段论自然推理系统。在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索。

关键词 直言三段论 自然推理 替换中项法

下载PDF 职称材料

替换中项法研究——补充省略三段论的前提和结论的能行方法

6

作者 戴春勤 丁亚青 《毕节学院学报（综合版）》 2010年第9期44-47,共4页

在三段论前提中,通过系词"是"或者其否定"不是",中项与大、小项直接联系起来;同时,中项又把大、小项间隔开来。如何"消灭"、"扬弃"中项,把小项和大项也用系词"是"或者其否定"不... 在三段论前提中,通过系词"是"或者其否定"不是",中项与大、小项直接联系起来;同时,中项又把大、小项间隔开来。如何"消灭"、"扬弃"中项,把小项和大项也用系词"是"或者其否定"不是"直接联系起来,以得出所需要的结论?这是三段论的本质问题。解决此问题的方法是替换中项法。替换中项法是补充省略三段论的结论和前提的能行方法。 展开更多

关键词 三段论 替换中项法 省略三段论

下载PDF 职称材料

关于直言三段论规则4及相关问题的探讨

7

作者 倪荫林 《武警学院学报》 2012年第5期37-40,共4页

词项逻辑的预设前提——主谓项均为非空非全的类,决定命题的换质变形是普效的。据此当然也可对三段论的前提进行换质。这样就使得三段论规则4不是普效的,应该废除,以保证词项逻辑的体系一致性。

关键词 直言三段论 规则4 主谓项义域

下载PDF 职称材料

关于单称命题的三段论推理

8

作者 张晓君 田凤琳 《贵州工程应用技术学院学报》 2018年第4期70-76,共7页

大多数逻辑学教科书和逻辑学者长久以来都在传播这样的观念:"在研究涉及单称命题的直言三段论的有效性时,单称命题可以视作全称命题来处理。"通过利用有效的单称命题三段论但其对应的直言三段论却是无效的11个事实,强而有力... 大多数逻辑学教科书和逻辑学者长久以来都在传播这样的观念:"在研究涉及单称命题的直言三段论的有效性时,单称命题可以视作全称命题来处理。"通过利用有效的单称命题三段论但其对应的直言三段论却是无效的11个事实,强而有力地否定了这一观念。经过提出的25个事实表明:利用广义量词理论和集合论,不仅可以形式化地表示关于单称命题的三段论,而且还可形式化地判断和证明其有效性及相关语篇推理的有效性。这些形式化的创新研究有利于语言学(包括计算语言学)、认知科学、人工智能、计算机科学中的知识表示和知识推理等相关研究的发展。 展开更多

关键词 单称命题 全称命题 直言三段论 有效性

下载PDF 职称材料

含负词项的三段论研究 被引量：4

9

作者 戴春勤 《毕节学院学报（综合版）》 2012年第6期38-46,共9页

基于词项逻辑的逻辑常项即词项联结词A、E、I、O的逻辑性质如对称性、周延性(范围和方向),可以建立三段论的新方法———替换中项法,来同时解决三段论的判定问题、直接的推理或者直接的证明问题,最后形成包括24个经典有效式的非经典三... 基于词项逻辑的逻辑常项即词项联结词A、E、I、O的逻辑性质如对称性、周延性(范围和方向),可以建立三段论的新方法———替换中项法,来同时解决三段论的判定问题、直接的推理或者直接的证明问题,最后形成包括24个经典有效式的非经典三段论体系。经典三段论的规则立足于直言命题的四个组成要素:主项,谓项,量项和联项来判定三段论的有效性是不恰当的。 展开更多

关键词 直言命题的性质 替换中项法 传统三段论规则

下载PDF 职称材料

试论替换中项法——对三段论方法的反思与重建 被引量：4

10

作者 戴春勤 《毕节学院学报（综合版）》 2011年第3期39-43,共5页

词项逻辑特别是其中的核心部分直言三段论教学内容和方法的革新势在必行。现有的三段论方法本身都存在问题,应该重新探索能克服现有三段论方法的缺陷、能够解决三段论所有问题的简易方法,以利于逻辑学通识教育。研究表明,替换中项法正... 词项逻辑特别是其中的核心部分直言三段论教学内容和方法的革新势在必行。现有的三段论方法本身都存在问题,应该重新探索能克服现有三段论方法的缺陷、能够解决三段论所有问题的简易方法,以利于逻辑学通识教育。研究表明,替换中项法正是我们发现的这种方法。 展开更多

关键词 三段论方法 替换中项法 革新

下载PDF 职称材料

直言三段论推理模型与方法 被引量：1

11

作者 戴春勤 《贵州工程应用技术学院学报》 2017年第4期65-72,共8页

根据直言命题的语义和周延性方向性等性质构建直言三段论推理模型和推理方法,来简明、恰当处理包括传统三段论在内的所有直言三段论推理,提高直言三段论对日常思维的表达和规范能力,更好发挥三段论逻辑在推进素质教育中的重要作用。

关键词 直言命题周延方向性 直言三段论模型 直言三段论方法

下载PDF 职称材料

基于量词语义与性质的扩展三段论

12

作者 戴春勤 《毕节学院学报（综合版）》 2014年第10期22-27,共6页

在广义量词理论中,如果一个表达两个集合外延关系的二元量词具有单调性等性质,那么该量词及其外否定、内否定和对偶否定在单调性方面存在相互制约关系,从而构成单调方阵。基于二元量词的语义和单调性等性质,可以简洁明了地进行包括传统... 在广义量词理论中,如果一个表达两个集合外延关系的二元量词具有单调性等性质,那么该量词及其外否定、内否定和对偶否定在单调性方面存在相互制约关系,从而构成单调方阵。基于二元量词的语义和单调性等性质,可以简洁明了地进行包括传统三段论在内的扩展三段论推理,从而极大地提高了三段论的表达能力和对日常思维的规范能力。 展开更多

关键词 二元量词 单调方阵 扩展三段论

下载PDF 职称材料