经典逻辑

亦称“标准逻辑”。主要指由弗雷格、罗素所创立的以二值逻辑为基础的命题演算和谓词演算系统。与“非经典逻辑”相对。其主要特征为:(1)有真假二值的逻辑;(2)以实质蕴涵为基础的真值函项逻辑;(3)设定个体域非空,即量词无例外 ......    （本文共 210 字 ）     [阅读本文] >>