Александр Маковельский - История логики

Рассмотрим те положения, из которых исходит Кант и на которых основывается его теория познания.

Он исходит прежде всего из деления признаков понятия на существенные (adesentiani pertinentia) и несущественные (extra-essentialia). Существенные признаки он подразделяет на существенные элементы (essentialia constitutisa), которые все заключаются в субъекте суждения, и на следствия (rationata).

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

Из этого деления признаков понятия вытекает принимаемая Кантом классификация суждений. Он делит суждения прежде всего на эмпирические (апостериорные) и не зависимые от опыта, «чистые» (априорные).

Наряду с этим он принимает второе деление суждений на: 1) абсолютно-идентичные, в которых понятие субъекта просто повторяется в предикате (их формула: «А = A», и они представляют собой просто тавтологию), 2) реально-идентичные, которые Кант называет аналитическими, и 3) синтетические суждения.

В аналитических суждениях в отличие от абсолютно-идентичных предицируется о субъекте суждения один из элементов его понятия. Например, суждение «золото есть золото» есть абсолютно-идентичное, а суждение «золото желто» есть релятивно-идентичное, аналитическое. Понятие А имеет признаки а, р, у, которые конституируют понятие A.

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

Через комбинирование двух приведенных выше делений у Канта получаются четыре вида суждений: 1) аналитические апостериорные, 2) аналитические априорные, 3) синтетические апостериорные и 4) синтетические априорные. Но первый случай оказывается лишь чисто воображаемым, так как ни одно аналитическое суждение не является эмпирическим, остальные три случая Кант признает действительными.

Аналитические суждения, по Канту, имеют своей формулой не «А=A» (это формула тавтологических, т. е. абсолютно-идентичных, суждений), но они имеют своей основой формальнологический закон противоречия, который Кант формулирует следующим образом: «Ни одной вещи не присущ предикат, ей противоречащий».

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

Наконец, четвертый вид суждений – синтетические априорные. Их возможность составляет проблему, решение которой служит задачей «Критики чистого разума».

Основной вопрос теории познания-сам Кант формулирует следующим образом: как возможны синтетические суждения a priori? Под синтетическими априорными, суждениями он понимает такие, в которых одно понятие находится в необходимой связи с другим понятием, не содержащимся в нем.

Главная проблема теории познания Канта – проблема возможности априорных синтетических суждений – расчленяется прежде всего на два вопроса: 1) о психологической возможности синтетических суждений a priopi и 2) о логической состоятельности этих суждений. Первый вопрос есть «вопрос факта» (quaestio facti), второй есть «вопрос права» (quaestio juris).

Файхингер основную цель «Критики чистого разума» Канта усматривает в решении двух вопросов: 1) как возможно совершенно чистое познание a priori и 2) как возможен опыт, заключающий в себе общие и необходимые элементы?

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

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

Критериями априорного знания Кант признает необходимость и всеобщность. Этих двух признаков достаточно, чтобы отличить априорное знание от апостериорного. В этом учении Канта сказывается его платонизм. Именно в диалоге Платона «Теэтет» всеобщность и необходимость впервые фигурируют как критерии разумного познания, которое одно только гарантирует полную достоверность и абсолютную истинность суждений. У Платона и у Канта иад опытным знанием возвышается априорное знание, единственно обладающее строгой всеобщностью, необходимостью, безусловной достоверностью.

Возражая Канту, Ибервег и Риттер в своих работах по логике указывали, что строгая всеобщность присуща и полной индукции, а Джон Стюарт Милль доказывал, что и эмпирическое знание может иметь признак необходимости.

Ход доказательства существования априорного знания у Канта Ибервег излагает следующим образом: опыт никогда не дает истинно всеобщего знания, и если в знании имеется истинная всеобщность, то она должна быть не эмпирической, а априорной, но так как действительно существуют строго всеобщие суждения, то, следовательно, они априорны. Критикуя Ибервега, Риль говорит, что он все кантовское доказательство «поставил вверх ногами». По Рилю, всеобщность и необходимость знания у Канта есть не основа аргументации, а проблема: она сама не есть основание доказательства. Не от всеобщности Кант умозаключает к априорности, но наоборот. Предпосылка всеобщенеобходимого знания вовсе не есть для Канта несомненный факт. Рассматривая этот спор между Ибервегом и Рилем, Файхингер говорит, что на самом деле Риль, а не Ибервег ставит вверх ногами доказательство Канта.