数理逻辑的研究目的 逻辑( Logics)研究的是有效的推理方法,数理逻辑 ( Mathematica| Logics)就是用数学化(符号化) 的手段,研究有效的推理方法 什么是有效的推理方法? a有效的推理方法应具备保真性,即如果推理前提真, 则推理结论真 b有效的推理方法的保真性应是普遍的,即不同的人, 在不同的语义环境下使用同样的推理方法,获得真假 性相同的结论 例子:三段论 他是医生,所以他是大夫2 数理逻辑的研究目的 ◼ 逻辑（Logics）研究的是有效的推理方法，数理逻辑 （Mathematical Logics）就是用数学化（符号化） 的手段，研究有效的推理方法 ◼ 什么是有效的推理方法? a 有效的推理方法应具备保真性，即如果推理前提真， 则推理结论真 b 有效的推理方法的保真性应是普遍的，即不同的人， 在不同的语义环境下使用同样的推理方法，获得真假 性相同的结论 ◼ 例子：三段论 他是医生，所以他是大夫