Трансцендентальна логіка. Розподіл знання по Канту
Кантівська критика метафізики призвела до перегляду того, що і як повинна вивчати філософія. І перш за все вона виявила порожнечу тієї логіки, якою користувалася традиційна метафізика. Ця логіка, яку Кант називав "загальною логікою", розглядала тільки форму судження і умовиводи, не зачіпаючи їх змісту. Наприклад, якщо ми візьмемо умовивід: "Всі люди смертні. Кай - людина, отже, Кай смертний ", то це умовивід вірно не тому, що в ньому мова йде про людей і якомусь Кай, який теж людина. Воно вірно по своїй формі, в якій всі змістовні компоненти легко замінюються невизначеними символами: всі А суть У, Х є А, отже, Х є В.
Недолік такої формальної логіки Кант бачив у тому, що вона не дозволяє отримувати нового знання, а тільки перетворить вже наявне знання. Це логіка аналізу, а не логіка синтезу. Разом з тим наші судження, згідно Канту, діляться на аналітичні і синтетичні. Аналітичні судження як би розкривають зміст наших понять; наприклад, "трикутник - це плоска геометрична фігура, що має три кути", або: "холостяк - це неодружений чоловік". Нове тут з'являється тільки для тих, хто не знає значень відповідних слів. Прикладами синтетичного судження можуть бути судження типу: "ця троянда червона", "2 +5 = 7". Адже в понятті троянди не укладено того, що вона обов'язково повинна бути червона, троянди бувають і жовті. Тому тут ми маємо синтез - синтез уявлення про червоному кольорі та подання про квітку троянди.
Якщо загальна логіка регулює відносини між судженнями відповідно до їх форми, то її абсолютно не цікавить, як відбувається синтез змісту всередині самого судження. Для цієї логіки судження, яким би воно не було, - це гранична логічна одиниця, логічний "атом". Але існують правила освіти суджень, вважає Кант, які принципово відрізняються від правил звичайної логіки. Згідно з цими правилами як раз і відбувається синтез за типом: 2 +5 = 7. Ні в понятті двійки, ні в понятті п'ятірки не міститься безпосереднього поняття їх суми та її чисельного значення. І правила синтезу цього змісту повинні з'ясовуватися в особливій логіці, яку Кант називає трансцендентальної. На відміну від звичайної "загальної логіки", основи якої заклав Арістотель, і яку культивували середньовічні схоласти, ця логіка має бути логікою судження, а не логікою міркувань. Це логіка синтезу змісту, а не логіка аналізу форми.
Трансцендентальний - значить виходить за межі. У випадку з логікою це означає, що вона вперше виходить за межі суб'єкта, що було неможливо для звичайної логіки. Трансцендентальна логіка Канта розглядає не тільки відносини між судженнями суб'єкта. Займаючись правилами освіти суджень, вона змушена розглядати відношення суб'єкта до об'єкта, ставлення пізнає людини до об'єктивного світу.
Таким чином, трансцендентальна логіка у Канта обертається теорією пізнання нового типу. При цьому в ній йдеться про правила освіти суджень двох видів: апостеріорних і апріорних.
"Апостеріорі" буквально перекладається як "після досвіду", "апріорі" - "до досвіду". Прикладом синтетичного судження апостеріорі є судження "троянда красна", оскільки тут синтез заснований на чуттєвому сприйнятті, тобто він здійснений після того, як ми побачили червону троянду. Інша справа синтетичне судження апріорі, типу "2 +5 = 7". Таке судження ми можемо висловити до того, як отримаємо можливість на досвіді складати два предмети і п'ять предметів, отримуючи в результаті цього сім предметів. Приміром, уже до того, як саджати дерева у ями, ми можемо точно встановити, що ям повинно бути рівно стільки, скільки дерев.
Кант поділяє всі знання на дослідне (a posteriori) та додосвідні (a priori). Спосіб утворення цих знань різний: перше виводиться індуктивним шляхом, тобто на основі узагальнень даних досвіду. У ньому можливі помилки, помилки. Наприклад, судження - "Всі лебеді білі" здавалося істинним, поки в Австралії не побачили чорного лебедя. І хоча природа багатьох знань заснована на досвіді, це не означає, що всі знання можна отримати лише дослідним шляхом. Вже те, що досвід ніколи не закінчується, означає, що загальне знання він не дає. Кант вважає, що всяке загальне і необхідне знання є апріорним, тобто додосвідні і позадослідні за своїм принципом.
У свою чергу апріорні судження Кант поділяє на два типи: аналітичні (коли предикат тільки пояснює суб'єкт) і синтетичні (коли предикат додає нове знання про суб'єкта).