Бессмысленность всей метафизики

Примеры метафизических предложений, которые мы анализировали, все взяты только из одной статьи. Однако результаты по (с. 82) аналогии и, частично буквально, распространяются и на другие метафизические системы. Для предложения Гегеля, которое цитирует автор статьи («Чистое бытие и чистое ничто есть, следовательно, то же самое»), наше заключение является совершенно верным. Метафизика Гегеля с точки зрения логики имеет тот же самый характер, который мы обнаружили у современной метафизики. Это относится и к остальным метафизическим системам, хотя способ словоупотребления в них, а потому и вид логических ошибок в большей или меньшей степени отклоняется от рассмотренного нами примера.

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

Как представляется, большинство логических ошибок, которые встречаются в псевдопредложениях, покоятся на логических дефектах имеющихся в употреблении слова «быть» в нашем языке (и соответствующих слов в остальных, по меньшей мере, в большинстве европейских языков). Первая ошибка – двузначность слова «быть»: оно употребляется и как связка («человек есть социальное существо»), и как обозначение существования («человек есть»). Эта ошибка усугубляется тем, что метафизику зачастую не ясна эта многозначность. Вторая ошибка коренится в форме глагола при употреблении его во втором значении – существование. Посредством вербальной формы предикат симулируется там, где его нет. Правда, уже давно известно, что существование не есть признак (см. кантовское опровержение онтологического доказательства бытия Бога). Но лишь современная логика здесь полностью последовательна: она вводит знак существования в такой синтаксической форме, что он может относиться не как предикат к знаку предмета, а только к предикату […]. Большинство метафизиков, начиная с глубокого прошлого, ввиду вербальной, а потому предикативной, формы глагола «быть» приходили к псевдопредложениям, например «я есть», «Бог есть». Пример этой ошибки мы находим в «cogito, ergo sum» Декарта.

От содержательных раздумий, которые выдвигаются против посылки – является ли предложение «я мыслю» адекватным выражением здравого смысла или, быть может, содержит гипостазирование, – мы хотели бы здесь полностью отказаться и рассмотреть оба предложения только с формальной точки зрения. Мы видим здесь две существенные логические ошибки. Первая находится в заключительном предложении «Я есть». Глагол «быть» употребляется здесь, без сомнения, в смысле существования, (с. 83) так как связка не может употребляться без предиката; кроме того, предложение «Я есть» Декарта постоянно понимается именно в этом смысле. Но тогда это предложение противоречит вышеприведенному логическому правилу, что существование может быть высказано только в связи с предикатом, но не в связи с именем (субъектом, собственным именем). Предложение существования имеет форму не «а существует» (как здесь: «я есть», т. е. «я существую»), а «существует нечто того или иного вида». Вторая ошибка лежит в переходе от «Я думаю» к «Я существую». Если из предложения «Р (а)» (в котором «а» приписывается свойство Р) выводится предложение существования, то это существование можно утверждать только по отношению к предикату Р, но не по отношению к субъекту «а». Из «Я европеец» следует не «Я существую», а «существует европеец», из «Я мыслю» следует не «Я существую», а «имеется нечто мыслящее».

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

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

(с. 84) Пример: 1. «Этот стол больше, чем тот». 2. «Высота этого стола больше, чем высота того стола». Здесь слово «больше» употребляется в (1) как отношение между предметами, в (2) как отношение между числами, т. е. для двух различных синтаксических категорий. Ошибка здесь не существенна; ее можно исключить, написав «больше-1» и «больше-2»; «больше-1» устанавливается из «больше-2» благодаря тому, что форма предложения (1) объяснима в качестве имеющей одинаковое значение с (2) (и некоторыми другими ему подобными).

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

После того как мы установили, что многие метафизические предложения бессмысленны, возникает вопрос: имеются ли в метафизике такие осмысленные предложения, которые останутся после того, как мы исключим все бессмысленные?

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

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

Предложения (осмысленные) подразделяются на следующие виды: прежде всего имеются предложения, которые по одной своей форме уже являются истинными («тавтологии» по Витгенштейну; они соответствуют примерно кантовским «аналитическим суждениям»); они ничего не высказывают о действительности. К этому виду (с. 85) принадлежат формулы логики и математики; сами они не являются высказываниями о действительности, а служат для преобразования таких высказываний. Во-вторых, имеется противоположность таких высказываний («контрадикции»); они противоречивы и, в соответствии со своей формой, являются ложными. Для всех остальных предложений решение об их истинности или ложности зависит от протокольных предложений; они являются поэтому (истинные или ложные) опытными предложениями и принадлежат к области эмпирической науки. Желающий образовать предложение, которое не принадлежит к этим видам, делает его автоматически бессмысленным. Так как метафизик не высказывает аналитических предложений, не хочет оказаться в области эмпирической науки, то он с необходимостью употребляет либо слова, для которых не дается критерия, а поэтому они оказываются лишенными значения, либо слова, которые имеют значение, и составляет так, что не получается ни аналитического (соответственно контрадикционного), ни эмпирического предложения. В обоих случаях с необходимостью получаются псевдопредложения.

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

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

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

Относительно логического характера предложений, которые мы получили в результате логического анализа, например, предложений этой статьи и других статей, посвященных логическим вопросам, здесь можно сказать только то, что они частью аналитические, частью эмпирические. Эти предложения о предложениях и частях предложений принадлежат частью к чистой металогике (например, «ряд, состоящий из знака существования и имени предмета, не есть предложение), частью к дескриптивной металогике (например, «ряд слов того или другого места той или иной книги является бессмысленным»). Металогика будет обсуждаться в другом месте; при этом будет показано, что металогика, которая говорит о предложениях какого-либо языка, сама может быть сформулирована на этом языке.