Читать книгу Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 4: Поверх методологических границ - Коллектив авторов, Ю. Д. Земенков, Koostaja: Ajakiri New Scientist - Страница 4

Математика, логика и семиотика
Формальная логика как знаковая система

Оглавление

Я.Г. Дорфман, В.М. Сергеев

В.М. Сергеев Необходимые вступительные пояснения 12

Эта статья была написана ровно 30 лет назад, в 1983 г. В течение ряда лет мы безуспешно пытались опубликовать ее, но явно мешала ее очевидная междисциплинарность. Специалисты по математической логике слышать ничего не хотели о семиотике, семиоты сомневались в своей компетенции по части математической логики, помимо прочего всех пугала общая ориентация на когнитивную науку, о которой в СССР в эти годы только пробивались кое-какие слухи. Получить разрешение Главлита на вывоз текста для публикации за границей представлялось весьма проблематичным.

В 1986 г. безвременно скончался Я.Г. Дорфман – исключительно талантливый биолог, занимавшийся биологией развития, и, в частности, сильно интересовавшийся ее логическим описанием, что неудивительно, так как он закончил МФТИ.

Вскоре настали иные времена, и жизнь преподнесла множество парадоксов, для большинства читателей гораздо более интересных, чем парадоксы математической логики. Мысли о публикации статьи, наряду с публикациями многих других работ, мне пришлось оставить, да и печатать статью стало негде (первоначально она предназначалась для «Ученых записок Тартуского университета» – журнала где я печатал тогда большинство своих статей).

В марте этого года М.В. Ильин предложил мне на пару выступить на Роккановском семинаре в ИНИОНе, посвященном возможностям применения семиотики в социальных науках. В своей части выступления я упомянул о предлагаемой читателю статье, коротко изложив ряд ее тезисов, после чего Михаил Васильевич любезно предложил мне ее наконец опубликовать.

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

* * * * *

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

Поль Валери «Письмо о Малларме»

Введение

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

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

Наивная уверенность в том, что формализация одного или двух отношений выделенных из естественного языка позволит создать универсальные средства получения нового научного знания (а ведь именно в этом качестве мыслилось функционирование математической логики в рамках программы, намеченной Д. Гильбертом, а также Б. Расселом и А. Уайтхедом в [Whitehead, Russell, 1910; 1912; 1913] стала исчезать после доказательства К. Геделем теоремы о неполноте арифметики и привело в настоящее время к существенно иному пониманию места формальных систем в исследовании принципов человеческого мышления15. Параллельно происходил процесс осознания роли семантики и прагматики в исследовании формальных систем [Семантика… 1981], что привело к построению огромного числа модальных логик [см., например: Фейс, 1974; Неклассическая… 1970]. Отметим, однако, что интуитивно приемлемая теоретико-множественная интерпретация модальных логик существенно отличается от теоретико-множественной интерпретации логики классов [Сергеев, 1984], а построение такой интерпретации в ряде случаев является весьма нетривиальной задачей.

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

Особенно богатой в этом смысле является индийская логическая традиция16.

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

Естественно-языковую аргументацию можно рассматривать как средство трансформации знаний17, выраженных естественно-языковыми средствами [Сергеев, 1984]. Соответственно правила вывода в формальной системе трансформируют знания, выраженные средствами формальной системы, аксиомы же представляют из себя «базисное знание». Однако нетрудно заметить, что при таком подходе к формальной логике в центре внимания оказываются вопросы семантики и концептуального анализа (в смысле Р. Шенка), которую традиционная математическая логика вообще пыталась изгнать из рассмотрения.

Отсутствует в традиционной математической логике и понятие модальности, т.е. способа существования объекта. Между тем логика существования является весьма сложным и запутанным предметом, уже в древности порождавшим самые разнообразные взгляды18. Способ существования математических объектов – по сей день весьма темный вопрос; ведь именно с ним связаны столь острые дискуссии об основаниях математики – например, борьба между «интуиционистами» и «формалистами» [Representation… 1975]. Разрубание «гордиева узла» путем признания только двух способов существования оппозиций «истина» – «ложь» существенно примитивизирует эту проблему.

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

Формальная логика и семиотические различения

Как для современной математической логики так и для семиотики основополагающими являются работы Г. Фреге [Фреге, 1977; Фреге, 1978]. Именно в этих статьях и была произведена чрезвычайно важная работа по логической семантике, сделавшая возможной быстрый прогресс математической логики, здесь же были выработаны и обоснованы основные понятия семиотики. На основании анализа естественно-языковых примеров Фреге сумел привести ясные логические аргументы для различения смысла, имени и денотата слова, провести разделение в логическом употреблении слов «вещь» и «понятие», однако это разделение не нашло в полной мере отражения в формальной логике. Основой формализма, исчисления предикатов, и исчисления высказываний стала другая идея Фреге.

В работе «Смысл и денотат» Фреге рассмотрел вопрос о денотате предложения. Он писал: «Итак, мы установили, что вопрос о денотате предложения тесно связан с вопросом о денотатах его частей, а этот вопрос можно ставить тогда, когда нас интересует истинно предложение или ложно. Мы вынуждены, таким образом, признать, что денотатом предложения является его истинностное значение – “истина” или “ложь”, других истинностных значений не бывает» [Фреге, 1977, с. 190]. Эта идея, представлялась в высшей степени спорной уже в то время, когда Фреге писал свои статьи.

Другой немецкий логик В. Виндельбандт высказывал следующие, как представляется, незаслуженно забытые, мысли по поводу логического анализа предложений: «Все предложения, в которых мы выражаем наши взгляды, разделяются, несмотря на видимое грамматическое их тождество, на два резко различающихся класса: на суждения и оценки. В первых высказывается связь двух содержаний сознания, в последних выражается отношение оценивающего сознания к представляемому явлению…» Виндельбандт рассматривает оценку как приписывание суждению онтологического статуса. Кроме того, он обращает внимание на относительность различия между понятием и суждением: «Всякое соединение представлений, которое должно быть совершено в суждении, может в готовом виде быть сформулировано в понятии. А ведь в таком случае связующая функция в предложении и понятии одна и та же… При этих условиях традиционное деление на понятия и суждения оказывается несостоятельным с точки зрения обычной задачи логики, именно установления нормативной системы “форм мышления”: это есть грамматическое, а не логическое деление». [Виндельбандт, 1904, с. 364]. Несмотря на то, что Виндельбандт не делал некоторых тонких различий, введенных Фреге, высказанные им мысли в соединении с аргументацией самого Фреге относительно различения денотата, смысла и имени делают в высшей степени неестественным качественное различие между денотатом имени и денотатом предложения. В конце концов, предложение – это имя объектной ситуации, которую естественно считать его денотатом, в то время как утверждение об истинности или ложности предложения есть оценка. Забегая вперед, отметим, что в математической логике наблюдается тенденция игнорировать различие между двумя указанными выше типами суждений. Подобная ситуация как и наличие всякого логически значимого, но не эксплицированного семантического различения открывает дорогу разнообразным парадоксам.

И наоборот, экспликация семиотических элементов, скрытых в естественно-языковом высказывании, делает невозможным их смещение, часто происходящее даже в естественно-языковых текстах. В частности подобная экспликация существенно проясняет проблемы, связанные с «парадоксами математической логики», которые во многом оказываются следствием слишком простой семиотической модели, лежащей в основе математической логики, модели не производящей даже полученных Фреге семиотических различений.

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

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

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

Парадоксы сокращенных обозначений

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

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

Представляет интерес на нескольких примерах проанализировать с семиотической точки зрения функционирование формально-логических систем. Рассмотрим фрагмент текста работы Гильберта и Аккермана, в котором вводятся аксиомы узкого исчисления предикатов [Гильберт, Аккерман, 1947, с. 97].

«К этим аксиомам мы присоединим теперь в качестве второй группы две аксиомы для “все” и “существует”»:

e) (x) F (x)→F (y);

f) F (y) → (Ex) F (x).

Первая из этих аксиом означает «Если предикат F выполняется для всех x, то он выполняется также для любого y».

Вторая формула читается так: «Если предмет F выполняется для какого-нибудь y, то существует x, для которого выполняется F».

Этот текст особенно интересен по следующим причинам:

1. В нем вводятся аксиомы.

2. Поясняется их естественно-языковое содержание, т.е. вводится способ понимания знаковой системы.

По замыслу основателей математической логики «…чего удалось достичь благодаря языку формул в математике, то же должно быть получено с его помощью и в теоретической логике, а именно: точная научная трактовка ее предмета. Логические связи, которые существуют между суждениями, понятиями и т.д. находят свое выражение в формулах, толкование которых свободно от неясностей, какие легко могли бы возникнуть при словесном выражении» [Гильберт, Аккерман, 1947, с. 17].

Именно поэтому особенно интересно сопоставить знаковое и словесное выражение для аксиом формальной системы.

Рассматривая приведенный выше фрагмент логического текста нетрудно заметить следующие его особенности:

знак F (y) в формулах e) и f) трактуется по-разному и имеет два смысла. В е) – F выполняется для любого y. В f) F выполняется для какого-нибудь y.

По-видимому, различение этих смыслов связано с местом F (y) в формулах – в одном случае – на месте консеквента, в другом – на месте антицедента. Различие в смысле, однако, очень велико и никак специально не оговорено.

Совершенно неясно, что имеется в виду в этих текстах под x и y. То ли это объекты, принадлежащие области индивидуумов, то ли это имена объектов, то ли имена ролей [Дорфман, Сергеев, 1983]. Неясно, различны ли объекты, обозначенные разными именами, а также какие из них потенциальны, а какие актуальны. По-видимому, х обозначает потенциальный объект, а y – актуальный.

Уже такой поверхностный анализ показывает, что чтение указанных формул предполагает определенный способ понимания формул, о котором в тексте ничего не говорится, хотя этот текст вводит аксиомы, т.е., обязан содержать интуитивно исчерпывающее описание способа понимания формул. Аналогичные примеры в [Гильберт, Аккерман, 1947] можно с легкостью умножить.

К сожалению, подобное пренебрежение семиотическими различениями и даже сознательная эксплуатация возникающих двусмысленностей заметно не только в «Основах теоретической логики» [Гильберт, Аккерман, 1947], являющейся одной из первых работ по математической логике.

В качестве другого примера рассмотрим язык SELF, предложенный Шмульяном для формализации феномена «самоописания», присутствующий в известном логическом «парадоксе лжеца» [Манин, 1979, с. 78].

«Алфавит SELF: E, * * (симметричные кавычки).

r (отношение ранга I); ¬)(отрицание).

Синтаксис SELF. К отмеченным выражениям принадлежат: ярлыки, экспонаты, формулы и имена.

Ярлык любого выражения Р – это *Р* (Р в кавычках).

Экспонат любого выражения Р – это Р *Р* («вещь с ярлыком»).

Формулы – это выражения вида r E… E *P* и ¬ r E … E *Р*.

Здесь Е стоит на К > 0 местах после r. Сокращенная запись:

r Ек *Р* или ¬ r Ек *Р*. Наконец, введем бинарное отношение на множестве всех выражений «быть именем». Оно определяется рекурсивно:

1. Ярлык Р является именем Р.

2. Если Р – имя Q, то ЕР – имя экспоната Q, т.е. имя выражения Q *Q*».

После этих определений утверждается, что «Е*Е* является одним из двух своих имен. Точно так же формула r Е* r Е говорит о самой себе» [Манин, 1979, с. 79]. Язык SELF представляется в семиотическом плане намного более продвинутым, чем формальный язык узкого исчисления предикатов. Он эксплицирует ряд семиотических различий, позволяющих описывать весьма тонкие логические конструкции.

Семиотический анализ приведенного текста, однако, немедленно выявляет тот факт, что символ Е в этом языке употреблен в двух совершенно различных смыслах:

1. Как семиотический оператор действующий на имя, т.е. выражение *Q*, и превращающий его в Е *Q* – имя экспоната Q в соответствии с (b)).

2. Как индивидуум, являющийся «отмеченным выражением» (его можно заключать в скобках).

Ясно, что в первом смысле Е как семиотический оператор является элементом метатекста, а во втором смысле – элементом текста.

Только эта двойственность смыслов символа Е и дает возможность получить «самоописывающееся» выражение r Е* r Е*, которое потом используется для доказательства упрощенного аналога теоремы Тарского о невыразимости истинности20. Заметим, что применение сформулированного выше семиотического принципа построения формальных систем исключает возможность написания в рамках идей, положенных в основу языка SELF, «самоописывающихся» выражений, которые получаются только путем введения знаковой двусмысленности.

Семантические парадоксы

Хорошо известно [см., например: Фрейденталь, 1969], что «парадокс лжеца» парадоксом содержательной логики не является, т.е. может быть снят анализом прагматической стороны высказывания, именно, выяснением того, является ли данное высказывание элементом текста или «метатекста».

Появляется он лишь в рамках формальных систем, не эксплицирующих прагматику высказываний. Уже в работе «Основы теоретической логики» [Гильберт, Аккерман, 1947, с. 92) совершенно справедливо отмечалось, что так называемые «семантические парадоксы», к которым принадлежит «парадокс лжеца», «не затрагивают нашего исчисления (расширенного исчисления предикатов. – Я.Д., В.С.), так как оно не в состоянии выразить их чисто логический характер».

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

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

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

Продолжим, однако, обсуждение парадоксов математической логики. Существуют весьма различные точки зрения на их роль в развитии этой науки. Одна из этих точек зрения приведена выше и отрицает позитивную роль парадоксов. Существует и прямо противоположное мнение [Hofstadter, 1979], подчеркивающее их решающую роль в развитии математической логики.

Что касается проблемы разрешения парадоксов, то они не могут, по-видимому, быть «разрешены» в рамках существующих формальных систем, а вопрос о пользе построения формальных систем, в которых подобные парадоксы не возникают, зависит от доказательных возможностей подобных систем [Френкель, Бар-Хиллел, 1966].

12

См. также дискуссию [Математика и семиотика…]

13

Одним из ярких примеров такого подхода к логике является различение Г. Фреге и Б. Расселом трех смыслов (бытие, тождество и предикация) естественно-языковой связки «есть» [Хинтикка, 1980]. Б. Рассел даже счел, что это «первый серьезный успех в реальной логике со времен греков» [Russell, 1914, p. 50].

14

Д. Гильберт и В. Аккерман начинают свою известную книгу [Гильберт, Аккерман, 1947] следующей фразой: «Теоретическая логика, называемая также математической или символической логикой, есть применение формального метода математики к области логики».

15

См. получившую очень большой резонанс и в определенном смысле подводящую итоги исследованиям в области формальных систем и искусственного интеллекта книгу А. Хофштаттера [Hofstadter, 1979].

16

Так, например, логическая система «навья-ньяя» основана на исследовании отношения «проникновения» [Инголс, 1975].

17

О фундаментальной роли понятий «знание» и «представление знания» в когнитивных науках см.: [Bobrow, Collis, 1975].

18

Ср. например, «неподвижное бытие» Парменида, «диалектику пустоты» Нагарджуны, «Эйдосы» Платона.

19

Весьма вероятно, что сколько-нибудь общая формальная система такого рода мало чем отличалась бы от естественного языка.

20

При таком доказательстве теорема Тарского остановится теоремой о связи двух семантических неразличений в формальной системе: неразличение текста и метатекста и неразличение оценки «истина – ложь».

Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 4: Поверх методологических границ

Подняться наверх