Семантика истинного значения - Truth-value semantics

В формальная семантика, семантика истинностного значения это альтернатива Тарская семантика. Его в первую очередь отстаивали Рут Баркан Маркус,[1] Х. Леблан, М. Данн и Н. Белнап.[2] Его еще называют подстановочная интерпретация (количественных показателей) или количественная оценка замещения.

Идея этой семантики заключается в том, что универсальный (экзистенциальный) квантификатор может быть прочитан как соединение (дизъюнкция) формул, в которых константы заменяют переменные в области действия квантора. Например. ∀xPx можно читать (Pa & Pb & Pc & ...), где a, b, c - отдельные константы, заменяющие все вхождения x в Px.

Основное различие между семантикой истинностного значения и стандартная семантика за логика предикатов состоит в том, что для семантики истинности не существует областей. Только пункты истины для атомарных и количественных формул отличаются от формул стандартной семантики. Тогда как в стандартной семантике атомарные формулы как Pb или Rca истинны тогда и только тогда, когда (референт) b является членом расширения предиката P, соответственно, тогда и только тогда, когда пара (c, a) является членом расширения R, в Семантика значений истинности Значения истинности атомарных формул являются базовыми. Универсальная (экзистенциальная) формула верна тогда и только тогда, когда верны все (некоторые) ее подстановочные примеры. Сравните это со стандартной семантикой, которая гласит, что универсальная (экзистенциальная) формула истинна тогда и только тогда, когда для всех (некоторых) членов домена формула верна для всех (некоторых) из них; например ∀xA истинно (согласно интерпретации) тогда и только тогда, когда для всех k в области D, A (k / x) истинно (где A (k / x) - результат замены k на все вхождения x в A ). (Здесь мы предполагаем, что константы являются именами самих себя, то есть они также являются членами домена.)

Семантика истинного значения не лишена проблем. Во-первых, сильная теорема полноты и компактность провал. Чтобы убедиться в этом, рассмотрим множество {F (1), F (2), ...}. Ясно, что формула ∀xF (x) является логическое следствие множества, но оно не является следствием какого-либо его конечного подмножества (и, следовательно, не выводится из него). Отсюда сразу следует, что и компактность, и сильная теорема о полноте не подходят для семантики истинностного значения. Это исправлено модифицированным определением логического следствия, данным Dunn and Belnap 1968.[2]

Другая проблема возникает в свободная логика. Рассмотрим язык с одной индивидуальной константой c, которая не имеет значения, и предикатом F, обозначающим «не существует». Тогда ∃xFx ложно, даже если экземпляр подстановки (на самом деле каждый такой пример при такой интерпретации) это правда. Чтобы решить эту проблему, мы просто добавляем условие, что экзистенциально квантифицированное утверждение истинно при интерпретации по крайней мере одного экземпляра замещения, в котором константа обозначает что-то существующее.

Смотрите также

Рекомендации

  1. ^ Маркус, Рут Баркан (1962). «Интерпретация количественной оценки». Расследование. 5 (1–4): 252–259. Дои:10.1080/00201746208601353. ISSN  0020-174X.
  2. ^ а б Данн, Дж. Майкл; Белнап, Нуэль Д. (1968). «Подстановочная интерпретация кванторов». Нет. 2 (2): 177. CiteSeerX  10.1.1.148.1804. Дои:10.2307/2214704. ISSN  0029-4624. JSTOR  2214704.