Это фундаментальное изменение в таблице логических суждений вводится с наивным утверждением, что «разновидности мышления в суждениях», неважные в общей логике, «могут быть важны в области ее чистого априорного знания». В «Критике способности суждения» [702] мы находим следующий отрывок:
«Трудность видели в том, что мои деления в чистой философии почти всегда были трехчастными. Но это лежит в самой природе дела. Если должно быть сделано априорное деление, оно должно быть либо аналитическим, согласно закону противоречия, и тогда оно всегда двучастно (quodlibet ens est aut A aut non A); либо синтетическим. И если в последнем случае оно выводится из априорных понятий (а не, как в математике, из априорного созерцания, соответствующего понятию), деление необходимо должно быть трихотомией. Ибо согласно тому, что требуется для синтетического единства вообще, должны быть (1) условие, (2) обусловленное и (3) понятие, возникающее из соединения этих двух».
Последняя стадия, как она выражена в «Критике», была, как мы уже отмечали, лишь применением его более раннего положения о том, что всякое мышление есть суждение. Это понимание неразрывной связи категорий с актом суждения является принципиально верным и чревато многими из наиболее ценных результатов критического учения. Но эти плодотворные следствия вытекают только из линий, развитых в трансцендентальной дедукции. Они связаны с фундаментальным коперниканским открытием Канта о том, что категории являются формами синтеза и, соответственно, выражают функции или отношения. Категории больше нельзя рассматривать, на манер «Диссертации» [703], как дающие понятия объектов. Взгляд на понятие, который мы находим в «Диссертации», действительно применяется в «Критике» к пространству и времени — они принимаются как сами по себе созерцания, а не просто как формы созерцания, — но категории признаются имеющими совершенно реляционный характер. Хотя они и априорны, они сами по себе не являются завершенными объектами сознания и, следовательно, не могут раскрыть никакой объект. Они — функции, а не содержания. Однако это забегание вперед. Мы должны сначала выполнить, насколько это возможно кратко, неблагодарную задачу — подробнее остановиться на надуманном, произвольном и противоречивом характере детальной разработки метафизической дедукции. Дедукция приведена в разделах II и III.
Раздел II. Логическая функция рассудка в суждении. [704] — Здесь можно отметить вводное утверждение Канта. Если, говорит он, мы оставим без внимания содержание любого суждения и обратим внимание только на чистую форму, мы «найдем», что функцию мышления в суждении «можно» подвести под четыре рубрики, каждая из которых имеет три подразделения. Но сам Кант в этом же разделе самым откровенным и явным образом признает, что необходимые различия могут быть получены только при принятии во внимание как материи, так и формы суждений. И даже если не учитывать это противоречие, термин «найти» можно считать законным только в том случае, если соответствующим образом подчеркнуто слово «может». Эти различия не были выведены из какой-либо существующей логики. Они были достигнуты только путем максимально свободного обращения с классификациями, используемыми в то время. Изучение таблицы суждений и ее сравнение с таблицей категорий дают убедительное доказательство того, что первая была переработана в высшей степени искусственным образом, чтобы дать более или менее предопределенный список требуемых категорий.
1. Количество. — Кант здесь откровенно отходит от классификации суждений, принятой в формальной логике; и причина, которую он приводит для этого, находится в прямом противоречии с его требованием, чтобы учитывалась только форма суждения. «Количество знания», о котором здесь идет речь, определяется не формой, а только содержанием суждения. Также утверждение, что единичное суждение относится к общему как единство к бесконечности (Unendlichkeit), решительно открыто для сомнения. Общее само по себе является формой единства, как Кант фактически признает, выводя, как он это делает, категорию единства из общего суждения.
2. Качество. — Кант вносит аналогичную модификацию в логическую трактовку качества, различая утвердительные и бесконечные суждения. Положение «А есть не-В» следует рассматривать как не утвердительное и не отрицательное. Поскольку содержание предиката включает бесконечное число вещей, которые не суть В, суждение является бесконечным. Кант весьма искусственным и несколько произвольным образом ухитряется определить его как ограничительное по характеру, и, таким образом, одновременно разделяющее природу как утверждения, так и отрицания. Тем самым подготавливается путь для «открытия» категории ограничения.
3. Отношение. — Вольф, Баумгартен, Мейер, Баумейстер, Реймарус и Ламберт с очень незначительными различиями соглашаются в следующем делении: [705]
Judgments–Simple = Categorical Complex–Copulative (i.e. categorical with more than one subject or more than one predicate). Hypothetical. Disjunctive.
Кант опускает копулятивное суждение и, игнорируя различие между простыми и сложными суждениями (которое у Реймаруса, а также менее определенно у Вольфа, связано с различием между условными и безусловными суждениями), ухитряется подвести оставшиеся три типа суждений под новую рубрику «отношения». Они никогда раньше не координировались таким образом и никогда раньше не подводились под этот конкретный заголовок. Совершенно неясно, почему такие различия, как между простыми и сложными, обусловленными и безусловными, должны игнорироваться и почему копулятивное суждение не должно признаваться наряду с гипотетическим. Критерий важности и неважности Канта в различиях, используемых логиками его времени, был сугубо личным; и, хотя его трудно определить, он, безусловно, не был продиктован никакой логикой, восходящей к аристотелевским источникам. Его изложение повсюду контролируется предзнанием тех конкретных категорий, которые он желает «открыть».
4. Модальность. — Ни Вольф, ни Реймарус не дают никакого описания модальности. [706] Баумгартен классифицирует суждения как чистые или модальные (существующие в четырех формах: необходимости, случайности, возможности, невозможности). Баумейстер и Томазий также признают четыре формы модальности. Мейер различает чистое суждение (judicium purum) и нечистое суждение (judicium modale, modificatum, complexum qua copula), но не классифицирует формы модальности. Только Ламберт [707] классифицирует суждения как «возможные, действительные (wirklich), необходимые и их противоположности». Но когда Кант принимает это трехчастное деление, включение действительности делает общий заголовок «модальность» неприменимым в его традиционном смысле. Выражение действительности в ассерторическом суждении не предполагает никакой адвербиальной модификации предиката. Кроме того, в своих «утвердительных» и «категорических» формах оно уже было использовано для получения двух других категорий.
Кант говорит о проблематических, ассерторических и аподиктических формах суждения как о представляющих стадии, через которые проходит знание в процессе своего развития.
«Эти три функции модальности суть столько же моментов мышления вообще».
Это утверждение было восхвалено Кэрдом [708] как предвосхищение гегелевской диалектики. На самом деле замечание Канта неуместно и вводит в заблуждение. Продвижение от сознания проблематического через определение его как действительного к его объяснению как необходимого представляет собой лишь психологический порядок в уме индивида. Логически знание возможного покоится на знании действительного и необходимостей, составляющих действительное, и предполагает их. [709]
Раздел III. [710] Категории или чистые понятия рассудка. — Первые три страницы этого раздела, начинающиеся словами «Общая логика абстрагируется» и заканчивающиеся словами «покоятся на рассудке», по-видимому, являются более поздней вставкой. Воплощая в себе некоторые фундаментальные идеи трансцендентальной дедукции, они выражают окончательный метод Канта различения между общей и трансцендентальной логикой. Но они тем не менее не согласуются с другими разделами метафизической дедукции. Они носят характер запоздалой мысли, даже если эта мысль представляет собой более зрелую и адекватную точку зрения. В A 55-7, где Кант определяет различие между общей и трансцендентальной логикой, последняя формулируется в полной независимости от всякого обращения к чистому созерцанию. [711] Кант, действительно, утверждает [712], что подобно тому, как существуют как чистые, так и эмпирические созерцания, существуют как чистые, так и эмпирические понятия. Но нет никаких указаний на то, что он уже осознал тесную взаимозависимость двух типов априорных элементов. Даже когда он переходит в A 62 к замечанию, что эмпирическое применение чистых понятий обусловлено тем фактом, что объекты даны в созерцании, не делается никакой специальной ссылки на «многообразие чистого априорного созерцания». Теперь, однако, Кант подчеркивает как фундаментальную характеристику трансцендентальной логики ее обладание чистым многообразием, через обращение к которому ее чистые понятия обретают смысл. Таким образом, трансцендентальная логика не только не абстрагируется от чистых априорных понятий, но и обладает априорным материалом. [713] Именно в этом двояком смысле она теперь рассматривается как отличающаяся от формальной логики.
Отчеты о метафизической дедукции, данные Коэном [714], Кэрдом [715], Рилем [716] и Уотсоном [717], искажены неспособностью заметить, что эта последняя точка зрения является поздним развитием и не согласуется с остальной частью дедукции. Изложение Риля, однако, имеет достоинство сравнительной последовательности. Он прямо признает важное следствие, которое немедленно вытекает из принятия этого более позднего взгляда, а именно: что категории отличаются от понятий, определяющих формы суждения, тем, что они предполагают пространство и время; другими словами, что категории актуализируются только как схемы. Категория субстанции, например, отличается от чисто логического понятия пропозиционального субъекта тем, что является понятием того, что всегда есть субъект и никогда не есть предикат; и такая концепция имеет для нас специфический смысл только как постоянное во времени. Логические субъекты и предикаты, если не считать количественных отношений, взаимозаменяемы. Отношение между ними есть аналитическое отношение тождества. Понятие субъекта, с другой стороны, рассматриваемое трансцендентально, то есть как категория, есть постижение того, что является постоянным, в синтетическом отличии от его изменяющихся атрибутов и в отношении к ним. Другими словами, трансцендентальное различие между субстанцией и акциденциями подставляется вместо различия между субъектом и предикатом. Аналогичным образом логическое отношение основания и следствия, понимаемое как выражающее логическое тождество, уступает место синтетическому временному отношению причины и действия. И так со всеми другими чистыми формами. Как категории, они являются схемами. Кант фактически признал это названиями, которые он дает категориям отношения. Но правильное признание необходимой взаимозависимости созерцательных и концептуальных форм пришло слишком поздно, чтобы помешать ему провести различие между категориями и схемами и тем самым создать для себя искусственные трудности раздела о схематизме.
В A 82 Кант заявляет, что намеренно опускает определения категорий. У него были веские причины для этого. Попытка привела бы его к многочисленным трудностям, поскольку его взгляды были еще недостаточно зрелыми, чтобы позволить ему увидеть путь к спасению. В A 241 (опущенном во втором издании) Кант, однако, делает прямо противоположное утверждение, что определение категорий невозможно, обосновывая это тем, что в изоляции от условий чувственности они являются лишь логическими функциями, «без малейшего указания на то, как они могут обладать смыслом и объективной значимостью». [718]
Нельзя слишком часто повторять, что «Критика» — это не единое произведение, а лоскутная запись двенадцати лет непрерывного развития. Некоторые части трансцендентальной дедукции, одной из которых является A 76-9, представляют собой самые поздние из всех многих стадий; и их учение, если его принять, требует радикальной переработки метафизической дедукции. Приведение всей «Критики» в соответствие с ее самыми зрелыми частями было бы геркулесовым трудом; и это было то, чему Кант, которому тогда было пятьдесят семь лет, совершенно справедливо не желал жертвовать временем, остро необходимым для написания других его «Критик». Представленный перед нами отрывок — одна из многих вставок, с помощью которых Кант пытался придать внешнее единство тому, что при внимательном изучении оказывается простой записью последовательных и противоречивых взглядов. Тем временем, имея дело с этим отрывком, мы заботимся лишь о том, чтобы отметить, что если этот более поздний способ определения трансцендентальной логики будет принят, то придется внести далеко идущие модификации в критическое учение Канта. Другие пункты, развитые в A 76-9, мы обсудим ниже [719] в их надлежащей связи.
Та же функция и т. д. [720] — Этот отрывок уже был достаточно прокомментирован. [721] Кант здесь выражает в совершенно неадекватной манере точку зрения трансцендентальной дедукции. Подразумевается, что аналитическое и синтетическое мышление равноправны, и одна и та же способность осуществляет на этих двух уровнях одни и те же операции. Истинное критическое учение состоит в том, что синтетическое мышление является единственно фундаментальным и что только путем возврата к нему суждения могут быть адекватно объяснены. Этот отрывок, как и предыдущий, может быть более позднего происхождения, чем основные разделы метафизической дедукции.
Термин «категории» [722] заимствован у Аристотеля. — Ср. ниже, с. 198.
Таблица категорий. Количество. — Кант выводит категорию единства из общего [723], а категорию совокупности (Allheit) [724] — из единичного. Эти выводы чрезвычайно искусственны. В «Рефлексиях» (ii. 563) Кант выбирает более естественный путь отождествления совокупности с общим, а единства — с единичным. Вероятно [725], причина изменения взглядов Канта заключается в необходимости получения совокупности путем объединения единства с множественностью. Это может быть сделано только в том случае, если всеобщность приравнивается к единству. Объяснение Уотсона [726], что Кант изменил порядок категорий, по-видимому, ошибочно.
Качество. — Ср. выше, с. 192.
Отношение. — Корреляция категорического суждения с понятием субстанции и атрибута возможна [727] только благодаря пренебрежению Кантом реляционного суждения и доминированию в его логическом учении аристотелевского взгляда на предикацию как на отношение субстанции и атрибута. Корреляция также открыта для сомнения в том, что отношение субъекта и предикатных терминов в логическом суждении является обратимым. Это долгий путь от просто грамматического субъекта к понятию того, что всегда является субъектом и никогда не является предикатом.
Отождествление Кантом категории общения или взаимодействия с разделительным суждением, хотя на первый взгляд кажется самым произвольным из всех, не более таково, чем многие другие. На его существенной правильности настаивали в современной логике Зигварт, Брэдли и Бозанкет. По личному мнению Канта [728], координация в форме сосуществования возможна только через взаимное взаимодействие. Отношение целого и части (части в своих отношениях взаимного исключения исчерпывают и составляют подлинное целое) таким образом становится, в своем применении к действительным существованиям, отношением взаимной причинности. Обратное также верно; взаимодействие возможно только между существованиями, которые вместе составляют единство. [729] Кант возвращается к этому пункту в примечании 3, добавленном во втором издании. [730] Возражение, которое Кант там рассматривает, было очень остро сформулировано Шопенгауэром.
«Какая реальная аналогия существует между проблематическим определением понятия через разделительные предикаты и мыслью о взаимодействии? Они действительно абсолютно противоположны, ибо в разделительном суждении действительное утверждение одного из двух альтернативных положений есть также необходимо отрицание другого; если, с другой стороны, мы мыслим две вещи в отношении взаимодействия, утверждение одной есть также необходимо утверждение другой, и vice versa».
Ответ на эту критику находится в русле, предложенном Кантом. Различные суждения, составляющие дизъюнкцию, не просто отрицают друг друга, если рассматривать их как части дизъюнкции; они взаимно предполагают друг друга в общем комплексе. Шопенгауэр также не замечает, что, помещая часть реального целого в одну часть пространства, мы исключаем ее из всех остальных. [732]
Модальность. — Существование отдельных категорий модальности кажется весьма сомнительным. Понятия возможного и вероятного могут рассматриваться как производные; понятие существования, по-видимому, не отличается от понятия реальности; а необходимость, по-видимому, в конечном анализе сводится к понятию основания и следствия. Это пункты, которые будут обсуждаться позже. [733]
Десять категорий Аристотеля [734] перечислены Кантом в «Рефлексиях» (ii. 522) [735] как: (1) substantia, accidens, (2) qualitas, (3) quantitas, (4) relatio, (5) actio, (6) passio, (7) quando, (8) ubi, (9) situs, (10) habitus; и пять постпредикаментов как: oppositum, prius, simul, motus, habere. Исключив quando, ubi, situs, prius и simul как способы чувственности; actio и passio как сложные и производные; а также опустив habitus (состояние) и habere как слишком общие и неопределенные по значению, чтобы составлять отдельные категории, мы остаемся с substantia, qualitas, quantitas, relatio и oppositum. Самым серьезным недостатком этого сокращенного списка, с кантовской точки зрения, является отсутствие причинности. Однако любопытное совпадение, что когда субстанция берется как форма relatio, а oppositum — как форма качества, мы остаемся с тремя группами: качество, количество, отношение. Только модальности не хватает, чтобы завершить собственную четырехчастную группировку Канта. Тем не менее, как достаточно доказывает изучение «Рефлексий» Канта [736], Кант пришел к своей метафизической дедукции совершенно иным путем. У Уотсона, по-видимому, нет никаких оснований для утверждения [737], что вышеуказанный модифицированный список категорий Аристотеля «дал Канту отправную точку». Именно там, как показывает ссылка на Аристотеля в его письме Герцу от 1772 года, он впервые искал помощи, но лишь для того, чтобы разочароваться в своих ожиданиях.