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