期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
换质法不是直接推理──对一个存疑问题的新解释
1
作者 曹飞 《湘潭大学学报(哲学社会科学版)》 CSSCI 1998年第3期17-18,共2页
现行的普通逻辑教材把演绎推理分为直接推理(仅有一个前提的推理)和间接稚理(有两个或两个以上前提的推理)两种,并认为换质法是直接推理,这种观点引起严重的疑难问题:命题变形推理即使遵守了推理规则也不能保证前提中不周延的词... 现行的普通逻辑教材把演绎推理分为直接推理(仅有一个前提的推理)和间接稚理(有两个或两个以上前提的推理)两种,并认为换质法是直接推理,这种观点引起严重的疑难问题:命题变形推理即使遵守了推理规则也不能保证前提中不周延的词项到结论中不周延。因此,换质法不是直接推理,而是间接推理。因为它除包含被换质命题作为其前提外,还包含着一个必然为真的前提。 展开更多
关键词 换质法 直接推理 间接推理
在线阅读 下载PDF
关于O命题换位的再思考 被引量:1
2
作者 何小前 《安徽农学通报》 2008年第20期144-145,共2页
对于直言命题的变形推理,传统上认为O命题不能换位。本文通过欧拉图我们可以证明以全称命题为前提的换质位法推理中O命题是能够换位的。它完全符合传统的直言命题变形推理规则。
关键词 全称命题 0命题
在线阅读 下载PDF
关于逻辑推理中的Euler图
3
作者 孙晓天 《东北师大学报(哲学社会科学版)》 CSSCI 1992年第2期27-32,共6页
在形式逻楫的逻揖推理部分,Euler图的运用十分有限。由于Euler图具有直观、明晰的特点,可以简化和理想地再现不同推理形式前提与结论间的各种复杂联系。为此,本文在“对当关系直接推理”、“换位法、换质法的有效式”、“三段论规则的... 在形式逻楫的逻揖推理部分,Euler图的运用十分有限。由于Euler图具有直观、明晰的特点,可以简化和理想地再现不同推理形式前提与结论间的各种复杂联系。为此,本文在“对当关系直接推理”、“换位法、换质法的有效式”、“三段论规则的证明”、“确定三段论不同格的正确式”等内容中,对尚未见诸Euler图的部分引进了Euler图。通过分析和论证,拓广了Euler图在逻辑推理中的运用。 展开更多
关键词 逻辑推理 有效式 三段论规则 对当关系 直接推理 推理形式 换质法 形式逻辑 图表示
在线阅读 下载PDF
关于逻辑学课的教学改革问题
4
作者 赖奕樵 《黑龙江高教研究》 1988年第2期37-42,共6页
本文标题中所说的逻辑学课,是指我国高等学校文科开设的传统逻辑学课而言的。关于传统逻辑这门课程要不要改革?逻辑界的专家们发表了许多论文,看来改革是势在必行,这一点是毫无疑义的。如果不进行改革,就不能有敢地为提高中华民族的逻... 本文标题中所说的逻辑学课,是指我国高等学校文科开设的传统逻辑学课而言的。关于传统逻辑这门课程要不要改革?逻辑界的专家们发表了许多论文,看来改革是势在必行,这一点是毫无疑义的。如果不进行改革,就不能有敢地为提高中华民族的逻辑思维能力服务,不能适应建设社会主义现代化的需要。本文想就如何改革传统逻辑课的教学谈点拙见。 展开更多
关键词 三段论规则 现代逻辑 对当关系 教学改革问题 谓项 直言三段论 模态判断 逻辑知识 真值表方 换质法
在线阅读 下载PDF
传统逻辑关于直言命题的预设 被引量:1
5
作者 陈晓平 《武汉大学学报(人文科学版)》 1991年第2期44-48,共5页
【正】 1 引言传统直言命题有四种形式,即: A:所有S是P;E:所有S不是P;I:有S是P;O:有S不是P。传统直言命题推理主要有三种,即:三段论推理,换质位推理和对当关系推理。与传统直言命题相对应,现代直言命题也有四种形式,即: A′:(x)(Sx→Px... 【正】 1 引言传统直言命题有四种形式,即: A:所有S是P;E:所有S不是P;I:有S是P;O:有S不是P。传统直言命题推理主要有三种,即:三段论推理,换质位推理和对当关系推理。与传统直言命题相对应,现代直言命题也有四种形式,即: A′:(x)(Sx→Px) E′:(x)(Sx→Px) I′:((?)x)(Sx∧Px) O′:((?)x)(Sx∧~Px) 将传统直言命题推理中的A、E、I和O分别替换为A′、E′、I′或O′所得到的推理,我们称之为现代直言命题推理,现代直言命题推理属于谓词推理。现在我们要问,传统直言命题推理和现代直言命题推理在有效性上是完全吻合的吗?回答是否定的。在此只需指出一个事实就够了,即,在传统的对当关系推理中,由A推出I和由E推出O都是有效的,但在现代谓词推理中,由A′推出I′和由E′推出O′都是无效的。 展开更多
关键词 传统直言命题 传统三段论 传统逻辑 对当关系推理 命题推理 三段论推理 全称命题 谓词逻辑 主项
在线阅读 下载PDF
对形式逻辑推理中规则的探讨
6
作者 王继权 《社会科学辑刊》 CSSCI 北大核心 1990年第1期26-28,共3页
形式逻辑推理规则中存在一些问题,本文就此作下述探讨。直接推理中的“○”判断果真不能换位吗?几乎所有的逻辑学在谈到直接推理的换位法和换质位法的规则时,都阐述为“○”判断不能换位。即SOP 不能换位为POS。理由是违反了“在原判断... 形式逻辑推理规则中存在一些问题,本文就此作下述探讨。直接推理中的“○”判断果真不能换位吗?几乎所有的逻辑学在谈到直接推理的换位法和换质位法的规则时,都阐述为“○”判断不能换位。即SOP 不能换位为POS。理由是违反了“在原判断不周延的项换位后仍不得周延”的规则。硬要换位则必然会引出荒诞可笑的结论。 展开更多
关键词 直接推理 逻辑推理 形式逻辑 选言肢 选言推理规则 逻辑学 不相容选言推理 属种关系
在线阅读 下载PDF
2D registration based on contour matching for partial matching images 被引量:1
7
作者 张见威 黄达承 +1 位作者 桂姜琴 叶文忠 《Journal of Central South University》 SCIE EI CAS 2014年第12期4553-4562,共10页
The mean Hausdorff distance, though highly applicable in image registration, does not work well on partial matching images. An improvement upon traditional Hausdorff-distance-based image registration method is propose... The mean Hausdorff distance, though highly applicable in image registration, does not work well on partial matching images. An improvement upon traditional Hausdorff-distance-based image registration method is proposed, which consists of the following two aspects. One is to estimate transformation parameters between two images from the distributions of geometric property differences instead of establishing explicit feature correspondences. This procedure is treated as the pre-registration. The other aspect is that mean Hausdorff distance computation is replaced with the analysis of the second difference of generalized Hausdorff distance so as to eliminate the redundant points. Experimental results show that our registration method outperforms the method based on mean Hausdorff distance. The registration errors are noticeably reduced in the partial matching images. 展开更多
关键词 image registration generalized Hausdorff distance partial matching image
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部