请输入您要查询的百科知识:

 

词条 次协调逻辑
释义
次协调逻辑
次协调逻辑  亦称“弗协调逻辑”。非标准逻辑的一种。指任何限制、改造经典矛盾律的系统的逻辑。否定矛盾律的普遍有效性,承认有价值有意义的矛盾命题的地位,并保证从中只能推出一定的命题而非全部的命题。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)在以上两个前提下尽可能多地保留标准逻辑的推理规律和定理。
出处:数理化力学卷 • 数  学 • 数理逻辑 • 数学基础
随便看

 

百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/2/8 5:34:59