Гилберт Райл - Понятие сознания

Далее, мы видим, что место пропуска в данной схеме высказывания может быть заполнено некоторыми, но не любыми из возможных подстановок. Существует два способа такого заполнения. Чтобы заполнить выражение «Такой-то и такой-то находится в постели», необходимо вместо пропуска «такой-то и такой-то» подставить какое-либо существительное, местоимение или субстантивную группу, например дескриптивное выражение. Тогда следует признать, что, например, предложение «Суббота находится в постели» грамматически корректно, но абсурдно. Следовательно, от возможных подстановок требуется не только соответствие определенным грамматическим типам, но они должны также выражать пропозициональные факторы определенных логических типов. В неабсурдных предложениях пропозициональные факторы категориально соответствуют друг другу; в абсурдных предложениях по крайней мере некоторые из пропозициональных факторов категориально несовместимы. Если данный пропозициональный фактор относится к определенному типу или категории, то его выражение, будучи подставленным в определенные схемы предложений, не приводит к абсурду.

Если моя интерпретация учения Аристотеля о категориях верна, то можно сказать, что в одном немаловажном отношении он был на правильном пути. Ведь вопросительные предложения, если отвлечься от их практических функций в качестве просьб или команд, суть те же схемы предложений, а вопросительные слова в них — знаки пропуска. Классифицируя типы вопросов, Аристотель пользуется общим методом, с помощью которого определяется множество типов факторов, отвечающих на эти вопросы, то есть подстановок на место пропусков.

Несовершенство его метода заключается в следующем. Он пытается классифицировать типы лишь небольшого подмножества пропозициональных факторов, а именно тех из них, которые входят в состав простых сингулярных высказываний. По традиции (которая часто приводит к недоразумениям) назовем их «терминами». Все термины являются факторами, но не наоборот. Аристотель не дает критериев, позволяющих определять, когда какой-либо сентенциональный фактор выступает, а когда не выступает в роли термина, и, по всей видимости, полагает, что грамматически простое слово всегда выступает как часть или элемент простого высказывания. Очевидно, он полагается только на здравый смысл и повседневное словоупотребление в тех случаях, когда надо решить, подходит ли данный фактор для заполнения данного пропуска. Хуже того, он не осознает, что типы факторов определяют собой логическую форму высказываний, в состав которых они входят, и сами зависят от последней, за исключением разве что индивидуальных субстанций, которые, как он признает, не могут быть подставлены на место качеств, отношений, величин, положений, родов и т. д. в высказываниях, которые он считает простыми.

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

Так же как любые буквы алфавита можно переставлять друг относительно друга, не изменяя при этом смысла этих букв, так и между формой высказывания и типами факторов, образующих ее, по всей видимости, не усматривалось никакого взаимодействия. Никакой связи между формальными свойствами высказываний, от которых зависит возможность или невозможность вывода определенных следствий, и формальными свойствами или категориями терминов и других пропозициональных факторов установлено не было. Открытые Аристотелем правила силлогизма основаны на понятиях, выраженных такими словами, образующими логические формы, как все, некоторые, этот, не, и, если…, то и т. д., но они не связаны с его классификацией категорий терминов.

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

Знать все о логической форме высказывания означает знать все о логических типах его пропозициональных факторов. (Я взял на себя смелость, возможно, излишнюю, заменив в этой статье традиционную терминологию — «пропозициональные функции», «переменные», «значения» и т. д. Однако я поступил так по той простой причине, что последняя ведет ко многим недоразумениям, в частности остается неясным, говорим ли мы, когда речь идет о функциях, переменных, значениях и т. п., о некоторых выражениях или же мы говорим посредством этих выражений об определенного рода вещах. Например, что считать значением переменной в выражении «х курносый» — Сократа или «Сократа»? Терминология, которую я предлагаю, по-видимому, более прозрачна с семантической точки зрения, а ее отдельные элементы выглядят достаточно самоочевидными.)

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

Кант начинает с того, что составляет каталог форм суждения, то есть каталог отдельных случаев, в которых высказывания могут отличаться или не отличаться друг от друга, не содержательно, а по форме. Он не пытается определить понятие формы и не дает иного обоснования своего каталога, кроме ошибочной ссылки на традиционную логику, в достижениях которой он усматривает истину в последней инстанции.

Все высказывания, по Канту, делятся: (1) по «количеству», то есть по объему своих субъектов, на общие, частные и единичные (соответствуют формам «все», «некоторые» или «этот»); (2) по «качеству» — на утвердительные, отрицательные или бесконечные; (3) по типам отношения — на высказывания вида «s есть р», «если р, то q» и «р или q»; (4) по трем типам «модальности» — высказывания существования, возможности и долженствования. Эти формы суждения еще не категории, но это отправной пункт, из которого Кант, несколько загадочным образом, предполагает вывести последние.