Понятие сознания - [156]

Схоластика — это вера в существование какой-то священной скрижали, на которой перечислены все категории, но мне не известны никакие основания для подобной веры.

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

Обобщение темы

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

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

Задать вопрос «К какому типу или категории принадлежит то-то и то-то?» значит спросить «В какого рода истинные или ложные высказывания может входить то-то и то-то и на каком месте оно может находиться в них?». В семантическом плане это значит «В какого рода неабсурдные предложения может входить выражение „то-то и то-то“ и какое место оно может занимать в них?» и, наоборот, «Какого рода высказывания стали бы абсурдными, если бы выражение „то-то и то-то“ было подставлено вместо одного из их факторов?». Я предпочитаю слово «абсурдные» словам «бессмысленные» (nonsensical) или «лишенные значения» (meaningless) по той причине, что двумя последними выражениями иногда характеризуют пустой набор звуков или грамматически неправильные конструкции. Кроме того, не так давно они стали употребляться в полемических целях в пользу одной конкретной теории. Слово «абсурд» удачно ассоциируется с reductio ad absurdum, и даже оттенок иронии в этом слове скорее на пользу, чем во вред — ведь множество шуток, по сути, основаны на легковесной игре с категориями.

Что типизируют категории?

Только о выражениях мы можем сказать, что они абсурдны, или же отрицать это. В природе нет ничего абсурдного. Даже проявления мышления — мнения, предположения, понятия — нельзя характеризовать как абсурдные или неабсурдные, ибо то, что абсурдно, — немыслимо.

По этой причине в целом стоило бы рассуждать логически, применяя язык семантики, и строить наши теории и исследования так, чтобы всегда было ясно, что мы задумываемся над тем, соединимы ли такие-то и такие-то выражения таким-то и таким-то способом с другими выражениями.

Опасность состоит, конечно, в том, что мы можем непреднамеренно допустить, будто наши рассуждения сами собой совпадают с грамматическими требованиями, а также, словно это одно и то же, считать, что «существительное во множественном числе не сочетается с глаголом в единственном» и что вместо многоточия в выражении «… можно» можно подставлять «то, что ты сейчас говоришь», но не «то, что я сейчас говорю».

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

Не существует, однако, и не может существовать никакого объединяющего имени для всех сигнификатов (significata) выражений, поскольку это означало бы, что все сигнификаты принадлежат к одному типу. Именно в этом заключался коренной недостаток «идей» (в терминологии Локка) или «объектов» Мейнонга — слов, с помощью которых пытались выполнить эту невыполнимую задачу.

Другие обычно употреблявшиеся названия также имеют свои неудобства. Слово «термин» сохраняет некоторые из своих традиционных ассоциаций и, если вообще его стоит использовать, может употребляться для обозначения индивидов, свойств и отношений. Словом «концепт» не охватываются ни индивиды, ни целые высказывания, ни даже сочетания концептов. Поэтому я использую термин «пропозициональный фактор» (рассчитывая, что он устраняет все возможные категориальные двусмысленности), чтобы обозначить им любое выражение, простое или сложное, которое можно подставить вместо пропуска в той или иной схеме предложения (или то, что может быть значением переменной в той или иной пропозициональной функции). И если меня спросят, существуют ли пропозициональные факторы, много ли их, являются ли они ментальными объектами, на что они похожи, я отвечу: все эти вопросы нелепы, потому что «фактор» — это всего лишь место встречи всех категориальных двусмысленностей.