純粹邏輯 chún cuì luó jí
康德對(duì)邏輯學(xué)分類(lèi)的一種。與“應(yīng)用邏輯”相對(duì)。在《純粹理性批判》中,康德首先將邏輯分為“普通邏輯”、“先驗(yàn)邏輯”與“特種邏輯”。然后再將普通邏輯分為“純粹邏輯”與“應(yīng)用邏輯”,并把“純粹邏輯”界定為:只研究先天的原則,是知性的準(zhǔn)繩,也是理性的準(zhǔn)繩。認(rèn)為只有純粹邏輯才是科學(xué)。
現(xiàn)代邏輯分類(lèi)的一種。現(xiàn)代邏輯學(xué)家通常把現(xiàn)代形式邏輯區(qū)分為“基本邏輯”、“元邏輯”和“應(yīng)用邏輯”三大類(lèi),而把前二者視為純粹邏輯,作為“應(yīng)用邏輯”的對(duì)稱(chēng)。