共查询到16条相似文献，搜索用时 523 毫秒
1.
龚启荣 《贵阳学院学报(社会科学版)》2005,(4)
尽举选言命题是非纯真值复合命题,其真值不是肢命题的真值的真值函数。它可由非纯真值的充分条件假言联结词“若,则”来刻划。尽举选言命题具有作为逻辑推理的两块重要基石的两个独立性。因此,以尽举选言命题作前提能构成从已知获取新知的推理。这与纯真值复合命题有实质性区别。尽举选言推理有相容、反相容和不相容的三种。 相似文献
2.
3.
许锦云 《商丘师范学院学报》2000,(1)
不相容选言命题在普通逻辑中 ,应作为选言命题的一种特殊情况而存在。由于二元变项的不相容析取和三元变项的不相容析取的逻辑性质相同 ,并且多元变项 (主要指三元以上 )的不相容析取不具结合律 ,因此 ,计算其逻辑值时 ,应把多个变项的值放在一起考察。不相容选言命题的负命题应是误用选言命题的联结项V为不相容选言命题联结项V·的情况 ,不应是没有穷尽选言肢的情况 ,这样理解更加符合逻辑学科的性质 相似文献
4.
选言命题及选言推理的研究是逻辑学研究的一个有意义的内容,中西选言命题及选言推理的研究则更为有针对性,它们各自的演化过程是一个循序渐进的过程.中西选言命题及选言推理的思想既有相同之处,又有很大的差异.我们了解它们是为了解逻辑历史、提高自身逻辑修养,为逻辑学的发展作出贡献. 相似文献
5.
徐冬海 《淮阴师范学院学报(哲学社会科学版)》2000,22(2):101-104
“假言＋选言推理”是以假言命题和选言命题为前提的组合推理。根据假言、选言全中构造出１２种推理模式。采用归谬赋值法,对其有效性进行判定“Ｎ难推理”便是这种推理的语用形式。 相似文献
6.
卜文军 《河北北方学院学报(社会科学版)》2005,21(2):27-30
二难推理是假言选言推理中的一种形式,是一种特殊的辩论工具.传统逻辑学认为二难推理是由两个或两个以上的充分条件假言判断和一个选言肢数与假言判断个数相等的相容选言判断作前提推出一个简单判断或选言判断的推理形式.然而,二难推理的假言前提不仅有充分条件,而且有必要条件和充要条件;选言前提有相容的,也有不相容的.二难推理共有28种有效推理形式. 相似文献
7.
从推理的形式上讲,"……也不是,……也不是"表达的是假言选言推理简单构成式,是不相容的;从推理结论的语义上讲,"……也不是,……也不是"表达的是二难推理. 相似文献
8.
作为逻辑联结关系的“偶然”是一种特殊的可能:同时也可能不的可能,即,可能不如此的可能,或者说是,有与之不相容的可能情况的可能。作为逻辑联结关系的“风马牛”是一种最彻底的、最特殊的偶然。A风马牛B,当且仅当,A偶然B且A偶然B。偶然和风马牛都是2元的非纯真值联结关系。不是为正统数理逻辑所研究的纯真值联结词。 相似文献
9.
真假制约关系问题是逻辑学界研究的热点问题.包含两个自变元的联言命题与相容选言命题、充分条件假言命题、必要条件假言命题,通过前肢互否、后肢互否、双肢互否和非双肢互否等方式形成的各个命题之间,仍具有真假制约关系,可在此基础上建立立体逻辑方阵. 相似文献
10.
复合命题推理逻辑方阵的类型分为基本类型和派生类型.从推理形式的有效式(均为重言式)为起点,先根据推理有效式的逻辑关系为推演基础,构建复合命题推理逻辑方阵的基本类型,再对推理有效式的前肢互否、后肢互否、双肢互否三种派生形式(均为协调式)的真值进行定义,并根据"平行移行"规则推演出真假制约关系,构建复合命题推理逻辑方阵的派生类型,这大大拓展了逻辑学理论研究和应用研究的空间. 相似文献
11.
目前,人们对对当关系的研究,主要在相同素材性质命题的对当关系、模态命题的对当关系、规范命题的对当关系以及复合命题的对当关系几个方面,性质命题与其负命题之间的对当关系从未涉及.事实上,相同素材的性质命题与其负命题之间也存在着对当关系,借助数理逻辑的真值表和逻辑方阵可知相同素材的性质命题与其负命题间共存在十六组对当关系.性质命题与其负命题间的对当关系的推断对简化思维程序、缩短思维时间具有一定的意义. 相似文献
12.
复合命题推理与立体逻辑方阵 总被引：1，自引：1，他引：0
立体逻辑方阵不仅可表示八个复合命题之间的真假制约关系,还可表示八个复合命题推理之间的真假制约关系.即简单复合命题推理无效式和复杂复合命题推理无效式的异变形式及其否定形式之间有真假制约关系.这样,立体逻辑方阵的表记对象不仅限于复合命题,还扩展到复合命题推理,具有普遍适用性. 相似文献
13.
14.
实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统。事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异。认为制约逻辑与相干逻辑等价,是一种误解。 相似文献
15.
刘伟 《广播电视大学学报》2011,(3):45-48
刘知几《史通》是唐代一部重要的史学评论著作,它从理论和方法层面着重阐述了史书的编纂体裁体例。在文学上,《史通》也成就巨大,体现了对人性的高扬,对人之价值的敬重,张扬着炽热的生命脉动。从崇儒重德的政治伦理色彩、不以人为因素而屈笔的直书精神、对人事作用的高度重视三方面对《史通》中的生命美学思想进行学理型的阐释与梳理。 相似文献
16.
永真公式也称重言式,是从真值函项角度划分出来一种命题逻辑公式。其形成系统是有规律的,即可以传统逻辑方阵表记的复合命题和简单命题之间的真假制约关系为基础,推导出有规律性的一系列永真公式。 相似文献