共查询到20条相似文献，搜索用时 15 毫秒
1.
韦传萍 《安徽教育学院学报》2006,24(2):16-18
对于直言命题的变形推理,传统上认为A命题只能换位为I命题,O命题不能换位。但实际上通过欧拉图我们可以证明A、O命题是能够进行同质等值换位的。它符合传统的直言命题变形推理规则,只不过A、O命题换位以后的同质新命题的主谓项与原命题的主谓项具有矛盾关系。随着A、O命题同质换位确定后,我们可以认为直言命题的换位推理应该是同质等值推理。 相似文献
2.
复合命题推理逻辑方阵的类型分为基本类型和派生类型.从推理形式的有效式(均为重言式)为起点,先根据推理有效式的逻辑关系为推演基础,构建复合命题推理逻辑方阵的基本类型,再对推理有效式的前肢互否、后肢互否、双肢互否三种派生形式(均为协调式)的真值进行定义,并根据"平行移行"规则推演出真假制约关系,构建复合命题推理逻辑方阵的派生类型,这大大拓展了逻辑学理论研究和应用研究的空间. 相似文献
3.
在《墨经》中,＂止＂作为一种重要的推理形式共出现四次：一是利用对当关系推理进行反驳;二是用反例反驳对方用简单枚举归纳推理得出的一般结论;三是用与对方演绎推理的大前提具有反对关系的命题来反驳对方演绎出的个别结论;四是反映模态矛盾命题之间的对当关系推理。 相似文献
4.
从命题本身因素入手,针对命题类型对条件推理的影响设计了两个实验,分别从整体和前后件语义关系上探讨命题类型对条件推理的影响.结果发现：条件推理中存在明显整体正确内容促进效应;从前后件关系的语义表征上理解命题,条件命题成绩最好且与反条件命题、双向条件命题、非条件命题均存在显著差异;正确命题中表现出从整体理解命题对条件推理影响的优势. 相似文献
5.
王乃元 《徐州师范大学学报(哲学社会科学版)》2010,(3)
直言命题变形推理是否有效,引入现代逻辑CS系统可以对直言命题变形推理进行构造和证明。它改变了我们传统依赖变形推理规则考察变形推理能否成立的做法,丰富了形式逻辑的教学内容。同时,通过对CS系统的引入,能够证明A、O命题是可以进行同质等值换位的。 相似文献
6.
木白 《辽宁师专学报(社会科学版)》2007,(5):138-140
本文对逻辑教科书和逻辑辞书中提出的性质命题对当推理、三段论以及复合命题相容选言推理的规则进行了探讨,阐述了笔者自己的观点,给出了新的规则,经验证明是行之有效的,也便于人们学习把握应用。 相似文献
7.
郭彩琴 《首都师范大学学报(社会科学版)》1996,(4)
现行普通逻辑教材关于二难推理的内容有两个问题值得商榷：一是把二难推理形式局限于充分条件假言二难推理，而将必要条件假言二难推理排除在外；二是对二难推理规则的提法似有不足。二难推理的全部正确推理形式应是八个，而不是四个。二难推理的规则仅仅是保证推理形式有效的规则，并不涉及前提内容的真实与否。深入探讨二难推理的形式和规则，不仅具有一定的理论意义，而且有规范实际思维、防止逻辑错误的实际意义。 相似文献
8.
含有预设的推理与推理的有效性 总被引：2，自引：0，他引：2
冯棉 《华东师范大学学报(哲学社会科学版)》2003,35(4):52-57
推理的全部前提可以看作这一推理的预设。日常的具体推理往往是省略的推理，有些前提并未明确给出，在这种情况下，对预设作全面的分析就尤为重要。与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。 相似文献
9.
复合命题推理与立体逻辑方阵 总被引：1，自引：1，他引：0
立体逻辑方阵不仅可表示八个复合命题之间的真假制约关系,还可表示八个复合命题推理之间的真假制约关系.即简单复合命题推理无效式和复杂复合命题推理无效式的异变形式及其否定形式之间有真假制约关系.这样,立体逻辑方阵的表记对象不仅限于复合命题,还扩展到复合命题推理,具有普遍适用性. 相似文献
10.
张昌明 《西南师范大学学报(人文社会科学版)》2000,26(1):37-40
我国普通逻辑学著作中流行的关系命题及其推理有关理论,至少有三个问题值得商榷：（１）如何说性质命题有联项,则就不能否认关系命题也有联项。实际上,它在汉语中有三种表现形式;（２）纯粹关系推理的有效形式应该包括反映或指称某关系具有逻辑性质这种客观内容的命题的形式,后者始终隐含地作为前提参与推理;（３）关系推理和一切推理一样,其推演依据在于所有作为前提和结论的命题的逻辑性质,而根本不是“关系的逻辑性质”这 相似文献
11.
在一些高校形式逻辑教科书中，推理规则是不够严密的，有的甚至是不正确的。本就假言推理规则和选言推理规则谈些肤浅的认识，以求教于同仁。 相似文献
12.
徐冬海 《淮阴师范学院学报(哲学社会科学版)》2000,22(2):101-104
“假言＋选言推理”是以假言命题和选言命题为前提的组合推理。根据假言、选言全中构造出１２种推理模式。采用归谬赋值法,对其有效性进行判定“Ｎ难推理”便是这种推理的语用形式。 相似文献
13.
郭芙蓉 《黑龙江教育学院学报》2001,20(4):38-40
近年来国内出版的大多数普通逻辑教科书认为推理是由前提和结论两部分构成，其结果 是推理就是命题的堆积，任何命题的集合都叫推理。持此现点的人无法解释推理和论证 的关系。笔者认为推理是由三部分构成，这第三部分增加的是推导关系，这样既解决了 推理和论证的关系问题，也解决了推理的核心理论问题——有效性问题。 相似文献
14.
针对网络访问控制语义相容性本体推理规则编写繁琐、效率低且易出错的缺陷,提出了基于Lex&Yacc的访问控制语义相容性本体推理规则自动生成技术。分析了推理规则生成的相关技术,构建了推理规则生成算法,进行了算法的复杂度实验。实验结果表明,该算法能生成满足本体推理需要的推理规则,效率及正确性高。 相似文献
15.
16.
不确定推理的一个注记 总被引：1，自引：0，他引：1
不确定推理是知识工程中的重要内容，基于模糊命题的真值推理具有广泛的应用，对模糊命题的真值推理进行研究，给出文[1]定义的不确定推理真值传播方法的严格叙述，并给出文[1]中两个定理的简单证明． 相似文献
17.
魏斌 《科学技术哲学研究》2021,38(4):27-32
似真推理是一种认知推理,它是由似真前提或似真推论导出似真结论,尽管无法得到确定性的真结论,但也暂时没有理由支持结论为假,这就使得结论似然为真.似真推理需要接受检验,当出现反驳的理由时,结论的似真性将会减弱或者消失,这种似真性的动态变化就是似真推理的主要特征.似真推理的形式化需要突破基于后承关系的传统逻辑视野,转而在论辩的情境中转向似真论证的形式化,从而刻画推理过程中命题似真性的动态变化. 相似文献
18.
王卉 《陕西广播电视大学学报》1999,(1):42-44
在逻辑学中,二难推理其实是假言选言推理,是由两个充分条件假言命题和一个包含两个肢的选育命题构成前提的必然性推理。二难推理是思考解决问题、辩论问题时经常运用的一种思维形式,它反映了人们解诀一个问题时左也不好,右也不理想,进退两难的状况。反映辩论问题时,辩论的一方提出两个二者必居其一的假言前提,对方不论肯定或否定假言命题的前件和后件,结果都对自己不利,陷入进退维谷、左右为难的窘境。二难推理之所以叫“二难”正是这个缘故。《诗经·豳风》中有个比喻：“狼跋其胡,载踬其尾”。意即“老狼往前则踩住自己领下的悬… 相似文献
19.
目的:探讨非言语学习困难青少年二维空间和非空间关系推理策略。方法:从初中二年级选取三组被试:非言语学习困难组(简称NLD)、言语学习困难组(简称VLD)和一般组(简称C)。结果:(1)NLD组空间关系推理成绩显著低于一般组;(2)在空间关系推理中,两类单模题推理成绩显著高于双模题。在非空间关系推理中,有无关前提的题推理成绩显著高于没有无关前提的题;(3)一般组正确运用模型建构策略显著高于NLD和VLD组。结论:NLD青少年通过建构模型解决空间关系推理,但不能有效运用该策略,非空间关系推理则采用逻辑规则策略。 相似文献