От трансцендентальной логики, составлявшей часть теории познания, Кант отличал общую формальную логику, курс которой он в течение ряда лет читал в Кенигсбергском университете. Один из студентов, слушавших его лекции по логике, Г. Б. Еше (Jasche), ставший впоследствии профессором Деритского университета, обработал свою запись лекций Канта в качестве учебника логики и опубликовал еще при жизни Канта в 1800 г. — сочинение «Логика Канта». Поскольку Еше не придерживался порядка изложения Канта и не преследовал цели дать буквальное изложение его лекций, эта его книга не может рассматриваться как сочинение (самого Канта, ио в общем в ней правильно изложены кантовские логические идеи.
В этой книге введение озаглавлено «О понятии логики», речь идет здесь о предмете и задачах логики по Канту.
По этому вопросу Кант развивал следующие положения.
Все в природе происходит по определенным правилам, так как вся она, собственно, есть связь явлений по правилам. И человеческий рассудок в своих действиях тоже связан правилами. Но правила мы можем применять, не сознавая их. Так, не зная грамматики, люди говорят по правилам грамматики, хотя и не сознают их.
Изучение правил, по которым действует рассудок, и составляет задачу логики, однако, по мнению Канта, логика должна изучать лишь правила «рассудка вообще», лишь априорные, не зависимые от опыта правила мышления, которые необходимы при всяком употреблении рассудка, а не определенные правила употребления его в тех или иных науках.
По определению Канта, логика есть наука о необходимых законах. Кант выдвигает идею логики, изучающей форму мышления в отрыве от его содержания, т. е. независимо от объектов мышления. Соответственно такому пониманию он заявляет, что логика служит основой всех остальных наук и проводником для правильного употребления рассудка, но она не может быть органом наук, не может служить указанием, как открывать научные истины в той или иной области знания, поскольку обьекты и источники наук остаются вне поля зрения логики. В отличие от логики математика, по Канту, есть орган наук.
Кант выступает против Бэкона, считавшего задачей логики открытие приемов нахождения новых научных истин. По Канту, задача логики — служить не расширению знаний, а давать правила для исследования состоятельности положений любой науки. При этом Кант ссылается на канонику Эпикура, которая якобы носила характер такой формальной логики. На самом же деле Эпикур со своей школой в понимании задач логики был единомышленником Бэкона и противником тех положений, которые выдвигает Кант. Здесь у Канта сказывается недостаточное знакомство с историей древней философии.
Кант говорит, что логика есть канон, а не органон, поскольку она есть наука о необходимых законах мышления, являющихся условиями, при соблюдении которых рассудок не противоречит самому себе. Правильное мышление он определяет как мышление непротиворечивое. У Канта намечается нормативистическое понимание логических законов мышления. По его учению, логические законы мышления говорят не о том, как действует рассудок, но о том, как должно мыслить. Поэтому он резко отмежевывает логику от психологии мышления и от всякого опыта вообще. Логика, по его мнению, имеет дело не с фактами, а с долженствованием.
Кант предпосылает изложению системы логики краткий обзор истории логики.
Признавая «отцом логики» Аристотеля, Кант находит, что «Аналитика» Аристотеля изложена как органон истины, что он считает ошибочным. Заслугу Аристотеля он видит в том, что тот охватил все содержание логики, так что после Аристотеля логика не могла более обогащаться по содержанию, ей оставалось лишь совершенствоваться в отношении точности, определенности и отчетливости. Логика, по мнению Канта, принадлежит к числу тех немногих наук, которые сразу достигли такого устойчивого состояния, что уже более не изменяются. Это мнение Канта о неизменности логики разоблачает Энгельс.
Согласно Канту, Аристотель якобы «не упустил ни одного момента рассудка и в этом отношении мы лишь точнее, методичнее и аккуратнее»[74]
Логика Канта в отличие от аристотелевской является чисто субъективной и сугубо формалистичной, и ее философской основой является идеализм. Сам Кант критикует Аристотеля за то, что тот в своей логике «почти все сводит к пустым тонкостям»[75]
. (Здесь, очевидно, Кант имеет в виду данную им ранее критику аристотелевской силлогностики). От Аристотеля Кант переходит прямо к своим современникам: Ламберту и др. Он не находит нужным даже упомянуть о Франциске Бэконе. Кант оспаривает мнение тех, кто полагает, что «Органон» Ламберта весьма обогатил науку логику. То, что внес Ламберт в логику, представляет собой тонкости, не имеющие якобы существенного применения. (Следовательно, идея логического исчисления прошла мимо Канта).