? ? ? ? 接著要理解一般邏輯的劃分?？档聦⒁话氵壿媱澐譃槠毡檫壿嫼吞胤N邏輯（工具論），普遍邏輯是先天的，特種邏輯是后天的。普遍邏輯又可分為純粹的普遍邏輯（形式邏輯）和應用的普遍邏輯（清瀉劑、辯證法）。前者普遍邏輯的主要部分，是康德真正要談?wù)摰摹?/p>

? ? ? ? 什么是特種邏輯？一般而言的邏輯、一般人所理解的邏輯都是普遍邏輯。但是在當時又存在許多在康德看來被稱為特種邏輯的邏輯，即根據(jù)不同學科的特點制定的、特定的方法工具的集合，即工具論。例如，在自然科學中，培根提出的“歸納法”，歸納邏輯和演繹邏輯是使用至今的。又例，針對形而上學的存在論，亞里士多德的“作為存在的存在”。又例道德學的研究方法，且道德學的研究方法與自然科學、形而上學的研究方法不一樣。特種邏輯的特點在于它是根據(jù)對象來設(shè)定的，不具備普遍性。特種邏輯僅對于適用的該學科是普遍的?？档聦μ胤N邏輯不以為然，他認為霍爾服派的特種邏輯不是真正的邏輯，他講授特種邏輯只是應付國王命令的教學任務(wù)。

? ? ? ? 普遍邏輯是先天的。純粹的普遍邏輯就是形式邏輯。例如三段論、演繹推理、判斷推理等。這些都是從亞里士多德開始，經(jīng)過了兩千余年的打磨的，幾乎無懈可擊。

? ? ? ? 應用的普遍邏輯是一些消極的規(guī)范，包括辯證法。康德認為辯證法帶有貶義，直到黑格爾才將辯證法扭轉(zhuǎn)為褒義。康德認為辯證法的作用是暴露、清除一些幻象。

? ? ? ? 應用的普遍邏輯追根溯源可以回到亞里士多德的形式邏輯——又稱“工具論”（與特種邏輯相區(qū)分）中的一部分。這其中的著作包括《分析篇》，用來講正面的邏輯原理；包括《辯謬篇》用來發(fā)現(xiàn)謬誤，排除謬誤，屬于應用領(lǐng)域。為什么會產(chǎn)生謬誤？亞里士多德認為是因為人們主觀上、在心理學上存在錯覺與幻覺。心理學意義上的謬誤包含后天的經(jīng)驗的成分，例如人類心靈的不完善性、易錯性。嚴格說來“辯謬”并不是純粹的普遍邏輯，而是應用的邏輯。建立辯謬的法則就是避免錯誤的法則。

? ? ? ?普遍邏輯之中，純粹的普遍邏輯是正面形式的邏輯，應用的普遍邏輯是負面形式的邏輯。

? ? ? ?純粹的普遍邏輯，即形式邏輯，在康德看來才是純粹的科學。其它邏輯在康德看來不算是邏輯的“本意”。邏輯必須是純粹的、普遍的。形式邏輯在認識中起什么作用？形式邏輯是先天的科學，是一切知識的條件。知性中就包含形式邏輯。這個先天條件是“消極條件”，是必要條件。這是指符合形式邏輯的知識不一定對，不符合形式邏輯的知識一定不對。邏輯上不矛盾的判斷不一定是知識，“頭頭是道不一定是真理”。例如，“金山是金色的”。這個形式邏輯判斷本身是無誤的，但是形式邏輯無法處理是否存在金山這一問題。盡管如此，形式邏輯也有一定的作用，它可以用于排除錯誤的可能性。形式邏輯最直觀的應用就是各類游戲，紙牌、棋類等。形式邏輯可以無視對象是否真實存在而運行。

? ? ? ? 形式邏輯只是抽象的形式，是分析的形式，因此它只可用于處理分析命題，無法用于綜合命題中。形式邏輯無法對經(jīng)驗判斷做出裁決。真正的知識要以先天綜合知識為前提才能建立起來，單靠形式邏輯是無法建立知識的。由此，康德引出了先驗邏輯，即以先天綜合判斷作為裁決對象的邏輯就是先驗邏輯。先驗邏輯以純粹理性本身作為對象和內(nèi)容，先驗邏輯作為先天知識采取這樣的結(jié)構(gòu)。形式邏輯沒有這些，它只是一種方法，先驗邏輯是有對象的，以先天認識（純粹理性）本身作為對象和內(nèi)容。區(qū)別于形式邏輯，先驗邏輯不是具備普遍性的邏輯，它無法用于現(xiàn)象界的任何實體對象之上。先驗邏輯只專門針對人的認識、針對真理。先驗邏輯是關(guān)于真理的邏輯，特別是先驗邏輯的分析論。形式邏輯是關(guān)于正確性的，而正確性和真理性是不一致的，盡管現(xiàn)代分析哲學將這兩類是混為一談的，分析哲學所謂的真理性就是語言上的正確判斷。

? ? ? ? 先驗邏輯也可以說是特種邏輯和形式邏輯的綜合。特種邏輯的特長在于它涉及對象，根據(jù)對象來建立邏輯。先驗邏輯是特種邏輯和形式邏輯特長的綜合，它既有形式邏輯的純粹性，又是有關(guān)對象的，該對象即真理。先驗邏輯用來探討認識論的，屬于認識論范疇。先驗邏輯不是后天經(jīng)驗的，與對象沒有直接關(guān)系，但是先驗邏輯與對象的先天知識形式有關(guān)系，它先天地來考察有關(guān)對象的先天知識。