纯粹逻辑

康德对逻辑学分类的一种。与“应用逻辑”相对。在《纯粹理性批判》中，康德首先将逻辑分为“普通逻辑”、“先验逻辑”与“特种逻辑”。然后再将普通逻辑分为“纯粹逻辑”与“应用逻辑”，并把“纯粹逻辑”界定为：只研究先天的原则，是知性的准绳，也是理性的准绳。认为只有纯粹逻辑才是科学。
现代逻辑分类的一种。现代逻辑学家通常把现代形式逻辑区分为“基本逻辑”、“元逻辑”和“应用逻辑”三大类，而把前二者视为纯粹逻辑，作为“应用逻辑”的对称。