Если, однако, мы исследуем формы суждения, различаемые формальной логикой, мы обнаружим, что они не предполагают категории. Чтобы увидеть это, необходимо лишь последовательно (seriatim) исследовать четыре основных деления суждения.
Первое деление суждений, как говорят, является делением по количеству на единичные, частные и всеобщие. В такой формулировке деление является числовым. Это деление суждений в зависимости от того, делают ли они утверждение об одном, более чем об одном или обо всех членах рода. Можно сказать, что каждый вид предполагает (1) понятие количества и (2) понятие, присущее только ему: первое предполагает понятие одного члена рода, второе — понятие более чем одного, но менее чем всех членов рода, третье — понятие всех членов рода. Более того, можно, пожалуй, сказать, что суждение каждого вида соотносит понятие предиката с понятием субъекта посредством одного из этих трех понятий.
Фундаментальное деление, однако, в которое входят всеобщие и единичные суждения, вовсе не является числовым и вообще игнорирует частные суждения. Это деление между такими суждениями, как «Трехсторонние фигуры как таковые являются трехугольными» и «Этот человек высокий». Существенное различие заключается в том, что во всеобщем суждении предикатный термин постигается как принадлежащий субъекту через наше прозрение того, что он необходим в силу природы субъектного термина, в то время как в единичном суждении наше постижение того, что предикатный термин принадлежит субъекту, основано на восприятии или опыте сосуществования предикатного и субъектного терминов в общем субъекте. Другими словами, это различие между априорным суждением и суждением восприятия. [27] Просто числово всеобщее суждение и просто числово частное суждение [28] являются просто совокупностями единичных суждений и поэтому в принципе неотличимы от единичного суждения. Если тогда мы спросим, какие понятия действительно предполагаются видами суждения, которые Кант стремится различить в первом делении, мы можем только ответить, что всеобщее суждение предполагает понятие связанного или систематического целого атрибутов, а единичное суждение предполагает понятие сосуществования двух атрибутов в общем субъекте. Ни один вид суждения не предполагает понятия количества или понятий единства, множественности и целокупности.
Второе деление суждений, как говорят, является делением по качеству на утвердительные, отрицательные и бесконечные, т. е. на виды, которые могут быть проиллюстрированы суждениями: «Колледж есть место образования», «Колледж не есть отель» и «Колледж есть не-отель». Задействованными понятиями, как говорят, являются понятия реальности, отрицания и ограничения соответственно. Понятие ограничения можно игнорировать, поскольку бесконечное суждение, которое якобы его предполагает, является фикцией. С другой стороны, понятия реальности и отрицания, даже если допустить их существование, нельзя признать предполагаемыми понятиями. Ибо когда мы утверждаем или отрицаем, мы утверждаем или отрицаем не просто бытие, а бытие определенного рода. Предполагаемыми понятиями являются скорее понятия тождества и различия. Только потому, что различия подпадают под тождество, мы можем утверждать, и только потому, что внутри тождества есть различия, мы можем отрицать.
Третье деление суждений, как говорят, является делением по отношению на категорические, гипотетические и разделительные суждения. Здесь, опять же, вывод, к которому стремится Кант, явно невозможен. Можно сказать, что категорическое суждение предполагает понятие субъекта и атрибута, но не понятие субстанции и акциденции. Можно допустить, что гипотетическое суждение предполагает понятие основания и следствия, но оно, безусловно, не предполагает понятие причины и действия. [29] Наконец, хотя можно сказать, что разделительное суждение предполагает понятие взаимно исключающих видов рода, оно, безусловно, не предполагает понятие взаимного действия между физическими вещами.
Четвертое деление суждения, как говорят, является делением по модальности на ассерторические, проблематические и аподиктические, причем задействованными понятиями являются соответственно понятия возможности и невозможности, действительности и недействительности, необходимости и случайности. Теперь, с точки зрения аргументации Канта, эти понятия, подобно тем, которые, как он считает, задействованы в других делениях суждения, должны рассматриваться как относящиеся к реальности, а не к нашему отношению к ней. Рассматриваемые таким образом, они сводятся к понятиям —
(1) невозможного (невозможность);
(2) возможного, но не действительного (возможность, несуществование);
(3) действительного, но не необходимого (существование, случайность);
(4) необходимого (необходимость).
Но поскольку в конечном итоге должно быть признано, что всякий факт необходим, невозможно допустить реальность понятия возможного, но не действительного, и действительного, но не необходимого. Остаются, следовательно, только понятия необходимого и невозможного. На самом деле, однако, различия между ассерторическим, проблематическим и аподиктическим суждением относятся к нашему отношению к реальности, а не к самой реальности, и поэтому не включают никаких различных понятий, относящихся к реальности. Следовательно, должно быть признано, что «метафизический» вывод категорий терпит крах вдвойне. Суждение, как его описывает Кант, не включает в себя формы суждения, заимствованные из формальной логики, в качестве своих существенных дифференциаций; и эти формы суждения не включают в себя категории.
ПРИМЕЧАНИЯ
[1] B. 20, M. 13.
[2] стр. 23-5.
[3] Ср. стр. 24, примечание 1.
[4] Ср. стр. 24, примечания 2 и 3.
[5] Например, понятие «причины и действия» и закон о том, что «все изменения происходят согласно закону связи между причиной и действием».
[6] Gesetzt.
[7] B. 121-3, M. 75-6.
[8] B. 120-1, M. 73-4.
[9] Ср. B. 137-8, M. 85, и B. 160 примечание, M. 98 примечание.
[10] B. 91-105, M. 56-63.
[11] B. 92-4, M. 56-7.
[12] B. 74-6, M. 45-6.
[13] Кант, иллюстрируя природу суждения, избегает трудности, вызванной его описанием восприятия, иллюстрируя «восприятие» «понятием тела», а «объекты» — «определенными феноменами». Тем самым он скрыто подменяет отношение всеобщего и индивида отношением явления и объекта, который его вызывает.
[14] Не общее описание суждения Канта, данное в этом отрывке, а несовместимое с ним описание восприятия заставляет его ограничивать свои иллюстрации всеобщими суждениями.
[15] Мы можем отметить три второстепенных момента. (1) Определение функции Кантом как «единства акта упорядочивания [т. е. акта, который производит единство путем упорядочивания] различных представлений под общим представлением» не имеет оправдания в своем непосредственном контексте и вызвано исключительно предстоящим описанием суждения. (2) Кант не имеет права отличать деятельность, которая порождает понятия или от которой они зависят, от деятельности, которая использует понятия, т. е. суждения. Ибо акт упорядочивания разнообразных представлений под общим представлением, который порождает понятия, является актом суждения, как его описывает Кант. (3) Совершенно искусственно говорить о суждении как о «представлении представления об объекте».
[16] B. 95, M. 58.
[17] Этим провалом в аргументации Канта объясняется трудность в прослеживании его перехода от «функции» к «функциям» суждений. Суждение, как его описывает Кант, всегда делает одно и то же; оно объединяет частности, подводя их под всеобщее. Эта деятельность не допускает дифференциации.
[18] Более того, формам суждения явно не хватает систематического характера, который Кант им приписывает. Даже если допустить, что подразделения внутри четырех основных заголовков количества, качества, отношения и модальности основаны на единых принципах деления, нельзя сказать, что сами четыре заголовка происходят из общего принципа.
[19] В случае третьего деления объединяемой множественностью будут два предшествующих суждения.
[20] Можно отметить, что описание не может быть просто неподходящим для общей проблемы, если оно несовместимо с тем, что предполагается формальной логикой.
[21] Это ожидание подтверждается взглядом Канта на то, что суждение вносит единство в множественность посредством понятия. Этот взгляд заставляет нас ожидать, что различные формы суждения — если таковые имеются — будут различаться разными понятиями, через которые они объединяют множественность; ибо естественно, что именно разные задействованные понятия ответственны за разные виды осуществляемого единства.
[22] B. 106, M. 64.
[23] B. 102-5, M. 62-3.
[24] Ср. стр. 166.
[25] B. 102-5, M. 62-3.
[26] Как мы увидим позже, реальная важность отрывка, в котором Кант претендует на осуществление перехода от форм суждения к категориям (B. 102-5, M. 62-3), заключается в введении им новой и важной линии мысли, на которой строится трансцендентальная дедукция. Рассмотрение его поэтому отложено до следующей главы.
[27] Я обязан этим взглядом на различие лекциям профессора Кука Уилсона по логике.
[28] «Некоторые коронеры — врачи», конечно, в некоторых контекстах означает «возможно, чтобы коронер был врачом», и поэтому не является числовым; но в этом смысле это лишь ослабленная форма всеобщего суждения, в которой связь, постигаемая между субъектным и предикатным терминами, является неполной.
[29] Несомненно, как показывает схематизм категорий, Кант не думает, что гипотетическое суждение непосредственно включает понятие причины и действия, т. е. отношения необходимой последовательности между различными состояниями физических вещей. Суть, однако, в том, что гипотетическое суждение не включает его вовсе.
ГЛАВА VIII
ТРАНСЦЕНДЕНТАЛЬНАЯ ДЕДУКЦИЯ КАТЕГОРИЙ
Цель трансцендентальной дедукции — показать, что категории, хотя и являются априорными, как возникающие в рассудке, значимы, т. е. применимы к индивидуальным вещам. Это та часть «Критики», которая привлекла наибольшее внимание и которую труднее всего проследить. Трудность интерпретации скорее увеличивается, чем уменьшается полным переписыванием этой части во втором издании. Ибо вторая версия, хотя и не подразумевает изменения взглядов, несомненно, еще более неясна, чем первая. Она действительно вносит один новый вклад в предмет, добавляя важное звено в аргументацию [1], но важность этого звена сводится на нет тем фактом, что оно на самом деле не является тем звеном, которым претендует быть. Метод рассмотрения, принятый здесь, будет состоять в том, чтобы рассмотреть только минимум отрывков, необходимых для прояснения смысла Канта, и использовать прежде всего первое издание.
Необходимо, однако, сначала рассмотреть отрывок в метафизической дедукции, который номинально связывает список категорий со списком форм суждения. [2] Ибо его реальная функция — ввести новое и третье описание знания, которое формирует лейтмотив трансцендентальной дедукции. [3]
В этом отрывке, смысл которого трудно изложить удовлетворительно, мысль Канта, по-видимому, такова: «Деятельность мышления, изучаемая формальной логикой, соотносит посредством суждения понятия, ранее полученные путем анализа восприятий. Например, она соотносит понятия тела и делимости, полученные путем анализа восприятий тел, в суждении «Тела делимы». Она осуществляет это, однако, лишь путем анализа понятия «тело». Следовательно, результирующее знание или суждение, хотя и априорное, является лишь аналитическим, и задействованные понятия происходят не из мышления, а из многообразия, ранее проанализированного. Но помимо понятий, полученных путем анализа данного многообразия, существуют другие, которые принадлежат мышлению или рассудку как таковому и в силу которых мышление порождает синтетическое априорное знание, причем эта деятельность мышления является той, что изучается трансцендентальной логикой. Поэтому возникают два вопроса. Во-первых, как эти понятия получают материю, к которой они могут применяться и без которой они были бы без содержания или пусты? И, во-вторых, как мышление в силу этих понятий порождает синтетическое априорное знание? На первый вопрос легко ответить, ибо многообразия пространства и времени, т. е. индивидуальные пространства и индивидуальные времена, предоставляют материю того рода, которая необходима, чтобы придать этим понятиям содержание. Как восприятия (т. е. как объекты восприятия), они являются тем, к чему может применяться понятие, а как чистые или априорные восприятия они являются тем, к чему могут применяться те понятия, которые являются чистыми или априорными, как принадлежащие рассудку. На второй вопрос можно ответить, рассмотрев процесс, посредством которого это чистое многообразие пространства и времени входит в знание. Все синтетическое знание, будь то эмпирическое или априорное, требует реализации трех условий. Во-первых, должно быть многообразие, данное в восприятии. Во-вторых, это многообразие должно быть «пройдено, воспринято и соединено». Другими словами, если синтез определить как «акт присоединения различных представлений друг к другу и включения их множественности в одно знание», то многообразие должно быть подвергнуто акту синтеза. Это осуществляется воображением. В-третьих, этот синтез, произведенный воображением, должен быть подведен к понятию, т. е. подведен под понятие, которое составит из синтеза единство. Это работа рассудка. Реализация априорного знания, следовательно, потребует реализации трех условий способом, соответствующим его априорному характеру. Должно быть чистое или априорное многообразие; оно находится в индивидуальных пространствах и индивидуальных временах. Должен быть акт чистого синтеза этого многообразия; это осуществляется чистым воображением. Наконец, этот чистый синтез должен быть подведен под понятие. Это осуществляется чистым рассудком посредством его чистых или априорных понятий, т. е. категорий. Это, таким образом, процесс, посредством которого порождается априорное знание. Деятельность мышления или рассудка, однако, которая объединяет два понятия в суждении путем анализа их — это будучи актом, изучаемым формальной логикой — та же самая, что придает единство синтезу чистого многообразия восприятия — это будучи актом, изучаемым трансцендентальной логикой. Следовательно, «тот же самый рассудок, и притом посредством тех же самых действий, которыми он при работе с понятиями объединяет их в суждении путем акта анализа, вносит посредством синтетического единства, которое он производит в чистом многообразии восприятия, содержание в свои собственные понятия, вследствие чего эти понятия называются чистыми понятиями рассудка», [4] и мы вправе сказать априори, что эти понятия применимы к объектам, потому что они вовлечены в процесс, посредством которого мы приобретаем априорное знание объектов».
Обсуждение различных трудностей, поднятых общим направлением этого отрывка, а также его деталями [5], излишне и предвосхитило бы обсуждение трансцендентальной дедукции. Но необходимо обратить внимание на три момента.
Во-первых, как уже было сказано, Кант здесь вводит — и вводит без предупреждения — совершенно новое описание знания. Оно берет свое начало в его теории восприятия, согласно которой знание начинается с производства ощущений в нас вещами в себе. Поскольку пространственный мир, который мы начинаем познавать, состоит из множественности связанных элементов, ясно, что изолированные данные ощущения должны быть как-то объединены и унифицированы, если мы хотим иметь этот мир перед собой или, другими словами, познать его. Более того, поскольку эти эмпирические данные подчинены пространству и времени как формам восприятия, индивидуальные пространства и индивидуальные времена, к которым будут относиться эмпирические данные, также должны быть объединены и унифицированы. Согласно этому взгляду, процесс знания состоит в объединении определенных данных в индивидуальное целое и в унификации их через принцип комбинации. [6] Если данные эмпирические, результирующее знание будет эмпирическим; если данные априорные, т. е. индивидуальные пространства и индивидуальные времена, результирующее знание будет априорным. [7] Это описание знания ново, потому что, хотя оно рассматривает знание как процесс или акт унификации многообразия, оно описывает другой акт унификации. Как Кант впервые описал способность суждения [8], она объединяет группу частностей через отношение к соответствующему всеобщему. Как формальная логика, согласно Канту, рассматривает способность суждения, она объединяет два понятия или два предшествующих суждения в суждение. Как Кант теперь описывает способность суждения или мышления, она объединяет эмпирическое или априорное многообразие восприятия, объединенное в индивидуальное целое, через понятие, которое составляет принцип единства. Различие между этим последним описанием и другими также показано тем фактом, что в то время как первые два вида унификации считаются обусловленными простым анализом материала, данного мышлению, третий вид унификации считается привнесенным мышлением и никоим образом не способным быть извлеченным из материала путем анализа. Далее, это новое описание знания не заменяет другие, а ставится рядом с ними. Ибо, согласно Канту, существует и деятельность мышления, которая соотносит два понятия в суждении [9], и деятельность, посредством которой он вносит единство собственного рода в многообразие восприятия. Тем не менее это новое описание знания, или, скорее, это описание нового вида знания, должно быть важным; ибо только процесс, описанный здесь впервые, производит синтетическое, в противоположность аналитическому, знание.
Во-вторых, отрывок попутно объясняет, почему, согласно Канту, формы суждения, различаемые формальной логикой, не включают в себя категории. [10] Ибо его доктрина состоит в том, что хотя мышление, если оно осуществляется в условиях, в которых оно изучается формальной логикой, может только анализировать многообразие, данное ему, и поэтому должно, как говорится, заимствовать у многообразия единство, через которое оно соотносит многообразие [11], все же если априорное многообразие дано ему, оно может посредством понятия внести в многообразие единство собственного рода, которое не могло быть обнаружено путем анализа многообразия. Таким образом, мышление, как оно изучается формальной логикой, лишь анализирует и, следовательно, не делает и не может делать использования понятий собственного рода; оно может использовать понятия собственного рода только тогда, когда ему дано априорное многообразие для работы с ним.