Синтетические априорные суждения составляют фундамент всей теории научного знания у Канта. Без признания их наличия невозможно даже поставить вопрос о возможности метафизики как науки. Соединяя в этих суждениях априоризм и синтетичность, перебрасывая мост между тем, что сам же он до этого разобщил, Кант в вопросе об этих суждениях, в которых он видит идеал приращения знаний, выдвигает по сути дела диалектическую проблематику. В действительности то, что Кант считает предикатами синтетических априорных суждений, не происходит из какой-то чудодейственной силы чистого сознания, оно либо до этого уже имелось в содержании субъектов суждений, либо заимствуется из прошлого внешнего опыта. Это заметил уже Фейербах. Содержание субъектов суждений в свою очередь может иметь различное происхождение — из опыта, из других суждений, из гипотез и конструктов-идеализаций. Но Кант стремится утвердить тезисы о творческой миссии внеопытного сознания и о рациональном познании, независимом от познания чувственного. Гегель увидел в этом стремлении диалектику:
Главная заслуга Канта в вопросе о синтетических априорных суждениях иная. Она состоит в постановке реальных проблем: если всякое эмпирическое знание нуждается в содержательных предпосылках, то откуда они берутся? И если аналитическое знание в логическом смысле слова «тавтологично», то откуда все-таки в математике и вообще в формальном знании берется его приращение? Безусловно, Кант проявил большую проницательность, обнаружив, что рассуждения Эвклида в его знаменитых «Началах» не сводимы к чисто аналитической дедукции и в нее вкраплены некие добавочные сведения наглядного, хотя и крайне абстрактного созерцания. Но решение вопроса о характере этого созерцания Кант стал искать не в очень определенном направлении. Исследователи логических основ науки после Канта стали склоняться в пользу аналитичности предложений математических аксиоматик. Надо присмотреться к проблеме аналитичности.
У Канта различие между аналитическим и синтетическим проистекает в конечном счете из различия между соответствующими методами: рассуждение аналитично, если оно не вводит новых индивидуальных объектов и не утверждает их бытия или небытия, но синтетично, если вводит их и утверждает нечто о их существовании. Именно последнее бывает в математике, где часто судят «на основании одного лишь конструирования понятий…» и где конструирует само определение. Это и будет своеобразная абстрактная (нечувственная!) чувственность интуиции геометра, в которой диалектически по сути дела соединяются противоположности чувственного и рационального (ср. 63, гл. IX).
Уповая на существование синтетических априорных суждений, Кант надеялся объяснить и обосновать возможность «чистой» (теоретической) математики. Но вместе с тем возникают вопросы об обосновании иных наук — особенно тех, что пользуются математикой, — а также областей познания, пока лишь претендующих на научность. Речь идет здесь прежде всего о философии.
Соответственно этому кругу вопросов Кант расчленяет познавательную способность сознания в целом («разум» в широком смысле слова) на три различные
Соответственно трем вопросам, обращенным на три способности познания, гносеология Канта делится на трансцендентальную эстетику, трансцендентальную аналитику и трансцендентальную диалектику. Две последних вместе составляют трансцендентальную логику. А что такое «трансцендентальный»?