Супервальвационизм - Supervaluationism

В философской логике , supervaluationism является семантику для работы с irreferential особыми условиями и неясности . Это позволяет применять тавтологии из пропозициональной логики в тех случаях , когда значение истинности не определенно.

Согласно супервальвационизму, предложение может иметь определенную ценность истинности, даже если его компоненты не имеют. Утверждение « Пегас любит лакрицу », например, часто интерпретируется как не имеющее истинной ценности, учитывая предположение, что имя «Пегас» не имеет отношения к нему . Если действительно ссылка на «Пегас» не работает, то кажется, что нет ничего, что могло бы оправдать присвоение значения истинности любому очевидному утверждению, в котором встречается термин «Пегас». Оператор «Pegasus любит солодки или Pegasus не любит солодки», однако, является экземпляром действующей схемы ( « ИЛИ НЕ »), так что , по словам supervaluationism, это должно быть правдой , независимо от того , или нет его дизъюнкта есть значение истины; то есть это должно быть правдой во всех интерпретациях. Если вообще что-то верно во всех уточнениях , супериальвационизм описывает это как «сверхистинное», в то время как что-то ложное во всех уточнениях описывается как «сверх-ложное». ${\ displaystyle p \ vee \ neg p}$${\ displaystyle p}$${\ displaystyle p}$

Впервые супероценки были формализованы Басом ван Фраассеном .

Пример абстракции

Пусть v - классическая оценка, определенная на каждом атомарном предложении языка L, и пусть At ( x ) - количество различных атомарных предложений в x . Тогда существует не более двух классических нормирований ^{At ( x ),} определенных на каждом предложении x . Суперзначение V - это функция от предложений до значений истинности, такая что x является сверхистинным (т.е. V (x) = True тогда и только тогда, когда v (x) = True для каждого v . То же самое для superfalse.

V (x) не определено, если есть ровно два значения v и v *, такие что v (x) = True и v * (x) = False. Например, пусть Lp будет формальным переводом «Пегас любит лакрицу». Тогда есть ровно два классических нормирования v и v * на Lp , а именно v (Lp) = True и v * (Lp) = False. Итак, Lp не является ни сверхистинным, ни сверх-ложным.

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

• Семантика Крипке
• Парадокс соритеса
• Недооценка

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

внешняя ссылка

• Стэнфордская энциклопедия философии
  • Супервальвационизм как ответ на неопределенность
  • Супервальвационизм как ответ на парадокс Соритеса

Эта статья по семантике - незавершенная . Вы можете помочь Википедии, расширив ее . v т е