次协调逻辑

亦称“弗协调逻辑”。指任何限制、改造矛盾律的系统的逻辑。非标准逻辑的一种。否定矛盾律的普遍有效性，承认有价值有意义的矛盾命题的地位，并保证从中只能推出一定的命题而非全部的命题。20世纪40年代末，波兰逻辑学家雅斯可夫斯基(Stanisaw Jakowski)构造了第一个次协调逻辑的命题演算系统。巴西逻辑学家达科斯塔(da Costa)在60年代建立了一个较为完善的次协调逻辑系统。它能满足三个基本要求：(1)矛盾律乛（A乛A）不再是普遍有效的；(2)从两个相互矛盾的前提A与乛A出发，不能一般地推演出任意命题B，即矛盾不会任意扩散；(3)在以上两个前提下尽可能多地保留标准逻辑的推理规律和定理。