Переоценка ценностей

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