Понятие сознания

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

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

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

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

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

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

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

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

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