ПАРАДОКСЫ СЕМАНТИЧЕСКИЕ

МЕНЮ


Искусственный интеллект
Поиск
Регистрация на сайте
Помощь проекту

ТЕМЫ


Новости ИИРазработка ИИВнедрение ИИРабота разума и сознаниеМодель мозгаРобототехника, БПЛАТрансгуманизмОбработка текстаТеория эволюцииДополненная реальностьЖелезоКиберугрозыНаучный мирИТ индустрияРазработка ПОТеория информацииМатематикаЦифровая экономика

Авторизация



RSS


RSS новости


ПАРАДОКСЫ СЕМАНТИЧЕСКИЕ

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

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

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

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

(1) имеем условия адекватности высказывания X и соответствующего ему «положения дел» p: ? – истинное высказывание, если и только если p.

Фактически (1) согласуется с аристотелевской концепцией истины.

(2) Рассмотрим высказывание: C является неистинным высказыванием.

(3) Используя смысл символа «C», установим эмпирически, что (?) «C является неистинным высказыванием» тождественно с «C». Используя допущение (1) получаем

(?) «C является неистинным высказыванием» есть истинное высказывание, если и только если C является неистинным высказыванием.

Посылки (?) и (?) порождают противоречие:

С является истинным высказыванием, если и только если C является неистинным высказыванием.

Источник противоречия – замена в (1) символа p на выражение, частью которого является «истинное высказывание». Оригинальный подход к анализу семантических парадоксов предложил Д.А.Бочвар (и независимо от него шведский логик С.Ходден). Согласно Д.А.Бочвару, для анализа парадоксов надо использовать трехзначную логику с двумя типами связок – внутренними с истинностными значениями «бессмысленно», «истинно» и «ложно» и внешними – только с истинностными значениями «истинно» и «ложно». В логике Д.А.Бочвара определима одноместная внешняя «утверждение бессмысленности». Анализ парадокса состоит в доказательстве бессмысленности парадоксальной формулы, т.е. утверждения, что данная формула бессмысленна. Д.А.Бочвар построил анализ семантического парадокса гетерологичности (в формулировке Г.Вейля). Гетерологичность символа ? выражается предикатом ?(?), который определяется посредством формулы ?? (R (Z, ?) & ? ? (?)), где ?, &, ? – квантор существования, конъюнкция и отрицание, соответственно, R (Z, ?) означает, что «? обозначает ?», область значений переменной ? есть множество символов, обозначающих свойства, а область значений p – множество самих свойств. Пусть символ «Н» обозначает только предикат H, т.е. имеют место R («Н», Н) и R («Н», Н) : ? ? = H. Парадокс гетерологичности выражается формулой Х? (Н («Н») ? ~ Н («Н») & ~ Н («Н») ? Н («Н»)).

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

С.Холден в трехзначной логике построил анализ парадоксов «Лжец» и гетерологичности (выражение называется гетерологическим, если оно выражает свойство, которым оно не обладает).

К числу семантических парадоксов относят и парадокс отношения именования. Его примером может служить ситуация, описываемая следующими высказываниями «Георг IV хотел знать, был ли автором «Веверлея» Скотт», «автор «Веверлея» тождествен со Скоттом». Очевидно, что высказывание «Георг IV хотел знать, был ли Скотт Скоттом» можно считать ложным. Решение этого парадокса рассмотрено Р.Карнапом в его книге «Значение и необходимость».

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

В.К.Финн

Комментарии: