Переоценка ценностей
- Супервалюционизм — семантика, используемая для работы с несущественными единичными терминами и неопределенностью.
- Супервалюционизм позволяет применять тавтологии пропозициональной логики в случаях, когда истинностные значения не определены.
- Согласно супервалюционизму, суждение может иметь определенное истинностное значение, даже если его компоненты этого не делают.
- Утверждение «Пегас любит лакрицу» является примером допустимой схемы p ∨ ¬p, согласно супервалюционизму.
- Супервалюционизм описывает «сверхистинные» утверждения, которые являются истинными во всех уточнениях.
- Дополнительные оценки были впервые формализованы Басом ван Фраассеном.
- Сверхоценка V — это функция от предложений к истинностным значениям, такая, что x является сверхистинным тогда и только тогда, когда v(x)=True для каждого v.
Полный текст статьи: