应用逻辑

应用逻辑是现代逻辑中一类大的学科群体，在哲学逻辑、非经典逻辑的概念提出之前，应用逻辑基本上涵盖了哲学逻辑和非经典逻辑的范围。应用逻辑是研究某一特殊的、或者是某一具体学科领域的推理理论，它是相对于纯逻辑是研究最一般的推理理论而言的。