| 应用逻辑 applied logic 现代形式逻辑、即数理逻辑分类中的一种。现代的逻辑学家通常把现代形式逻辑区分为基本逻辑(包括标准逻辑和非标准逻辑)、元逻辑(包括逻辑语形学、逻辑语义学和逻辑语用学)和应用逻辑三大类。而把应用逻辑看作是基本逻辑和元逻辑(二者都是作为一般逻辑理论系统的纯逻辑或理论逻辑)在某种具体科学领域中的应用而形成的逻辑系统。如认识逻辑，问题逻辑，规范逻辑，时态逻辑，量子论逻辑，电路分析逻辑等等。在中国，也有人把运用普通逻辑和数理逻辑的基本原理去研究某一学科领域中的特殊逻辑问题称作应用逻辑。如法学逻辑、医学逻辑、教育逻辑、语言逻辑等等。 |