形式逻辑前三条基本规律在多值逻辑中的几个问题

规定命题的取值非真即假,非假即真,不能有第三种情况,这种逻辑称作“二值逻辑”。在二值逻辑中,形式逻辑前三条基本规律——同一律(A→A),矛盾律、排中律都是永真式,并相互等价,规定命题的取值可有第三种、第四种、乃至可数任意多种情况,这类逻辑统称作“多值逻辑。”在多值逻辑     

回溯推理的逻辑结构与逻辑性质

回溯推理(又作“溯因推理”)是科学发现的一种重要的逻辑方法,利用这种方法,我们可以阐明新思想,形成新的假设集,使我们的认识形成新的综合。可是,人们迄今对这种推理方法本身的了解尚非常浅薄,与在实际思维中广泛运用这种推理的局面极不相称。因此,1987年在莫斯科召开的世界逻辑——科学方法论大会上,回溯推理被列为世界性攻关项目。为了推动这个问题研究的深入,本文拟就模态、相关和古典逻辑理论的角度,提出自己的看法。