Но если главной проблемой, с которой сталкивается наука, оказываются вовсе не аналитические, а как раз синтетические суждения, а общая логика правомочна судить лишь аналитическую правильность, то неизбежным становится вывод, что кроме общей логики должна существовать и специальная логика, имеющая дело лишь с теоретическим  применением интеллекта, с правилами производства теоретических (по терминологии Канта, априорно-синтетических) суждений – суждений, которые мы вправе расценивать как всеобщие, необходимые и потому как объективные. «...Если у нас есть основание считать суждение необходимо общезначимым... то мы должны признавать его и объективным, т.е. выражающим не только отношение восприятия к субъекту, но и свойство предмета; в самом деле, на каком основании суждения других должны были бы необходимо согласоваться с моим, если бы не было единства предмета, к которому все они относятся и которому они должны соответствовать, а потому согласоваться также и между собой»[46].

Мы, правда, ещё ничего не знаем о предмете самом по себе, т.е. вне опыта всех людей вообще, но что в опыте всех настоящих и будущих людей, организованных так же, как и мы, он будет обязательно выглядеть точно так же (а потому любой человек может проверить справедливость нашего суждения) – за это теоретическое суждение обязано поручиться.

Отсюда Кант и делает вывод, что должна существовать логика (или, точнее, раздел логики), специально трактующая о принципах и правилах теоретического применения мышления или об условиях применения правил общей логики к решению специально-теоретических задач, к актам производства всеобщих, необходимых и тем самым объективных суждений. Такая логика уже не имеет права, в отличие от общей, игнорировать разницу между знаниями (представлениями) по их содержанию и происхождению. Она может и должна служить достаточным каноном (если и не органоном) для мышления, претендующего на всеобщность и необходимость своих выводов, обобщений и положений. Кант присваивает ей название трансцендентальной логики, или логики истины.

В центре внимания здесь, естественно, оказывается проблема так называемых синтетических действий интеллекта, т.е. действий, посредством которых достигается новое знание, а не просто разъясняется уже имеющееся в голове представление. Понимая под синтезом вообще «присоединение различных представлений друг к другу и понимание их многообразия в едином акте познания»[47], Кант тем самым придал синтезу роль и значение фундаментальной операции мышления, по существу и по времени предшествующей всякому анализу. Если анализ сводится к процессу разложения готовых представлений и понятий, то синтез как раз и выступает в качестве акта производства новых понятий. К этому акту, а значит, вообще к первоначальным, исходным формам работы мышления правила общей логики имеют весьма условное отношение.

В самом деле, говорит Кант, где рассудок ничего раньше не соединил, там ему нечего также и разлагать, и поэтому «наши представления должны быть уже даны раньше всякого анализа их, и ни одно понятие не может по содержанию возникнуть аналитически»[48]. Значит, первоначальными, фундаментальными логическими формами оказываются не принципы общей логики, не основоположения аналитических суждений (т.е. не закон тождества и запрет противоречия), а только всеобщие формы, схемы и способы соединения различных представлений в составе некоторого нового представления, схемы, обеспечивающие единство в многообразии, способы отождествления различного, объединения разнородного.

Так что, несмотря на формальный порядок своего изложения и вопреки ему, Кант, по существу, утверждает, что подлинно всеобщими – изначальными и фундаментальными – логическими формами являются вовсе не те формы, которые считались таковыми традиционной формальной логикой. Скорее они – «второй этаж» логической науки и, стало быть, производны, вторичны и верны лишь постольку, поскольку согласуются с более всеобщими и важными, с положениями, касающимися синтеза определений в составе понятия и суждения. 

Налицо полный переворот во взглядах на предмет логики как науки о мышлении. На этот пункт в изложениях кантовской теории мышления обычно не обращают достаточного внимания, хотя именно здесь он и оказывается подлинным родоначальником принципиально нового, диалектического этапа в развитии логики как науки. Кант впервые начинает видеть главные логические формы мышления в категориях, включая тем самым в состав предмета логики то, что вся предшествующая традиция относила к компетенции онтологии, метафизики и ни в коем случае не логики.

«Соединение представлений в сознании есть суждение. Следовательно, мыслить есть то же, что составлять суждения или относить представления к суждениям вообще. Поэтому суждения или только субъективны, когда представления относятся к сознанию в одном лишь субъекте и в нём соединяются, или же они объективны, когда представления соединяются в сознании вообще, т.е. необходимо. Логические моменты всех суждений суть различные возможные способы соединять представления в сознании. Если же они понятия, то они понятия о необходимом соединении представлений в сознании, стало быть, принципы объективно значимых суждений»[49].

Категории и есть «принципы объективно значимых суждений». Именно потому, что прежняя логика отворачивала свой взгляд от исследования этих фундаментальных логических форм мышления, она и не могла не только помочь своими рекомендациями движению научно-теоретического знания, но не могла и внутри своей собственной теории свести концы с концами. «Я никогда не удовлетворялся дефиницией суждения вообще, даваемой теми логиками, которые говорят, что суждение есть представление об отношении между двумя понятиями. Не вступая здесь в споры по поводу ошибочности этой дефиниции (хотя из неё возникли многие тяжёлые последствия для логики)... я замечу только, что в  этой дефиниции не указано, в чём состоит это отношение»[50].

Кант чётко поставил задачу понимания категорий как логических единиц, раскрытия их логических функций в процессе производства и обращения знания. Правда, как мы увидим ниже, к определениям категорий, заимствованным логикой у онтологии, он тоже не проявил почти никакого критического отношения. Однако задача была поставлена – категориальные определения были поняты как логические (т.е. всеобщие и необходимые) схемы или принципы связывания представлений в составе «объективных» суждений.

Категории как раз и представляют собою те всеобщие формы (схемы) деятельности субъекта, посредством которых вообще становится возможным связный опыт, т.е. разрозненные восприятия фиксируются в виде знания: «...так как опыт есть познание через связанные между собой восприятия, – продолжает Кант, – то категории суть условия возможности опыта и потому a priori применимы ко всем предметам опыта»[51] (курсив мой. – Э.И.). Поэтому любое суждение, претендующее на всеобщее значение, всегда заключает в себе – в явном или неявном виде – категорию: «Мы не можем мыслить ни одного предмета иначе как с помощью категорий»[52]

И если логика претендует на роль науки о мышлении, то она и должна развиваться именно как учение о категориях, как связная система категориальных определений мышления. Иначе она просто не имеет права называться наукой о мышлении. Таким образом, именно Кант (а не Гегель, как часто думают и говорят) увидел основное содержание логики в категориальных определениях знания, стал понимать логику прежде всего как систематическое изложение категорий – всеобщих и необходимых понятий, характеризующих объект вообще, тех самых понятий, которые по традиции считались монопольным предметом исследования метафизики.  Одновременно, что связано с самим существом кантовской концепции, категории суть не что иное, как универсальные формы (схемы) познавательной деятельности субъекта, чисто логические формы мышления, понимаемого не как индивидуально-психический акт, а как «родовая» деятельность человека, как безличный процесс развития науки, как процесс откристаллизовывания всеобщенаучного знания в индивидуальном сознании.