Рогатка” Черча и не-фрегевская аргументация

Проиллюстрируем особенности применения неклассической аргументации на примере аргумента Алонзо Черча — так называемой “рогатки” Черча. Это имя ввиду простоты приводимой Черчем аргументации было дано Дж.Барвайсом и Дж.Перри, которые критически ее рассмотрели в книге “Ситуации и установки”^[clii].

Черч формулирует свой аргумент в книге “Введение в математическую логику”^[cliii] следующим образом. Вначале он принимает следующий постулат:

(1). Денотат составного имени не меняется, если одно из входящих в него составляющих имен заменить другим с тем же, что у заменяемого, денотатом (хотя смысл может и измениться)^[cliv].

Как следствие из принципа (1), пишет Черч, мы “легко получаем примеры предложений, которые хотя и отличаются в каком-то смысле друг от друга по содержанию, но должны, очевидно, иметь один и тот же денотат. Так предложения “сэр Вальтер Скотт есть автор Вэверлея” и “сэр Вальтер Скотт есть сэр Вальтер Скотт” должны иметь один и тот же денотат, так как имя “автор Вэверлея” заменено другим с тем же денотатом. Точно так же должны иметь один и тот же денотат предложения “сэр Вальтер Скотт есть автор Вэверлея” и “сэр Вальтер Скотт есть человек, который написал все двадцать девять Вэверлеевских новелл”, так как имя “автор Вэверлея” заменено именем того же лица. Естественно предположить, что если это последнее предложение и не является синонимом предложения “число, равное числу всех написанных сэром Вальтером Скоттом новелл, есть двадцать девять”, то во всяком случае эти предложения настолько близки друг к другу, что убедительным становится предположение о тождественности их денотатов. Наконец, из этого последнего предложения мы получаем заменой субъекта на другое имя того же числа уже такое предложение, по-прежнему с тем же денотатом: “число, равное числу графств в штате Юта, есть двадцать девять””^[clv].

Замечая, что данная цепочка рассуждений приводит к тому, что предложение “сэр Вальтер Скотт есть автор Вэверлея” и предложение “число, равное числу графств в штате Юта, есть двадцать девять”, по-видимому, имеют один и тот же денотат, Черч указывает, что “они, как будто, имеют в действительности очень мало общего”^[clvi]. Единственное все же, по его мнению, общее между ними — это их логическая истинность, если следовать теории Г.Фреге. Это положение теории Фреге можно сформулировать в виде следующего постулата:

(FA) все истинные (соответственно все ложные) предложения описывают одно и то же, то есть имеют общий денотат.

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

S1. Каждое предложение имеет денотат.

S2. Истинные предложения обозначают позитивные факты, в то время как ложные предложения обозначают негативные факты.

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

Следствием принятия подобных постулатов в системе не-фрегевской логики является введение бинарной связки тождества (кореферентности) º которая читается как “ситуация, что ... та же самая, что и ...” или “ситуация, что ... тождественна с ситуацией, что...”. Семантика не-фрегевской логики очевидным образом представляет собой ситуационную семантику, в которой каждому высказыванию приписывается определенная ситуация.

Если теперь рассмотреть аргумент Черча с точки зрения не-фрегевской логики, то в этом случае аргументация, основанная на ситуационной семантике как альтернативе фрегевскому понятию истинностных значений, служащих денотатом предложений, на первый взгляд представляется неприемлемой. Ясно, что всякий, кто желает защитить аргументацию, апеллирующую к ситуационной семантике, должен что-то противопоставить критике Черча. Не-фрегевская аргументация, по мнению Р.Вуйцицкого, в этом случае выглядит следующим образом^[clvii].

Запишем основные моменты аргумента Черча в виде следующих предложений:

(1) сэр Вальтер Скотт есть автор Вэверлея;

(2) сэр Вальтер Скотт есть человек, который написал все двадцать девять Вэверлеевских новелл;

(3) число, равное числу всех написанных сэром Вальтером Скоттом новелл, есть двадцать девять;

(4) число, равное числу графств в штате Юта, есть двадцать девять.

Черч демонстрирует, что (1) и (2) кореференциальны, так как имя “автор Вэверлея” заменяемо другим именем того же лица. То же самое относится и к (4), которое можно получить из (3) путем замены другим именем того же самого объекта. Далее замечаем, что если свести (1) и (2) к предложениям вида

(1¢) a = b,

(2¢) а = с,

соответственно, тогда в силу условия

(5) b = с,

описывающего совпадение денотатов по Черчу, мы получаем (1) º (2), что можно переписать как

(6) (а = b) º (а = с),

в силу того, что в не-фрегевской логике совпадение денотатов свидетельствует о кореферентности предложений. Очевидным образом эти рассуждения можно повторить и для случаев (3) и (4).

С другой стороны, если мы сведем (1) и (2) к предложениям

(1²) f(а, Вэверлей)

(2²) y(а, 29, Вэверлеевские новеллы) и (существует единственный п, такой, что y(a, n, Вэверлеевские новеллы)),

где f, y представляют собой два предикатных символа, то мы попадаем в несколько другое положение. В этом случае, замечает Вуйцицкий, не-фрегевская логика не дает никакой возможности доказать, что (1) º (2).

Оставляя на время это последнее наблюдение, вернемся опять к аргументации Черча. Мы получили, что

(1) º (2) и (3) º (4).

Черч далее показывает, что (2) и (3) тоже должны быть кореференциальны, поскольку если даже (3) не синонимично (2), то они все же настолько близки друг к другу, что предположение о тождественности их денотатов выглядит вполне убедительным.

Используя нашу предыдущую форму записи, можно переписать (3) следующим образом:

(3²) (тот самый п, что y (a, п, Вэверлеевские новеллы)) = 29,

получая тем самым предложение, логически эквивалентное (2). Однако, пишет Вуйцицкий, мы должны ответить на вопрос: действительно ли тот факт, что два предложения логически эквивалентны друг другу, служит достаточным основанием для утверждения об их кореференциальности?

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

(СЕ) Если из А выводимо В и из В выводимо А, то А кореферентно В,

не принимается. Таким образом, если принять точку зрения Черча, то получаем, что (1) кореферентно (2) кореферентно (3) кореферентно (4), и в этом случае (1) обозначает ту же ситуацию, что и (4). Но если мы считаем, отвергая при этом (СЕ), что ситуации не сводятся к истинностным значениям и истинностные значения не проявляют ситуаций, как это имеет место в не-фрегевской логике, то вывод Черча представляется совершенно абсурдным.

В литературе известны два способа защиты от аргументации Черча, первый принадлежит Барвайзу-Перри, второй — Д.Фоллесдалю. Барвайз и Перри склонны подвергнуть сомнению (СЕ)-принцип, совпадая в этом с не-фрегевской логикой. Что касается Фоллесдаля, то он ставит под сомнение общепринятую точку зрения на сингулярные термины. Он предлагает различать по-настоящему сингулярные термины (те, которые с необходимостью приложимы к объекту) и те, которые лишь случайно истинны в точности для одного объекта (особая разновидность общих терминов). Настоящие сингулярные термины приложимы к одному и тому же объекту во всех возможных мирах”^[clviii].

Если следовать Фоллесдалю, принимая, например, что автор Вэверлея не есть настоящий сингулярный термин, а всего лишь общий термин, случайно истинный в точности для одного объекта, то в этом случае остается лишь сводить (1) к (1²), а это уже ставит под сомнение кореферентность (1) и (2).

Однако, по мнению Вуйцицкого, программа Фоллесдаля по отделению настоящих сингулярных терминов на основании критерия необходимости приложимости к обозначаемому, кажется безнадежной. Нет никакой необходимости в том, что Цезарь назван “Цезарем”, как и совершенно случайным является тот факт, что Москва названа “Москвою”. Вполне возможен такой мир, в котором Цезарь назывался бы Брутом, а Москва — Вашингтоном.

Таким образом остается лишь точка зрения не-фрегевской логики, основывающаяся на непринятии (СЕ)-принципа. Согласно этой точке зрения предложения (1) и (4) не будут кореференциальными. Вспомним, что при сведении (1) и (2) к (1²) и (2²) соответственно, кореферентность (1²) и (2²) недоказуема. Единственной проблемой является запрещение интерпретации с помощью (1¢) и (2¢).