Эта статья требует дополнительных ссылок для проверки . ( апрель 2011 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
В логике , то семантика логики или формальной семантики является изучение семантики, или интерпретаций , в формальной и (идеализации) естественные языки , как правило , пытаются захватить предварительно Теоретико понятие следования .
Обзор [ править ]
Условия истинности различных предложений, с которыми мы можем столкнуться в аргументах, будут зависеть от их значения, и поэтому логики не могут полностью избежать необходимости в некоторой трактовке значения этих предложений. Семантика логики относится к подходам, которые внедрили логики для понимания и определения той части значения, которая их интересует; логика традиционно интересует не предложение как произнесенное, а предложение , идеализированное предложение, пригодное для логических манипуляций. [ необходима цитата ]
До появления современной логики, Аристотель «s Organon , особенно De Interpretatione , не послужили основой для понимания значения логики. Введение квантификации , необходимой для решения проблемы множественной общности , сделало невозможным тот вид субъектно-предикатного анализа, который руководил учением Аристотеля, хотя вновь наблюдается интерес к терминологической логике , пытающейся найти исчисления в духе силлогистики Аристотеля, но с общностью современной логики, основанной на квантификаторе.
Основные современные подходы к семантике для формальных языков следующие:
- Архетип теоретико-модельной семантика является Тарским «s семантической теории истины , основанной на его Т-схеме , и одна из концепций основания теории моделей . Это наиболее распространенный подход, и основан на идее о том , что смысл различных частей предложений приведены возможными способами мы можем дать рекурсивно указанную группу функций интерпретации от них некоторых предопределенных математических областей: интерпретация в логика предикатов первого порядка задается отображением терминов во вселенную индивидов, а также отображение предложений на истинные значения «истина» и «ложь». Теоретико-модельная семантика обеспечивает основу для подхода к теории значения, известного как семантика условий истинности , который был впервые предложен Дональдом Дэвидсоном . Семантика Крипке вводит новшества, но в целом соответствует тарскому образцу.
- Семантика теории доказательств связывает значение предложений с ролями, которые они могут играть в выводах. Герхард Генцен , Даг Правиц и Майкл Даммит обычно считаются основоположниками этого подхода; на него сильно повлияла болеепоздняя философия Людвига Витгенштейна , особенно его афоризм «значение есть использование».
- Семантика истинного значения (также обычно называемая количественной оценкой замещения ) была отстаивалась Рут Баркан Маркус для модальной логики в начале 1960-х годов, а позже отстаивалась Дж. Майклом Данном , Нуэлем Белнапом и Лебланом для стандартной логики первого порядка. Джеймс Гарсон дал некоторые результаты в области адекватности интенсиональной логики, снабженной такой семантикой. Условия истинности для количественных формул задаются исключительно в терминах истинности, не обращаясь к каким бы то ни было областям (отсюда и название семантика истинностного значения ).
- Семантика игр или теоретико-игровая семантика возродилась в основном благодаря Яакко Хинтикке для логики (конечной) частично упорядоченной квантификации, которую первоначально исследовал Леон Хенкин , изучавший кванторы Хенкина .
- Вероятностная семантика произошла от Х. Филда и была показана эквивалентной и естественным обобщением семантики истинностного значения. Подобно семантике истинностного значения, она также не является референциальной по своей природе.
См. Также [ править ]
- Алгебраическая семантика
- Формальная семантика (естественный язык)
Ссылки [ править ]
- Яакко Хинтикка (2007), Сократическая эпистемология: исследования поиска знаний с помощью вопросов , Кембридж: Издательство Кембриджского университета.
- Илкка Ниинилуото (1999), Критический научный реализм , Оксфорд: Oxford University Press.