純粹邏輯

純粹邏輯是德國康德邏輯學分類之一。與“套用邏輯”相對。在《純粹理性批判》一書中，康德首先將邏輯區分為“普通邏輯”、“先驗邏輯”與“特種邏輯”。然後，再將普通邏輯區分為“純粹邏輯”與“套用邏輯”。在康德看來，純粹邏輯“只研究先天的原則，是知性的準繩，也是理性的準繩，但只是關於知性和理性的套用中的屬於形式的東西，內容不拘是經驗的還是先驗的”。康德認為只有純粹邏輯才是科學。

他提出研究一般邏輯即純粹邏輯時，永遠要記住兩條規則：一、因為是一般邏輯，就要不管知性的知識的一切內容，也不管知識的一切對象的不同，只研究思想的單純的形式。二、因為是純邏輯，就與經驗的原則無關，它不是像有時所構想的，會以心理學中借用任何東西，因此心理學對知性的準繩毫無影響。純邏輯都是經過證明的理論，其中的一切都必定是完全先天地確實。先驗邏輯釋文見“辯證邏輯”類。