Сколько будет 2+2?

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

Формально-логическое суждение в основном строится по схеме: первая посылка - вторая посылка - вывод. Например: а = b; b = c; следовательно, а = с

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