应用逻辑

运用逻辑学的一般原理研究一定范围内的特殊逻辑问题而形成的逻辑系统。康德早就把逻辑学划分为纯粹的和应用的，并认为应用逻辑“是对于知性及其必然的具体应用的规则的表述”（《纯粹理性批判》）。黑格尔说应用逻辑是“一种从事于具体认识的逻辑”（《逻辑学》）。正是在这个意义上，列宁把黑格尔的有关论述概括为“任何科学都是应用逻辑”（《列宁全集》第55卷第171页）。现代应用逻辑有很大发展，形成众多分支，如认识论逻辑（相信逻辑、知道逻辑、问题逻辑等），实践逻辑（优选逻辑、命令逻辑、义务逻辑等），物理应用逻辑（时态逻辑、空间逻辑、线路分析逻辑等）。