КАНТ (Kant) Иммануил (1724—1804) — немецкий философ, основоположник немецкого классического идеализма. В течение четырех десятилетий он преподавал общую формальную логику в Кенигсбергском университете. Основная черта его философии — примирение материализма с идеализмом. Главную цель философии Кант видел в том, чтобы ограничить разум и очистить место для веры. Объективно существующие вещи («вещи в себе») непознаваемы. Пространство и время — всего лишь априорные (доопытные) субъективные формы чувственного созерцания.
Кант считал, что за две тысячи лет, прошедших со времени жизни основателя традиционной логики Арис-то|оеля (334—322 до н. э.), эта логика не сделала ни одного шага вперед.
Традиционная, или элементарная, общая логики, по Канту, абстрагируется от содержания мышления и интересуется только формой. Она исследует априорные, не зависимые от опыта правила мышления, в отрыве от содержания мышления. Кант говорил, что логика «отвлекается от всякого содержания знания, а следовательно, и от самих вещей» [165, стр. 54]. Традиционная логика учит лишь правилам рассудка вообще и не имеет никакого отношения к тому, как находить какие-либо новые истины, расширять знания. Перед логикой, по Канту, стоит лишь одна задача: указать условия, при которых рассудок избегает самого опасного для него состояния — противоречия самому себе.
Кант признает существование всех четырех формально-логических законов, но по-своему определяет их роль в познании. Законы тождества и противоречия он считает самым важным принципом, который ориентирует рассуждающего человека на ступени возможного знания. Вторым формальным принципом он называет закон достаточного основания, направляющий мышление па ступени действительного (ассерторического) знания, и закон исключенного третьего — на ступени необходимого (аподиктического) знания.
Определив суждение как функцию единства среди многообразия представлений, Кант ввел деление суждений на аналитические и синтетические суждения. Аналитические суждения, по Канту,— это лишь новая форма выражения данной мысли, а синтетические суждения приносят в предикате нечто новое в отношении содержания субъекта. Логики-материалисты критикуют резкое противопоставление Кантом аналитических и синтетических суждений и отрицание им перехода синтетических суждений в аналитические. Кант разработал классификацию суждений по количеству, качеству, отношению и модальности. Умозаключения он делил на умозаключения (непосредственные) и умозаключения разума (опосредованные).
В теории умозаключения Кант отрицал значение силлогистики, называя ее пустой ветошью, и признавал единственно правильной формой категорического силлогизма только его первую фигуру.
Признав традиционную логику недостаточной для познания, Кант разрабатывал трансцендентальную логику (см.), исследующую априорные, доопытные формы сознания. Центральная проблема его теории познания — как возможны синтетические суждения a priori. Трансцендентальную логику он представлял как логику теоретико-познавательную, философскую. Законы и правила этой логики первичны по отношению к «вещам в себе». Критерием истины он называл соответствие мыслей доопытным законам рассудка. Следует отметить, что свою трансцендентальную логику Кант разрабатывал с помощью инструментария общей (формальной) логики. Формальная логика и ее законы, считал он, действует на всех ступенях человеческого мышления.