Семантика логики

Изучение семантики или интерпретаций, формальных и естественных языков

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

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

До появления современной логики Аристотель Книга Органон, особенно De Interpretatione, послужила основой для понимания значения логики. Введение количественной оценки, необходимого для решения проблемы множественной общности, сделало невозможным тот вид субъектно-предикатного анализа, который руководил учением Аристотеля, хотя интерес к возобновился. термин «логика», пытаясь найти исчисления в духе силлогистики Аристотеля, но с общностью современной логики, основанной на кванторе.

Основными современными подходами к семантике для формальных языков являются следующие:

• Архетип теоретико-модельной семантики - семантическая теория истины Альфреда Тарского , основанный на его T-схеме, и является одной из основополагающих концепций теории моделей. Это наиболее распространенный подход, основанный на идее о том, что значение различных частей предложений определяется возможными способами, которыми мы можем передать рекурсивно заданную группу функций интерпретации из них в некоторые заранее определенные математические области: интерпретация логики предикатов первого порядка дается путем отображения терминов на универсум индивидуумов и отображения предложений на истинные значения «истина» и «истина» ложный". Теоретико-модельная семантика обеспечивает основу для подхода к теории значения, известного как условная семантика истины, который был впервые предложен Дональдом Дэвидсоном. Семантика Крипке вводит инновации, но в целом соответствует тарскому образцу.
• Семантика теории доказательств связывает значение предложений с ролями, которые они могут играть в умозаключениях. Герхард Генцен, Даг Правитц и Майкл Даммит обычно считаются основоположниками этого подхода; на нее сильно повлияла более поздняя философия Людвига Витгенштейна, особенно его афоризм «значение - это использование».
• Семантика истинного значения (также обычно называемая количественной оценкой замещения) защищалась Рут Баркан Маркус для модальной логики в начале 1960-х годов, а позже ее отстаивал Дж. Майкл Данн, Нуэль Белнап и Леблан за стандартную логику первого порядка. Джеймс Гарсон дал некоторые результаты в областях адекватности интенсиональной логики, снабженной такой семантикой. Условия истинности для квантифицированных формул даются исключительно в терминах истинности, не обращаясь к каким бы то ни было областям (отсюда и ее название семантика истинностного значения).
• Семантика игры или теоретико-игровая семантика возродились в основном благодаря Яакко Хинтикка для логик (конечной) частично упорядоченной квантификации, которые первоначально были исследованы Леоном Хенкиным, который изучал кванторы Хенкина.
• Вероятностная семантика возникла у Х. Филда. и было показано, что оно эквивалентно и является естественным обобщением семантики истинностного значения. Подобно семантике истинностного значения, она также не имеет ссылки по своей природе.

• Философский портал

• Алгебраическая семантика
• Формальная семантика (естественный язык)

• Яакко Хинтикка (2007), Сократическая эпистемология: исследования поиска знаний путем опроса, Кембридж: издательство Кембриджского университета.
• Илкка Ниинилуото (1999), Критический научный реализм, Оксфорд: издательство Оксфордского университета.