期刊文献+
共找到45篇文章
< 1 2 3 >
每页显示 20 50 100
反证法与归谬法的现代分析 被引量:3
1
作者 杜国平 《自然辩证法研究》 CSSCI 北大核心 2005年第3期48-51,共4页
本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理... 本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理否定肯定律相等价。 展开更多
关键词 反证法 归谬法 正命题逻辑系统 排中律 不矛盾律
下载PDF
Properties of Measure-based Fuzzy Logic 被引量:1
2
作者 LU Jian ping 1, ZHAO Shu xiang 2 (1. Department of Computer Science, Xi’an Institute of Posts and Telecommunications, Xi’an 710061, P.R. China 2. School of Computer Science, Xidian University, Xi’an 710071, P.R. China) 《The Journal of China Universities of Posts and Telecommunications》 EI CSCD 2001年第4期29-33,共5页
Measure based fuzzy logic, which is constructed on the basis of eight axioms, is a seemingly powerful fuzzy logic. It possesses several remarkable properties. (1) It is an extended Boolean logic, satisfying all the p... Measure based fuzzy logic, which is constructed on the basis of eight axioms, is a seemingly powerful fuzzy logic. It possesses several remarkable properties. (1) It is an extended Boolean logic, satisfying all the properties of Boolean algebra, including the law of excluded middle and the law of contradiction. (2) It is conditional. Conditional membership functions play an important role in this logic. (3) The negation operator is not independently defined with the conjunction and disjunction operators, but on the contrary, it is derived from them. (4) Zadehs fuzzy logic is included in it as a particular case. (5) It gives more hints to the relationship between fuzzy logic and probability logic. 展开更多
关键词 fuzzy logic Boolean algebra measure based fuzzy logic extended Boolean algebra law of excluded middle law of contradiction
原文传递
Fuzzy Set Operation Based on Measure Theory 被引量:1
3
作者 Lu Jianping (Department of Computer, Xi’an Institute of Posts and Telecommunications,Xi’an 710061, P.R.China) Zhao Shuxiang (School of Computer, Xidian University, Xi’an 710071, P.R.China) 《The Journal of China Universities of Posts and Telecommunications》 EI CSCD 1997年第2期24-29,共6页
Differrent kinds of operations have been proposed in fuzzy set theory although Zadeh's operation is the most popoular. We discuss a new kind of fuzzy set operations which is based on measurement. In the measure b... Differrent kinds of operations have been proposed in fuzzy set theory although Zadeh's operation is the most popoular. We discuss a new kind of fuzzy set operations which is based on measurement. In the measure based operation, there are only two basic operators: operator for intersection and operator for union. These two operators are interrelated with each other, and conditional fuzzy measures(or conditional membership functions) are also included in these operators. Moreover, the operator for complement is not independently defined, and it is derived from the above two basic operators. The measure based operation brings to light some relations between Zadeh's operation and probabilistic operation. We show that both Zadeh's operation and probabilistic operation are special cases of measure based operators.We also discuss the problem of the law of excluded middle and the law of contradiction. It is shown that these laws still hold in fuzzy sets and this conclusion causes no difficulty in explaining the nature of fuzziness. 展开更多
关键词 fuzzy sets fuzzy set operations fuzzy measure law of excluded middle law of contradicton
原文传递
间性论作为未来文明的元程序--兼及媒介生态学
4
作者 张先广 《媒介批评》 2023年第2期109-121,共13页
本文简明扼要地梳理了间性论的学理和时代背景,并点明它在文明转型的历史关头所具有的不可替代的未来学意义,意在为思辨人类未来的探索者提供一个按图索骥之图。相对于篇幅而言,本文容量较大,故采取了“频闪灯”式章法。读者可先图囫囵... 本文简明扼要地梳理了间性论的学理和时代背景,并点明它在文明转型的历史关头所具有的不可替代的未来学意义,意在为思辨人类未来的探索者提供一个按图索骥之图。相对于篇幅而言,本文容量较大,故采取了“频闪灯”式章法。读者可先图囫囵吞枣之快,继而品之、参之、反刍之,于重复中酝酿差异,从而体会间性之乐。媒介生态学就思维方式而言与间性论颇为契合,但有唯媒介论(和泛媒介论)的倾向。本文将媒介生态纳入相互关联、相互作用的六重生态之中,意在扩展媒介生态学的视野和格局,增强其危机意识,彰显其人文意义。 展开更多
关键词 传统西方本体论 间性论 排中律 四句破 六重生态 元程序 廓落 媒介生态学
下载PDF
论数学哲学中的直觉主义思想 被引量:3
5
作者 冯棉 《华东师范大学学报(哲学社会科学版)》 CSSCI 北大核心 2002年第4期30-36,共7页
数学哲学中的直觉主义学派高度重视直觉和个人的创造性思维在科学实践中的作用,这具有积极的意义;它对排中律和间接证明方法有效性的质疑,揭示了经典逻辑只具有相对的真理性;它所倡导的构造性和能行性的研究方法,促进了人工智能和计算... 数学哲学中的直觉主义学派高度重视直觉和个人的创造性思维在科学实践中的作用,这具有积极的意义;它对排中律和间接证明方法有效性的质疑,揭示了经典逻辑只具有相对的真理性;它所倡导的构造性和能行性的研究方法,促进了人工智能和计算机科学的发展。但是,对直觉功能的过分夸大则并不足取。 展开更多
关键词 数学哲学 直觉主义 排中律 罗索悖论 逻辑主义 形式主义 间接证明 构造性
下载PDF
亚里士多德逻辑思维规律思想述评 被引量:1
6
作者 魏燕侠 《红河学院学报》 2004年第5期69-70,85,共3页
 亚里士多德的逻辑思维规律思想是其逻辑思想的重要组成部分,笔者详细论述其逻辑思维规律思想的基本内容、各个规律的地位,最后探寻亚里士多德特别重视矛盾律的原因。
关键词 逻辑思维规律 矛盾律 排中律 同一律
下载PDF
为传统的矛盾律与排中律公式辩护──兼与万宁先生商榷 被引量:1
7
作者 倪荫林 《中南民族学院学报(人文社会科学版)》 CSSCI 2000年第1期25-27,共3页
本文依据经典逻辑的真值函项原则及联结词的普适性,指出万文所给A、A是不合逻辑规则的,又依据经典逻辑的已有联结词及矛盾律与排中律的要求,指出万文给出的矛盾律公式(A∧A)∧(A∧A)与排中律公式(A∨A)∧(A∨A)是赘余的,不能作为矛盾律... 本文依据经典逻辑的真值函项原则及联结词的普适性,指出万文所给A、A是不合逻辑规则的,又依据经典逻辑的已有联结词及矛盾律与排中律的要求,指出万文给出的矛盾律公式(A∧A)∧(A∧A)与排中律公式(A∨A)∧(A∨A)是赘余的,不能作为矛盾律与排中律的公式,然后从逻辑抽象角度与经典逻辑的二值本性角度论证了传统的矛盾律公式(A∧A) 展开更多
关键词 经典 逻辑 矛盾律 排中律 真值函项原则 公式
下载PDF
逻辑规律与准逻辑悖论探讨 被引量:1
8
作者 盛作国 《毕节学院学报(综合版)》 2007年第1期37-40,共4页
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻... 同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。 展开更多
关键词 重言式 形式逻辑基本规律 同一律 不矛盾律 排中律 准逻辑悖论
下载PDF
论墨家的逻辑基本规律
9
作者 赵鹏 《保定学院学报》 2010年第2期7-9,共3页
墨家的逻辑规律思想是其逻辑思想的重要组成部分。墨家在关于"辩"的定义、规则等有关论述中揭示了四条基本逻辑规律的内容。在探寻墨家逻辑产生背景的基础上,阐述墨家的逻辑规律思想,并指出研究墨家逻辑规律的意义。
关键词 墨家 同一律 矛盾律 排中律 充足理由律
下载PDF
墨家论言词交际的规律
10
作者 孙中原 《南通大学学报(社会科学版)》 2006年第6期75-82,共8页
墨家论言词交际的规律,有相当于同一律、矛盾律、排中律和充足理由律的论述,与西方逻辑有一致性。墨家用先秦古汉语,为元语言工具,亟需用现代逻辑和语言工具,为之新诠、发挥和转型,使之继续为今人的思维表达服务。
关键词 墨家 言词交际 规律 同一律 矛盾律 排中律 充足理由律
下载PDF
模糊集的2个错误 被引量:2
11
作者 苏发慧 《吉首大学学报(自然科学版)》 CAS 2012年第2期13-15,共3页
通过举例说明,L.A.Zadeh用映射定义模糊集是不恰当,用最大(∨)、最小(∧)2个算子来定义模糊集的并与交运算也是错误的.模糊学家提供的s-范数、t-范数可证明也是错误的.由此得出模糊集不能用映射来定义,也不能用最大、最小算子定义模糊... 通过举例说明,L.A.Zadeh用映射定义模糊集是不恰当,用最大(∨)、最小(∧)2个算子来定义模糊集的并与交运算也是错误的.模糊学家提供的s-范数、t-范数可证明也是错误的.由此得出模糊集不能用映射来定义,也不能用最大、最小算子定义模糊集的并与交.解决模糊现象的数学理论需要创新清晰集理论. 展开更多
关键词 模糊集 映射 排中律
下载PDF
有限多重集的运算及性质 被引量:2
12
作者 牟廉明 《内江师范学院学报》 2009年第4期5-8,共4页
给出了多重集的定义,讨论了有限多重集的若干运算及其性质,得出有限多重集容斥原理仍然成立,而排中律不成立;有限多重集幂集的交、并、补运算构成软代数.建立了有限多重集比较完善的理论体系.
关键词 多重集 重复度 有限多重集幂集 排中律
下载PDF
论在不同逻辑系统中的排中律 被引量:2
13
作者 孙明湘 《中南大学学报(社会科学版)》 CSSCI 2010年第5期27-29,共3页
作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷... 作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷性等假定的修正,排中律不再是该类系统中的可证公式,因而丧失其有效性。作为逻辑真理的排中律同任何真理一样,是普遍性与相对性的对立统一。 展开更多
关键词 排中律 普效性 逻辑系统 非经典逻辑
下载PDF
矛盾律与排中律关系辨析 被引量:1
14
作者 李兰玉 《邢台学院学报》 2008年第1期120-121,共2页
普通逻辑的基本规律是人们在长期实践的基础上对思维活动规律的概括和总结,是人们进行正确思维所必须遵守的起码准则,人们的正常思维活动必须遵循逻辑规律的要求,否则就不能认识真理和准确地表达思想。而在逻辑规律中矛盾律和排中律是... 普通逻辑的基本规律是人们在长期实践的基础上对思维活动规律的概括和总结,是人们进行正确思维所必须遵守的起码准则,人们的正常思维活动必须遵循逻辑规律的要求,否则就不能认识真理和准确地表达思想。而在逻辑规律中矛盾律和排中律是最容易混淆的,通过重点分析这两种规律的异同,为进一步规范人们的思维奠定良好的基础。 展开更多
关键词 矛盾律 排中律 辨析
下载PDF
卢卡锡维茨Ł_(3)系统的最低限度隐变量解释
15
作者 万小龙 徐亮 《安徽大学学报(哲学社会科学版)》 CSSCI 北大核心 2022年第5期32-40,共9页
一般认为卢卡锡维茨Ł_(3)系统中的排中律与(不)矛盾律都不成立,对此有许多不同解释。按照STRF理论的简化、等值与增力的“三合一”极致原则,在完全接受Ł_(3)句法和维持其已有语义的前提下,更深层次上“第三真值”这个逻辑常量其实是一... 一般认为卢卡锡维茨Ł_(3)系统中的排中律与(不)矛盾律都不成立,对此有许多不同解释。按照STRF理论的简化、等值与增力的“三合一”极致原则,在完全接受Ł_(3)句法和维持其已有语义的前提下,更深层次上“第三真值”这个逻辑常量其实是一个严格等价隐变量,也即“1/2”真其实是“真与并非真”的一种组合,但同一组合有不同排列,甚至同一个真值度存在不同的真值分布。显然由此可计算出Ł_(3)中的排中律与(不)矛盾律仍然都是定理,Ł_(3)当然是完全的,不过就是没被彻底认识的经典命题逻辑系统CP。 展开更多
关键词 Ł_(3)系统 排中律 (不)矛盾律 最低限度语义隐变量
下载PDF
逻辑基本规律的新表述及其应用
16
作者 史天治 《太原师范学院学报(社会科学版)》 2008年第5期6-9,共4页
伟大的逻辑学家亚里士多德提出了逻辑的三个基本规律:同一律、矛盾律和排中律,然而逻辑基本规律的现有表述并不科学。史天治提出了广义矛盾律,同时对逻辑基本规律进行了新的表述。新表述由三个部分组成:一是公式,二是客观规律,三是思维... 伟大的逻辑学家亚里士多德提出了逻辑的三个基本规律:同一律、矛盾律和排中律,然而逻辑基本规律的现有表述并不科学。史天治提出了广义矛盾律,同时对逻辑基本规律进行了新的表述。新表述由三个部分组成:一是公式,二是客观规律,三是思维法则。同一律适用于词和命题,矛盾律和排中律仅适用于矛盾命题,广义矛盾律适用于互斥性命题。表达逻辑基本规律应以客观的语言形式(词和命题)为基础,而不是以主观的思想事物(概念、判断、推理)为基础。论文利用逻辑基本规律解决了说谎者悖论和罗素悖论。 展开更多
关键词 同一律 矛盾律 排中律 命题 悖论 集合
下载PDF
逻辑基本规律及其应用
17
作者 史天治 《中国西部科技》 2008年第1期22-25,共4页
该文根据亚里士多德对逻辑基本规律的论述和它们的现有表述创造性地提出了新表述,新表述分为三个组成部分,一是公式,二是客观规律,三是思维法则。该文同时提出了广义矛盾律的概念。同一律适用于词和命题,而矛盾律和排中律仅适用于矛盾命... 该文根据亚里士多德对逻辑基本规律的论述和它们的现有表述创造性地提出了新表述,新表述分为三个组成部分,一是公式,二是客观规律,三是思维法则。该文同时提出了广义矛盾律的概念。同一律适用于词和命题,而矛盾律和排中律仅适用于矛盾命题,广义矛盾律适用于互斥性命题。表达逻辑基本规律应以客观的语言形式(词和命题)为基础,而不是以主观的思想事物(概念、判断、推理)为基础。该文利用逻辑基本规律一劳永逸的解决了说谎者悖论和罗素悖论。集合是元素的联合体,元素与集合具有本质的不同,集合不能以集合作为元素。结构"A的A"是语言中的谬误,在科学中应予以清除。 展开更多
关键词 同一律 矛盾律 排中律 命题 悖论 集合
下载PDF
CDIO特色课程与大学生逻辑思维培养
18
作者 王园婷 程庆 谭波 《实验科学与技术》 2018年第3期135-141,共7页
该文旨在研究基于CDIO工程教育模式为依托的课程改革下,对学生逻辑思维培养的影响。以创办3年的电子科技大学成都学院的"践行班"为研究对象,从课程设置分析为出发点,通过和传统专业对比的方法确定该班创新型课程的特色;继而... 该文旨在研究基于CDIO工程教育模式为依托的课程改革下,对学生逻辑思维培养的影响。以创办3年的电子科技大学成都学院的"践行班"为研究对象,从课程设置分析为出发点,通过和传统专业对比的方法确定该班创新型课程的特色;继而应用逻辑思维学相关研究基础理论并借鉴相关研究方法设置出逻辑思维测试问卷,分别在"践行班"和云计算科学与技术专业的3个年级中随机选出学生进行测试,再对比测试结果;最后,分析两组学生的逻辑思维能力表现,并从特色课程设置的角度予以解释"践行班"学生更为优越的逻辑思维能力。 展开更多
关键词 CDIO 同一律 矛盾律 排中律
下载PDF
三值逻辑与思维规律前三律
19
作者 姚从军 万平 《湖南科技学院学报》 2006年第6期73-74,共2页
针对时下流行的关于思维规律前三律在三值逻辑中失效的观点,本文从辩证法关于普遍性与特殊性的辩证关系原理出发,认为同一律、矛盾律、排中律是为了保证人们正确思维的普遍规律对人类思维具有普遍指导作用,不会在三值逻辑这一具体的思... 针对时下流行的关于思维规律前三律在三值逻辑中失效的观点,本文从辩证法关于普遍性与特殊性的辩证关系原理出发,认为同一律、矛盾律、排中律是为了保证人们正确思维的普遍规律对人类思维具有普遍指导作用,不会在三值逻辑这一具体的思维科学领域内失效;但刻画这三条规律的人工语言表达式具有特殊性,在不同的思维科学中应用不同的表达式去刻画。二值逻辑中刻画中这三个规律的语言表达式在三值逻辑中失去永真式的特殊地位,不能证明这三个思维规律在三值逻辑中失效。 展开更多
关键词 同一律 排中律 矛盾律 三值逻辑 思维规律
下载PDF
成形于思维的形式化中--对形式逻辑三大规律作用的思辨
20
作者 陈道远 《太原师范学院学报(社会科学版)》 2021年第2期1-4,共4页
形式逻辑三大规律自身是一个符号化的自我指称,其整体可以被我们主观当作象征性符号P来形象地看待。同一律强调思维始终是整体或一,所有内容都在同一框架内(如同唯一的P本身);不矛盾律强调思维过程属跳跃而连续的一条线,有起伏但不失连... 形式逻辑三大规律自身是一个符号化的自我指称,其整体可以被我们主观当作象征性符号P来形象地看待。同一律强调思维始终是整体或一,所有内容都在同一框架内(如同唯一的P本身);不矛盾律强调思维过程属跳跃而连续的一条线,有起伏但不失连贯(如同P的从始到终的书写轨迹);排中律针对思维的选择性,强调选择总是对结果的选择,因选择而直达结果(如同P的成形是由可能性而来的具体选择)。形式逻辑思维不一定一次完成,可以不断反复进行(如同重写与修正P)。三大规律共同保证了形式思维无与有、外与内、始与终的一致,从而保障理性在形式上的完备与有效。形式逻辑规律的形式化让众多的事物或思想观念被定型,从而成为可灵活地被思考的对象或思考本身;形式逻辑三大规律是不能被逾越的思维边界的“边界线”,只有心灵力量的复苏才可以解决思维越界所带来的迷惑。 展开更多
关键词 形式逻辑思维 形式逻辑规律 同一律 不矛盾律 排中律
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部