Станислав Лем - Философия случая

Проверим теперь логическую ценность предложений языка науки. Поскольку такой проверки не проводилось применительно к литературным произведениям как целостным системам , позволим себе в данном случае интерпретировать и отдельные предложения, взятые из научных теорий, как изолированные структурные единицы. В теории сверхтекучести гелия существуют так называемые псевдочастицы, или операционные единицы, о которых теория сообщает, что они не представляют собой частиц. Сама по себе эта теория нас здесь нисколько не касается, как не касалось нас содержание романа «Крестоносцы», когда мы исследовали отдельные его предложения с точки зрения их логического статуса как истинных или ложных. Но вот перед нами предложение: «Псевдочастицы существуют». Псевдочастица – это (здесь я опираюсь на этимологический словарь польского языка) то же, что «неподлинная частица». Подставляем: «неподлинные частицы существуют», то есть: «существуют частицы, которые не суть частицы». Что можно сказать об истинности этого предложения? Ничего хорошего. Сказать «существуют частицы, которые не суть частицы» – то же, что заявить нечто самопротиворечивое. И это при том, что мы заранее знаем, о чем говорит это предложение, взятое из теории сверхтекучести. В нем заключена антиномия. Физик постарается нам объяснить, что понятие «псевдочастицы» получило свое определение на почве сложной и запутанной теории. Но это нам ничего не даст. Мы выступаем теперь в роли логиков, а логики ничего не хотят знать, например, о том, что значит «Юранд из Спыхова» на основе текста «Крестоносцев» . Мы в таком же праве, как они.

В физике сейчас популярно понятие «кварков» – нового вида частиц. Извлечем из нее предложение: «Существуют кварки». Будь это номинальное определение: «Для определенного x верно, что x – кварк и что x существует», это бы еще полбеды. Однако это не определение. Точно так же предложение «Юранд из Спыхова существовал» никто не сочтет за определение. Может быть, «кварки» – столь же пустое название, как «Юранд из Спыхова»? Однако предложение «Кварки существуют» вообще непредикативно в логическом смысле, потому что слова «кварк» даже нет в словаре. Напротив, «Юранд из Спыхова», согласно правилам языка, это действительно пустое название, однако это имя собственное, а «кварки» именем собственным не являются. Поэтому и предложение «Существуют кварки», не будучи предикативным, не является ни истинным, ни ложным. Это предложение наподобие таких: «Блюмпсы существуют» или «Существуют плэнги». В физике есть теория «скрытых параметров», которую отстаивает, например, Бом. О логических достоинствах этих параметров я уже не буду ничего говорить из жалости, потому что предложению «скрытые параметры существуют» нельзя приписать даже ассертивности. Бом не скрывает, что высказывает только субъективное предположение.

Еще хуже обстоит с «виртуальными частицами». «Виртуальный» – значит «возможный». Теория ядерных взаимодействий вводит, например, виртуальные мезоны. Извлечем из нее предложение «Существуют виртуальные мезоны» – а саму теорию оставим в стороне. Это предложение гласит, что реально существует нечто, что существует только как возможное. Так автомобили «существовали» в палеолите. И здесь тоже антиномия. Ничего себе порядки бытуют в науке! Это исследование можно продолжить. Известны «два времени» космогонической теории Милна, в ее рамках определенные, а за ее пределами превращающиеся в пустые названия. Известна выведенная из релятивистской астрофизики «сфера Шварцшильда», обладающая тем весьма любопытным свойством, что она ненаблюдаема. Иными словами, десигнатов этого названия никто никогда не наблюдал. А ведь это якобы физический объект! Снова антиномия. В квантовой физике неразбериха еще больше. Как логически оценить матрицу дисперсии частиц? Мы не спрашиваем о самих частицах, только о матрице: она представляет собой формальное языковое выражение, куда следует подставлять переменные. Логический статус матрицы не таков, как в плоскости математического матричного исчисления. Хотя само понятие дисперсионной матрицы действительно «взято» из математики, тем не менее, оказавшись приуроченным к определенной сфере реальных явлений, оно перестало быть «чисто математическим», в смысле отнесения его к сфере чистой математики. Это только так говорится – и слишком легко говорится, – что в науке отыскание значения предложения – метод проверки его истинности. Может быть, в теоретическом плане отыскание смысла и выступает как метод проверки истинности (хотя это тоже спорно), но несомненно, что отдельные предложения, вырванные из теоретического контекста, так трактовать не удается. Поэтому вера в то, что глубоко проблематичен логический статус только тех предложений, которые взяты из литературных произведений, – всего лишь привычное заблуждение.

Не считая этот вопрос исключительно насущным, но только чтобы облегчить страдания алчущих логической строгости, я предлагаю все литературные произведения считать своего рода дефинициями, а именно номинальными дефинициями, определяющими творчески (в логическом смысле) – скажем так – проекцию пустых (то есть лишенных десигнатов) имен, которые представляют собой названия этих литературных произведений. Каждое имя относится к определенному объему значений, который и есть его десигнат. Пустое имя соответственно денотирует пустое множество. Тем не менее об определенных пустых именах можно высказать истинные или ложные логические суждения, хотя и не обо всех. Так, истинным суждением о пустом имени «Афродита» является предложение «Афродита, – богиня любви», а ложным будет суждение: «Афродита, богиня любви – любовница пана Малиновского». Истинным является суждение «Зевс был гневливым», а ложным: «У Зевса было девять ног». Трудности возникают с пустыми именами, содержащими в себе противоречие, например, «деревянный воздух», «бездетная мать», «дедушка Адама и Евы». Мы сказали, что пустое имя, которое определяется текстом литературного произведения, это название данного произведения. Тем самым ex ipsa ea definitione [17]все, что рассказывается в литературном произведении, логически истинно, хотя относится к пустому имени. Ибо дефиниция чисто номинальна, если относится к коннотации выражения в языке, а не к его (выражения) денотации в реальном бытии. Так, при нашем подходе текст «Будденброков» Т. Манна – номинальная творческая дефиниция этого названия, как бы собрание дискурсов, раскрывающих его связно и исчерпывающим образом. Книги «плохие», то есть неудачно скомпонованные, представляют собой плохие дефиниции, потому что им не хватает связности: они – системы не целостные, при чтении распадающиеся на несвязные куски. Истинность, при нашем подходе, это отношение, в дефиниционном отношении произвольное, устанавливаемое между пустым именем – названием литературного произведения – и его текстом. Скажем то же самое с полной точностью, употребляя в нашем выводе общий квантификатор: