Википедия

Формальная семантика: различия между версиями

Интерактивная навигация по истории
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
викификация
мНет описания правки
Строка 13:
* '''Доказательно-теоретическая семантика''' связывает смысл утверждений с ролями, которые они играют в рассуждении. [[Генцен, Герхард|Герхард Гентцен]], Дэг Превитц и [[Майкл Даммет]] считаются основателями этого подхода. На него сильно повлияла поздняя философия [[Витгенштейн, Людвиг|Людвига Витгенштейна]], особенно его афоризм «смысл — это применение».
 
* '''Семантика значений истинности''' (также известная как ''подстановочная квантификация'') была предложена РутомРут Баркан МаркусомМаркус для модальных логик в начале 1960-х и затем продвигалась Данном, [[Белнап]]ом и Лебланом в качестве стандартной логики первого порядка. Джеймс Гарсон получил некоторые результаты в областях адекватности интенсиональных логик, снабжённых такой семантикой. Условия истинности квантифицированных формул задаются исключительно в терминах истинности, без использования множеств (отсюда и название).
 
* '''Игровая семантика''' недавно была возрождена [[Яакко Хинтикка]] для логик (конечной) частично покрытой квантификации, которые изначально исследовались Леоном Хенкиным.
Источник — https://ru.wikipedia.org/wiki/Формальная_семантика