семантика возможных миров


семантика возможных миров
        СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ — совокупность семантических конструкций для истинностной интерпретации неклассических (не-булевых) логических связок, главной особенностью которых является введение в рассмотрение так называемых возможных миров. Понятие возможного мира восходит к Г. Лейбницу. Классически возможный мир (или описание состояния дел) суть совокупность элементарных (атомарных) высказываний и их отрицаний, причем для каждого элементарного высказывания в эту совокупность входит либо оно само, либо его отрицание, но не оба вместе. Элементарное высказывание считается выполняющимся (истинным) в данном возможном мире, если оно ему принадлежит; истинность сложного высказывания определяется индукцией по построению этого высказывания. Идея Лейбница состоит в том, что высказывание необходимо истинно, если оно истинно во всех возможных мирах. Так, высказывание «необходимо, что 2x2 = 4» истинно, поскольку во всех возможных мирах (мыслимых ситуациях) действуют основные арифметические истины; в то время как высказывание «необходимо, что вода кипит при 100°» признать истинным нельзя, поскольку температура кипения воды меняется, напр., в зависимости от высоты над уровнем моря. На содержательном (доматематическом) уровне такое понимание, распространенное с необходимости на др. интенсиональные операторы, оказалось полезным для уточнения многих концепций в гуманитарных науках, таких как психология (экспликация понятий знания, веры, памяти, восприятия, желания и т.п.), лингвистика (напр., анализ временных контекстов) и др.
        Наибольшее развитие и применение С. в. м. получила в логике, точнее — в неклассической логике (прежде всего, в модальной логике), как одном из разделов математической логики. Здесь фундаментальным понятием является шкала (модельная структура, фрейм) С. Крипке, представляющая собой непустое множество, элементы которого называют мирами (возможными мирами, точками, точками соотнесения, моментами (времени), состояниями, вынуждающими условиями и т.п. в зависимости от содержательной интерпретации или зафиксированной терминологии), с бинарным отношением на нем (отношением достижимости, альтернативности, информативности и т.п.). Моделью Крипке называется шкала с определенной на ней оценкой, сопоставляющей в каждом мире каждому элементарному высказыванию (пропозициональной переменной) истинностное значение. Модальная формула считается истинной в модели, если она истинна во всяком мире этой модели; формула истинна в шкале, если она истинна во всякой модели, определенной на этой шкале. Оценка распространяется на все высказывания (модальные формулы) в соответствии с обычными таблицами истинности и условием, что высказывание ПА (т.е. «необходимо, что А») истинно в мире w, если А истинно во всяком мире v, достижимом из w. В случае конкретной содержательной интерпретации рассматриваемого неклассического оператора на отношение достижимости накладываются определенные условия. Напр., если нас интересует временная модальность «всегда будет» (или «когда-нибудь будет»), то разумно потребовать, чтобы отношение достижимости «момент времени w раньше момента времени v» было транзитивным. Это требование соответствует истинности формулы V x V y V z ( x R y & yRz => yRz) в шкале как модели для формул первого порядка, в то же время класс транзитивных шкал задается и как класс шкал, в которых истинна модальная формула G A —» П П А (коротко говоря, формулы V x V y V z ( x R y & y R z => yRz) и ПА —> ППА эквивалентны на шкалах Крипке). Стандартное понимание логической необходимости требует принятия принципа, выражаемого формулой ПА —» А («необходимо истинное справедливо»), а эта формула истинна в точности в таких шкалах, в которых отношение достижимости рефлексивно, т.е. в этих шкалах выполняется условие Vx xRx. При этом существуют формулы первого порядка (напр., Vx3y yRx), которые не имеют модального эквивалента, и существуют модальные формулы (простейшими примерами являются П О А — > О С А и формула Лёба П([]А — > А ) —» П А, играющая основополагающую роль в модальной логике доказуемости). Такого рода наблюдения, связывающие два понимания истинности в шкалах Крипке — модальное пропозициональное и классическое первопорядковое, послужили началом теории соответствия (correspondence theory), которая является одной из частей современной модальной логики.
        Другая часть современной модальной логики — теория полноты. Аксиоматическая система модальной L называется полной относительно класса шкал С, если всякая формула выводима в L тогда и только тогда, когда она истинна во всех шкалах класса С (др. словами, С является адекватной семантикой Крипке для L). Так, напр., S4 полна относительно класса транзитивно-рефлексивных шкал (относительно класса конечных транзитивно-рефлексивных шкал, относительно частично упорядоченных, т.е. транзитивных, рефлексивных, антисимметричных (с условием VxVy(xRy & yRx => x = у)) шкал). Для большей части модальных логик найдены классы шкал, относительно которых они полны, однако есть логики без адекватной шкалы Крипке.
        Имеются обобщения семантики шкал Крипке, позволяющие гарантировать полноту всех модальных логик. Главная идея обобщений в этом направлении — ограничение оценок на оценки из некоторой заранее заданной совокупности со специальными свойствами. Еще одно «обобщение» получается, если выделять в шкале множество так называемых действительных миров и считать формулу истинной в шкале (модели), если она истинна именно в действительных мирах. (По сути, это не обобщение, поскольку изначально семантика шкал Крипке содержала понятие действительного мира, но надобность в нем отпала для всех систем с правилом Г е д е л я А/ПА.)
        Некоторые др. обобщения связаны с тем, что описанная семантика шкал Крипке вынуждает нас принять постулаты, не всегда приемлемые с точки зрения подразумеваемой интерпретации. Так, имеется обширная дискуссия, связанная с так называемым парадоксом логического всеведения — «если я знаю некоторые утверждения, то знаю и все логические следствия этих утверждений», что, в частности, может быть выражено постулатом (формулой) L(A — > В ) — > (ПА — > I. В). В о избежание безусловного принятия этого постулата или ему подобных используется окрестностная семантика: каждому миру в ней сопоставляется семейство множеств миров, т.е. семейство окрестностей, и высказывание А считается истинным в мире w, если А истинно во всех мирах некоторой окрестности w. Имеются и др. варианты С. в. м.
        На уровне логики первого порядка С. в. м. доопределяется так, что каждый мир по сути является моделью классической логики первого порядка, причем если из мира w достижим мир v, то предметная область мира w включается в предметную область v, а в случае принятия постулата 03хА(х) —> ЗхОА(х) или ему эквивалентного VxljA(x) —» [JVXA(X) (ЭТИ постулаты называют формулами Баркан) предметные области w и v должны совпадать. Теория полноты модальных логик первого порядка много проблематичнее ее пропозиционального аналога.
        С. в. м. используется не только как семантический аппарат модальной логики. Напр., варианты этой семантики применяются для интерпретации интуиционистской логики, релевантной логики. В последнем случае вместо бинарного отношения достижимости пришлось взять тернарное: релевантная импликация А —> В считается истинной в мире w, если для любой пары миров v и и, достижимой из w А истинно в мире v, то В истинно в и.
        A3. Чагров
        Лит.: Семантика модальных и интенсиональных логик. М., 1981; Хинтикка Я. Логико-эпистимологические исследования. М., 1980; Фейс Р. Модальная логика. М., 1974; Van Benthem J. Modal Logic and Classical Logic. Bibliopolis, 1983; Chagrov A., Zakharyaschev M. Modal Logic. Oxford, 1997; Handbook of Philosophical Logic. 2nd edition. V. 3. Kluwer Academic Publishers, 2001.

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.


Просмотров: 1149
Категория: Словари и энциклопедии » Философия » Энциклопедия эпистемологии и философии науки





Другие новости по теме:

  • “ИДЕИ К ФИЛОСОФИИ ПРИРОДЫ КАК ВВЕДЕНИЕ В ИЗУЧЕНИЕ ЭТОЙ НАУКИ”
  • “НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ”
  • “О НЕОБХОДИМОСТИ И ВОЗМОЖНОСТИ НОВЫХ НАЧАЛ ДЛЯ ФИЛОСОФИИ”
  • “РАЗУМНЫЕ МЫСЛИ О БОГЕ, МИРЕ И ДУШЕ ЧЕЛОВЕКА, А ТАКЖЕ О ВСЕХ ВЕЩАХ ВООБЩЕ”
  • “СИСТЕМА ЛОГИКИ СИЛЛОГИСТИЧЕСКОЙ И ИНДУКТИВНОЙ”
  • “ЧТО ТАКОЕ ФИЛОСОФИЯ?”
  • «НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ»
  • «ЧТО ТАКОЕ ДРУЗЬЯ НАРОДА И КАК ОНИ ВОЮЮТ ПРОТИВ СОЦИАЛДЕМОКРАТОВ»
  • БЫТИЕ-В-МИРЕ
  • ВЕЧНОЕ ВОЗВРАЩЕНИЕ ТОГО ЖЕ САМОГО, ИЛИ ВСЕХ ВЕЩЕЙ
  • ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА
  • Животные как модели (animal models)
  • Знание в социальном мире
  • знание-как и знание-что
  • Истинно Православная Церковь Греции, Придерживающаяся Старого Стиля (Истинно Православная Церковь Старого Календаря, Церковь Палеомерологии)
  • История как проблема логики
  • КЛАСС «В СЕБЕ» И КЛАСС «ДЛЯ СЕБЯ»
  • КРИПКЕ
  • НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ
  • Новый органон, или Истинные указания для истолкования природы
  • отношение включения класса в класс
  • Система логики силлогистической и индуктивной
  • СМИРЕНИЕ, покорность-добродетель, которая может возникнуть от сознания, что совершенство
  • Такие подростки, как правило, зависимы от своих родителей и для них характерны социальная и психологическая незрелость и социальная изоляция.
  • ТРОН Некоторые астрологи, более склонные к преувеличению, чем к точному соответствию и ясности, говорят о планете на троне, если она находится в знаке, которым управляет. В более древнем и более логичном варианте это планета, расположенная в той част
  • ФИГУРА Фигура, также карта, схема, тема, зеркало небес, гороскоп - условное изображение состояния неба (т. е. астрологически значимых астрономических факторов) в данный момент времени. Наиболее значимые в большинстве систем факторы, так или иначе отр
  • Фрейм как если бы
  • Фрейм как если бы
  • Что значит быть летучей мышью?
  • ЧТО ТАКОЕ ФИЛОСОФИЯ?



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

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







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь