网站首页  汉语  俄语  英语

请输入您要查询的字词:

 

字词 次协调逻辑
释义
次协调逻辑
次协调逻辑  亦称“弗协调逻辑”。非标准逻辑的一种。指任何限制、改造经典矛盾律的系统的逻辑。否定矛盾律的普遍有效性,承认有价值有意义的矛盾命题的地位,并保证从中只能推出一定的命题而非全部的命题。20世纪40年代末,波兰逻辑学家雅斯可夫斯基(Stanisław Jas'kowski)构造了第一个次协调逻辑的命题演算系统。巴西逻辑学家达科斯塔(N.C.A.da Costa,1929— )在60年代建立了一个较为完善的次协调逻辑系统。它能满足三个基本要求:(1)矛盾律¬(A∧¬A)不再是普遍有效的;(2)从两个相互矛盾的前提A与¬A出发,不能一般地推演出任意命题B,即矛盾不会任意扩散;(3)在以上两个前提下尽可能多地保留标准逻辑的推理规律和定理。
出处:哲学卷 • 逻 辑 学 • 总 论
次协调逻辑
    亦称“弗协调逻辑”。指任何限制、改造矛盾律的系统的逻辑。非标准逻辑的一种。否定矛盾律的普遍有效性,承认有价值有意义的矛盾命题的地位,并保证从中只能推出一定的命题而非全部的命题。20世纪40年代末,波兰逻辑学家雅斯可夫斯基(StanisławJakowski)构造了第一个次协调逻辑的命题演算系统。巴西逻辑学家达科斯塔(daCosta)在60年代建立了一系列较为完善的次协调逻辑系统。它能满足三个基本要求:(1)矛盾律7(A7A)不再是普遍有效的;(2)从两个相互矛盾的前提A7A出发,不能一般地推演出任意命题B,即矛盾不会任意扩散;(3)在以上两个前提下尽可能多地保留标准逻辑的推理规律和定理。
出处:数理化力学卷 • 数  学 • 数理逻辑 • 数学基础
随便看

 

修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。

 

Copyright © 2021-2025 mythu.net All Rights Reserved
更新时间:2025/6/28 10:48:17