Логика неопределенности и неопределенности во времени

Анкин Д.В.

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

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

Такой подход, развиваемый классической логикой, влечет определенные представления о реальности. Извинимся за невольный каламбур: высказав это утверждение, далее следовало бы сказать, что данные определенные представления основываются на идее тотальной определенности всего сущего. Но так оно и есть. Классическая логика принимает фундаментальную онтологическую предпосылку об определенности реальности любого рода. Не потому реальность определенна, что высказывания о ней всегда либо истинны, либо ложны, а, наоборот, высказывания всегда либо истинны, либо ложны потому, что реальность полностью определенна. Если возникают проблемы с определенностью высказываний, то ответственность за это возлагается не на описываемую ими предметную область, а на эти высказывания. Предложение “Сократ сидит” лишь по виду высказывание. Оно не истинно и не ложно, ибо иногда Сократ сидит, а иногда нет. В полностью определенном универсуме классической логики необходимо указать момент (или интервал) времени, в который происходит описываемое событие: “Сократ сидит в момент времени t ”. А это уже матрица для получения высказываний, истинных для одних конкретных моментов времени и ложное для других. Теперь высказывание типа “Сократ сидит 1 мая 399 г. до н. э. в 8 часов 5 минут 16 секунд” навечно либо истинно, либо ложно, даже если никто ни сейчас, ни когда-либо в будущем не сможет надежно установить его истинность или ложность.

Мы с легкостью смиряемся с идеей определенности событий прошлого. Другое дело, что предикаты событий могут требовать уточнения. В рассматриваемом случае слово “сидит” двусмысленно: Сократ в мае 399 г. до н. э. находился в тюрьме (“сидел”, так сказать), но мог в некоторый момент этого интервала времени сидеть или не сидеть в смысле занятой им позы. Но двусмысленности всегда можно устранить. А уж если при этом указано еще точное время и место свершения события, то последние сомнения в его определенности отпадают. Таково господствующее мнение.

Мало кто задумывается, что уточнения пространственно-временных характеристик событий прошлого могут вести к недопустимому переходу от заведомо истинных высказываний к весьма проблематичным суждениям. Утверждения “Заратустра основал зороастризм в VI в. до н. э.” и “Заратустра основал зороастризм в XVI в. до н. э.” не могут быть вместе истинными, но каждое принимается каким-либо специалистом. Следовательно, от практически несомненного “Заратустра основал зороастризм” приходим к определенным во времени, но сомнительным утверждениям, поскольку “расхождения в датировке, достигающие у современных исследователей тысячи лет и более, отражают и подчеркивают то обстоятельство, что в дошедших до нас источниках нет надежных конкретных данных для определения времени жизни Заратуштры” [9. С. 289]. Вряд ли нужно настаивать, что затруднения подобного рода в высшей степени характерны для исторического познания, занимающегося изучением универсума прошлого.

Сомнения в определенности будущего возникали и возникают гораздо чаще. Еще основатель логики Аристотель столкнулся с проблемой истинностной оценки высказываний о случайных будущих событиях. В подтверждение сказанного обратимся к знаменитому фрагменту из трактата Аристотеля «Об истолковании» – главе 9, в которой обсуждается проблема эпистемологического статуса высказываний о будущих случайных событиях [5]. Этот небольшой аристотелевский текст вызвал появление несоизмеримо большого числа статей и даже книг, посвященных анализу содержащихся в нем идей. (См., напр., [11]. Здесь же можно найти библиографию по рассматриваемому вопросу.) В чем причина такого интереса к фрагменту? Скорее всего, в том, что эти идеи совершенно не вписываются в господствующую логическую парадигму, основанную на статической концепции времени, в которой время по сути полностью определенно и неизменно во всех его частях [1]. Аристотель же, вне всяких сомнений, был сторонником динамической концепции, утверждающей, в частности, нефиксированность (и потому неопределенность) будущего [1. С. 36-37].

Отсюда фундаментальное различие, проведенное Аристотелем между высказываниями о прошлом и настоящем, с одной стороны, и будущим – с другой: “Итак, относительно того, чт o есть и чт o стало, утверждение или отрицание необходимо должно быть истинным или ложным... Однако не так обстоит дело с единичным и с тем, чт o будет” [5, 18 a 28-33]. Единичное случайное событие, если оно уже совершилось, позволяет формулировать о нем либо истинные, либо ложные высказывания. Если же оно относится к несуществующему будущему, ему только еще предстоит произойти или не произойти. Поэтому в момент настоящего высказывание о том, произошло ли будущее случайное событие или нет, еще не стало истинным или ложным, “ибо с тем, чт o не есть, но может быть и не быть, дело обстоит не так, как с тем, чт o есть” [5, 19 b 2-4]. В качестве примера такого события Аристотель разбирает завтрашнее морское сражение. Необходимо лишь то, что оно будет или не будет, но не то, что оно необходимо будет или необходимо не будет [5, 19 a 30-33]. Высказывания “Завтра произойдет морское сражение” и “Завтра морское сражение не произойдет” пока не истинны и не ложны, или, как говорит Аристотель о суждениях такого типа, “не немедля” истинны или ложны [5, 19 a 38].

Речь идет именно о случайных будущих событиях, поскольку высказывания о том, что совершается по необходимости, будут истинны или ложны независимо от момента их произнесения или написания. В результате центр тяжести падает не на разделение темпоральных высказываний на датированные (и потому якобы определенные во времени) и не содержащие даты, а на разделение их на определенные во времени и неопределенные во времени. Определенные во времени высказывания, согласно Аристотелю, описывают либо то, что стало, либо то, что вообще не знает становления. Если морское сражение случайно состоялось, то высказывания о нем будут истинны или ложны на все оставшиеся времена. Еще лучше, когда положение дел не может быть иным, когда оно воплощает в себе необходимость. Примером необходимо истинного высказывания является закон исключенного третьего. Каким бы ни было событие, оно в каждый момент времени либо существует, либо не существует, либо будет, либо нет, ибо “все необходимо есть или не есть, а также будет или не будет” [5, 19 a 28]. То есть закон исключенного третьего действует независимо от типа событий, о которых высказываются. Дизъюнкция “Завтра произойдет морское сражение или Завтра морское сражение не произойдет” истинна несмотря на то, что входящие в нее суждения пока не истинны и не ложны. Что касается суждений о не ставшем, о подверженном изменению существовании, то подобные суждения вообще не допускают приписывания определенного истинностного значения из альтернативы “истина – ложь”. В таком случае получает объяснение настойчивое стремление ряда античных мыслителей найти неподверженное всеразрушающему потоку времени стабильное бытие, относительно которого можно сказать либо что оно было или есть, либо что оно было, есть и будет.

Анализируя аристотелевскую проблему, выдающийся польский логик Я. Лукасевич пришел к идее третьего истинностного значения. Ни одно из противоречащих друг другу высказываний о завтрашнем сражении сегодня не истинно и не ложно. Эти высказывания лишь впоследствии обретут привычные значения истины или лжи [14].

Бурно развивающиеся в наше время исследования в области многозначных логик не касаются проблемы прошлых случайных событий. Точнее говоря, тут вообще не усматривают проблемы. Действительно, если каждое высказывание об актуальном событии либо истинно, либо ложно, и если прошлое неизменно, то при переходе в прошлое и во все более далекое прошлое эти высказывания сохранят свой истинностный статус. Например, если 15 мая 1591 года было истинно высказывание “Царевич Дмитрий убит”, то оно будет (в силу неизменности прошлого) истинным и 15 мая 2002 года и во все последующие времена. Установить истинностную характеристику данного высказывания легче, конечно, по горячим следам. Сейчас это сделать труднее ввиду отдаленности события. Но, коль скоро истинностная характеристика со временем не изменилась, трудности преодолимы, по крайней мере, в принципе.

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

Правда, сказанное выше не следует возводить в абсолют, как это сделал Ю. Б. Молчанов, утверждая, что все познаваемые нами события – это “события прошлого, которые произошли на столько раньше, сколько времени требуется тому или иному сигналу, чтобы преодолеть расстояние от места их свершения до моих рецепторов и моего мозга” [15. С. 125]. Ошибочность этого рассуждения в том, что настоящее в реальной познавательной практике длится. Так, никому и в голову не придет считать себя старше своего отражения в зеркале, историк не будет называть настоящим промежуток времени в 1 секунду, настоящее расположение материков для геолога длится годами и так далее. Прошлое начинается за рамками интервала настоящего, имеющего различную продолжительность для разных областей реальности (в зависимости от характерной скорости изменения наполняющих время событий).

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

К пониманию этого подходил Я. Лукасевич, утверждая, что “и к прошлому мы должны относиться точно так же, как и к будущему”. Даже “всевидящий разум” о некоторых событиях прошлого не мог бы утверждать, “что они были, но лишь, что они были возможны” [14. C . 205]. Сказанное означает, что для описания прошлого (как и будущего) нам недостаточно традиционных истинностных характеристик . Вряд ли в самой действительности остались следы угличских событий полутысячелетней давности, которые позволили бы нам или нашим потомкам разрешить загадку смерти царевича. Слишком фрагментарны эти следы. По сути, след события всегда фрагментарен и неполно характеризует событие, его оставившее. Но историческая реальность – это реальность совокупности следов. Обязательно найдутся такие свойства событий, которые будут отсутствовать в совокупности соответствующих следов. “Отсутствовать” в смысле невозможности обоснованно утверждать ни то, что эти свойства были, ни то, что их не было. Поэтому некоторые осмысленные высказывания о существовавшем в прошлом объекте неизбежно будут иметь третье, неопределенное истинностное значение.

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

Следует различать онтологическую и гносеологическую неопределенность, когда мы говорим о третьем истинностном значении. Так, с определенностью можно утверждать, что среди теорем, которые ученые считают доказанными в настоящее время, имеются ложные высказывания. Но принятие данного утверждения в качестве истинного не специфицирует ни одной теоремы, ошибочно относимой к доказанным истинам. Про любую теорему t мы можем либо утверждать, что она доказана, либо указать, что некоторые ученые считают ее доказанной, либо сослаться на то, что никому не удалось показать ее ошибочность. В любом случае, если t I T , где T – класс всех теорем, принятых в настоящее время в качестве доказанных, то не обязательно мы будем настаивать на несомненной истинности t . А вдруг ошибочность t просто не заметили, или эта ошибочность проистекает из нетривиальных соображений? Представим себе, что ошибочное приписывание значения “истинно” теореме t I T карается смертью. Не окажется ли в этом случае список истинных теорем слишком коротким? Я, пожалуй, рискну на этих условиях утверждать, что в арифметике Пеано 2 ? 2=4, что А ® А доказуемо в классическом исчислении высказываний и т. п. Но вряд ли я решусь утверждать, что для раскраски любой карты достаточно четырех цветов или что арифметика Пеано непротиворечива. А вдруг четырех цветов недостаточно, а вдруг арифметика противоречива – не расставаться же из-за этого с жизнью!

С другой стороны, для любой теоремы t I T не подходит и характеристика “ложно”, поскольку, по определению, T составляют лишь такие утверждения, про которые думают, что они истинны. В этих условиях для каждого t I T неизбежно либо принятие утверждения, что t истинна, либо утверждения, что t неопределенна (т. е. может оказаться истинной, но может быть и ложной, хотя последнее менее вероятно в общем случае). Ясно, что принятие теоремы, на истинности которой мы не настаиваем категорически, имеет гносеологический характер. Если завтра для некоторой теоремы t I T будет показано, что t ложно, то это не потому, что t сегодня была истинной, а завтра стала ложной. Утверждение t и сегодня было ложным, но мы этого не знали. Но данное незнание действительно имело место, так что (за вычетом тех, кто лишился жизни за принятие t в качестве истины) правы были эксперты, приписавшие утверждению t неопределенное истинностное значение. Таким образом, в приведенном примере мы имели дело с гносеологической неопределенностью.

С иным положением дел сталкивается исследователь прошлого и будущего. В момент “теперь” онтологически уже не существует части прошлой жизни и онтологически еще не существует будущей истории во всех ее деталях. Если истинность или ложность утверждения теоремы остается неизменной в веках, то для событий, зависящих от времени, дело обстоит противоположным образом. Не думаете ли вы, что в эпоху существования динозавров уже существовала объективная возможность появления этих строк? Равным образом, не думаете ли вы, что любой из существовавших динозавров оставил в самой реальности неизгладимый след? – Нет, возникновение этих строк, а также читающих их, было творческим актом Вселенной, отнюдь не заложенным в ней от начала времен. Точно так же неизбежно с течением времени исчезнет наша эпоха, оставив в лучшем случае какие-либо следы. Но что-то из нашей жизни исчезнет без следа. В отношении таких процессов возникновения и исчезновения во времени имеет место онтологическая неопределенность.

Традиционные истинностные значения 1 (истина) или 0 (ложь) высказывания А выражаются в языке посредством утверждения либо А, либо O А. Соответственно, в языке должна иметься возможность выражать неопределенность, которую обозначим знаком 1/0. Введем для этого новую унарную логическую связку “н”: нА будем читать как “неопределенно А”, “А не определено” и т. п. Теперь в случае ¦А¦ = 1 утверждаем А, в случае ¦А¦ = 0 утверждаем O А, и в случае ¦А¦ = 1/0 утверждаем нА (здесь ¦...¦ – функция истинностной оценки высказываний).

В согласии с аристотелевским подходом к неопределенности будем считать, что закон исключенного третьего по-прежнему действует и формула А U O А истинна при любом А, но теперь из А U O А уже не следует, что либо ¦А¦ = 1, либо ¦ O А¦ = 1 (или что либо ¦А¦ = 0, либо ¦ O А¦ = 0), поскольку не исключено, что ¦А¦ = 1/0 и ¦ O А¦ = 1/0. С интуитивной точки зрения, неопределенность высказывания А влечет неопределенность его отрицания O А, и наоборот. Поэтому примем также, что нА « н O А, т. е. А не определено тогда и только тогда, когда O А не определено. Если же высказывание А определенно, то по-прежнему из двух противоречащих высказываний А и O А одно является истинным, а другое ложным. Например, суждение “Клеопатра – женщина” определенно истинно, и, значит, его отрицание ложно, тогда как суждение “Клеопатра – красавица” может вызвать споры, во избежание которых этому суждению припишем неопределенное истинностное значение, откуда его отрицание также неопределенно.

В работах [2], [3], [4, гл. 9] нами была предложена и исследована формальная семантика для языка логики предикатов первого порядка, пополненного оператором неопределенности “н”. В построенной семантической теории неопределенности, которая была названа н-семантикой , неопределенность задается набором возможных миров вида (где U – единый для всех миров непустой универсум, F i – функция интерпретации, а J – множество индексов числом не менее двух), попарно отличающихся интерпретацией хотя бы одного предикатного символа. То есть при i ? j найдется такой предикат Р, что F i (Р) ? F j (Р). При этом для любой индивидной константы с принимается F i ( с ) = F j ( с ). Иными словами, имена индивидов считаются твердыми десигнаторами (имеющими одинаковый денотат во всех возможных мирах), а ответственность за неопределенность возлагается на мягкие десигнаторы – предикаты (которые могут иметь разные денотаты в разных мирах). Отношение достижимости на мирах отсутствует. Под неопределенностью высказывания в самом общем плане понимается ситуация, в которой высказывание истинно в одних мирах и ложно в других. Эта простая семантическая идея привела к неожиданным следствиям. Множество общезначимых формул н-семантики оказалось рекурсивно перечислимым, однако было доказано, что понятие естественным образом заданного логического следования в ней не формализуемо, а теорема компактности не верна.

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

Стало быть, высказывания А U O А и O (А U O А) остаются определенными независимо от того, является ли исходное высказывание А определенным или неопределенным. Эта, восходящая к Аристотелю, позиция для нас принципиальна. Но именно она заставляет говорить о простоте семантической идеи неопределенности в относительном смысле. Ведь при таком подходе истинностное значение сложного выражения не является, в общем случае, функцией от истинностных значений его частей. И тут ничего не поделаешь. Что приписать дизъюнкции А U В, если ¦А¦ = 1/0 и ¦В¦ = 1/0? Максимум? – Тогда ¦А U В¦ = 1/0. Но если В есть O А? – Тогда ¦А U В¦ = 1. Аналогичные трудности возникают в отношении конъюнкции, импликации и эквивалентности – для них тоже не существует адекватных трехзначных таблиц. Например, рассмотрим высказывание А « В. Пусть ¦А¦ = 1/0 и ¦В¦ = 1/0. Но не спешите приписывать ¦А « В¦ = 1. Если В есть O А, то ¦А « O А¦ = 0, поскольку А « O А противоречиво и, значит, А « O А ложно во всех мирах. Если же истинностное значение А совпадает с истинностным значением В в мире a , но не совпадает в мире b , то А « В истинно в a и ложно в b . Отсюда ¦А « В¦ = 1/0. И т. п. Однако это так только для бинарных логических связок. Унарные логические связки “ O ” и “н” составляют исключение, поскольку определяются следующей таблицей.

O А

нА

1/0

Действительно, если высказывание А истинно (ложно) во всех мирах, то его отрицание будет ложным (истинным) также во всех мирах. В любом случае А и O А определенны, поэтому приписывание им неопределенности ложно. Если же А истинно в мире a и ложно в мире b , т. е. если ¦А¦ = 1/0, то, конечно, высказывание “А неопределенно”, т. е. высказывание нА, будет истинным. После того как высказывание нА получило истинностную оценку, оказывается, что оно стало либо ложным, либо истинным, т. е. превратилось в определенное высказывание. Поэтому, в соответствии с таблицей, любое высказывание вида ннА окажется ложным, так что формула O ннА является первым примером специфического логического закона u = O ннА, связанного с оператором неопределенности “н”.

В целом можно сказать, что вместо принципа бивалентности нами принимается семантический принцип тривалентности , согласно которому любое высказывание либо истинно, либо ложно, либо неопределенно. Четвертого не дано. Однако принцип тривалентности здесь не ведет к отбрасыванию закона исключенного третьего (А U O А) и принятию вместо него закона исключенного четвертого в форме (А U O А U нА). Разумеется, последняя формула является законом, т. е. u = (А U O А U нА), но, тем не менее, законом остается и первая формула, т. е. u = (А U O А). Зато формулы (А U нА) и ( O А U нА) законами не являются. Тут отсутствует какая-либо непоследовательность в рассуждениях. Все дело в том, как добываются истинностные значения. А они получаются в зависимости от положения дел в возможных мирах. При нашем подходе возможные миры существуют не наряду с действительным миром, а в совокупности его составляют. Действительный мир распадается на возможные миры потому, что ему объективно присуща неопределенность. Точнее говоря, возможные миры в нашем смысле совпадают друг с другом в определенной части реального мира, и различаются лишь в отношении его неопределенной части. Она потому и неопределенна, что в реальности ее нельзя свести к чему-то одному. Законы классической логики описывают определенную часть реальности, поэтому они сохраняются в любом возможном мире. Что же касается неопределенностей, то у них свои законы, которые должны ужиться с законами классики.

Иными словами, логика неопределенности должна быть консервативным расширением логики классической. Лишь в этом случае есть надежда, что она будет не просто еще одним добавлением к многочисленному семейству абстрактных неклассических логик, представляющих только теоретический интерес, но на самом деле будет логикой, т. е. основой для реальных рассуждений. Ведь, как известно, чаще всего даже авторы неклассических систем в действительности не рассуждают в соответствии с построенными ими же исчислениями и семантиками. Бывает забавно наблюдать, как поборник какой-нибудь неклассической логики, основанной на отбрасывании некоторых законов классики, и таким образом, не являющейся ее расширением, доказывает метатеоремы для своей “логики”, пользуясь исключительно логикой классической.

Приведенные рассуждения подводят к очень важному для дальнейшего заключению. Во всех ситуациях определенность имела место тогда и только тогда, когда какое-то положение дел А было одинаковым во всех возможных мирах. Для возникновения неопределенности в отношении А требовалось наличие двух миров a и b таких, что А имело место в a и не имело места в b или наоборот. Что делается в других мирах, отличных от a и b , – уже не существенно в том смысле, что ситуация в них никак не способна повлиять на неопределенность А . Это наблюдение приводит к выводу, что с логической точки зрения для описания свойств неопределенности достаточно двух возможных миров . Третий, четвертый и последующие миры могут нести дополнительную информацию фактического характера, но ничего не добавят к логическим характеристикам определенности или неопределенности, подобно тому, как в классической логике любые дескриптивные особенности высказываний элиминируются стягиванием их всех к двум полюсам – истина и ложь. В отличие от классики, теперь в целом перед нами не два, а три варианта: А выполнено во всех мирах, А не выполнено во всех мирах, и А выполнено в одном мире и не выполнено в другом. Но в последнем случае достаточно опять-таки двух вариантов или двух миров для возникновения неопределенности в отношении А . Это позволяет свести рассуждения о неопределенности к двум возможным мирам, что, как можно надеяться, значительно упростит логическую теорию неопределенности без потери каких бы то ни было существенных характеристик исследуемого феномена.

Как уже говорилось, идея неопределенности была нами развита на основе неклассической логики. Тривиально ясно, что логика, содержащая третье истинностное значение и новый логический оператор “н”, не может быть классической. Однако нельзя ли как-нибудь приблизить неклассическую логику неопределенности к классике таким образом, чтобы избавить ее хотя бы от части нежелательных свойств, о которых упоминалось выше? Мы предлагаем весьма радикальный вариант решения поставленной проблемы. Его суть состоит в предложении развивать логику неопределенности как бы внутри классической логики.

Основная идея следующая. Каждый согласится, что бывает так, что Р( c ), но O Q ( c ), т. е. индивид с обладает свойством Р, но не обладает свойством Q . При этом все полностью определенно. Для возникновения неопределенности в отношении Р и с , надо, чтобы в некотором мире a было Р( c ), а в мире b – O Р( c ). Тогда можно утверждать, что нР( с ). Однако введение этих миров сделает семантику неклассической. А что, если в качестве O Р( c ) использовать O Q ( c )? Обоснованно возразят, что Р и Q являются разными предикатами. Как же можно в этих условиях утверждать нР( с )? Но что означает различие в предикатах – только ли различие в написании? Нет, не только. Главным является как раз не это, а то, как определяются предикаты. При аксиоматическом подходе, например, мы можем принять некоторые утверждения про Р и Q в качестве аксиом, приняв, допустим, что " хР(х) и O" х Q (х). Тут различие между Р и Q действительно очевидно и речь в самом деле идет о разных свойствах. Однако предположим, что Р и Q определяются одинаково , т. е. всякая аксиома для Р превращается в аксиому для Q посредством замены Р на Q и, наоборот, всякая аксиома для Q превращается в аксиому для P посредством замены Q на P . Какие теперь есть основания утверждать, что Р и Q различны? Основания эти вытекают из того, что одни и те же аксиомы можно иногда интерпретировать по-разному. Если принимаются высказывания " хР(х) и " х Q (х), то предикаты Р и Q в рамках классики совпадут в любом универсуме при любой интерпретации. Но если в качестве аксиом принимаются формулы $ хР(х) и $ х Q (х), то интерпретации данных предикатов могут быть различны. Однако додумаем высказанную мысль до конца. При совпадении аксиом для Р и Q мы имеем право в любом случае вести речь если и не о совпадении, то, по крайней мере, о сходстве Р и Q . Здесь больше оснований говорить о сходстве, чем в той ситуации, когда интерпретации одного и того же предиката Р в мирах a и b никак не связаны. И именно опираясь на это сходство, мы получаем полное право при наличии Р( c ) и O Q ( c ) не только утверждать, что нР( с ), но и (поскольку отношение сходства симметрично) утверждать н Q ( c ).

Обсуждаемое сходство можно подкрепить психологически, сделав похожими начертания сходных предикатов. Удобнее вместо Q использовать, допустим, Р*. Важно подчеркнуть, что суть идеи сходства не в этом. Мы называем n - местные атомарные предикаты Р(х 1 , ..., x n ) и Q (х 1 , ..., x n ) сходными в теории Т, если любая аксиома Т, содержащая эти предикаты или один из них, остается аксиомой данной теории Т после одновременной замены каждого вхождения Р(х 1 , ..., x n ) на Q (х 1 , ..., x n ) и каждого вхождения Q (х 1 , ..., x n ) на Р(х 1 , ..., x n ). Аналогичным образом определяется сходство в теории Т функциональных символов.

Перейдем к более детальным построениям. Пусть Т – аксиоматическая теория в языке L классического исчисления предикатов первого порядка. Сопоставим каждому n -местному атомарному предикатному символу Р(х 1 , ..., x n ) языка L n -местный атомарный предикатный символ Р*(х 1 , ..., x n ), а каждому n -местному функциональному символу t (х 1 , ..., x n ) – n-местный функциональный символ t *(х 1 , ..., x n ). Индивидные константы (если они вообще имеются) оставим без изменений [1] . Получим язык L*. Теперь заменим в аксиомах теории Т каждое вхождение предикатных и функциональных символов на соответствующие символы со звездочкой. Результат описанной замены для аксиомы А обозначим через А*. В итоге получим теорию Т* в языке L*, содержащую в качестве аксиом только формулы вида А*.

Объединим полученные теории в одну. Получим теорию Т E Т* в языке L E L *. Теория Т E Т* вряд ли может кого-то заинтересовать. Просто она содержит два параллельных ряда аксиом, отличающихся лишь наличием или отсутствием звездочек в их формулировках. Однако понятие формулы претерпело существенное изменение. Формулами теории Т E Т* отныне являются не только формулы языка L и формулы языка L * по отдельности, но и смешанные формулы, содержащие как символы без звездочек, так и символы со звездочками. Пусть А – какая-либо формула языка L E L *. Через А* обозначим результат одновременной замены в А каждого предикатного или функционального символа без звездочки на соответствующий символ со звездочкой, а каждого предикатного или функционального символа со звездочкой на соответствующий символ без звездочки .

Так определенная операция * на формулах обладает следующим очевидным свойством.

Предложение 1 . Любая формула А графически совпадает с А**, но ни одна формула А не совпадает с А*.

По аналогии с атомарными формулами, произвольные формулы А и А* также будем называть сходными в теории Т E Т*.

Положим L н = L E L * E {н}, где “н” – символ новой унарной логической связки.

Добавим к Т E Т* важное определение. Точнее, схему определений. Для любой формулы А языка L н аксиомой является следующая формула:

нА « ((А & O A *) U ( O A & A *)).

Содержательный смысл данного определения должен быть ясен из вышесказанного. В частности, если А – формула языка L E L * (это означает, что в А нет вхождений оператора “н”), то А неопределенна тогда и только тогда, когда она выполнена в модели теории Т E Т*, а сходная с ней формула А* не выполнена в той же модели, или, наоборот, А не выполнена, но А* выполнена.

Теорию Т E Т* с присоединенной схемой определений

нА « ((А & O A *) U ( O A & A *)) в качестве новой аксиомной схемы назовем минимальной теорией с неопределенностью Тн в языке L н. Короче, минимальная Тн = Т E Т* E {нА « ((А & O A *) U ( O A & A *))}.

Интересно обсудить вопрос: относится ли предложенная конструкция к чистой логике, или она является частью прикладных построений? Уточним постановку вопроса. Пусть исходная теория Т – это просто одна из аксиоматических формулировок чистого исчисления предикатов первого порядка без равенства. Нет никаких причин сомневаться, что Т* тогда тоже относится к чистой логике. Но как быть в этом случае с минимальной Тн? Является ли Тн прикладной теорией (вроде арифметики или теории множеств), или ее все еще можно считать принадлежащей к чистой логике? Представляется убедительным следующий аргумент. Аксиомы прикладных теорий истинны не во всех универсумах, тогда как логические аксиомы верны при любых интерпретациях во всех непустых универсумах. Аксиомную схему нА « ((А & O A *) U ( O A & A *)) невозможно провалить по той же самой причине, по какой нельзя опровергнуть, например, сокращение (А & В) « O (А ® O В), добавленное к исчислению, сформулированному в языке { O , ® }. Так и в рассматриваемом случае. Формула нА « ((А & O A *) U ( O A & A *)) по сути является сокращением, позволяющем в более компактном виде представлять некоторые формулы. Можно, конечно, принять закон O ((А & В) « O (А ® O В) ), но это будет какая-то другая, неклассическая логика. Также можно придать унарной логической связке “н” какой-то другой смысл. Но это тоже будет уже другая логика.

Придадим сказанному формальный смысл. Пусть – структура для языка L E L *. Поскольку язык L E L * является языком исчисления предикатов первого порядка, функция интерпретации F предикатных, функциональных и индивидных констант из L E L * на непустом универсуме U стандартна. Все, что требуется для того, чтобы сделать структурой для языка L н, – это определить условие выполнимости для формул вида нА. Это условие очевидно: формула нА выполнена в структуре при оценке v тогда и только тогда, когда в при оценке v выполнена формула ((А & O A *) U ( O A & A *)). Тогда верно следующее утверждение (в котором знак логического закона “ u = ” имеет обычное классическое значение).

Предложение 2 . u = (нА « ((А & O A *) ? ( O A & A *))).

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

Предложение 3 . Для любой теории Т теория Т E Т* является ее консервативным расширением, а минимальная теория Тн является консервативным расширением Т E Т* (и, значит, также Т).

Как и всякую теорию, минимальную теорию Тн можно расширять, причем не обязательно формулами, содержащими оператор “н”. В качестве новой аксиомы к Тн разрешается добавлять любую формулу языка L н. Разумеется, в результате расширение уже не обязано быть консервативным. Тем не менее, каковы бы ни были теории с неопределенностью Тн, для них верны все стан

Вернуться