В философской логике сверхоценка — это семантика , позволяющая иметь дело с ирреферентными сингулярными терминами и неопределенностью . [1] Это позволяет применять тавтологии логики высказываний в случаях, когда истинностные значения не определены.
Согласно теории сверхоценки, предложение может иметь определенное истинностное значение, даже если его компоненты этого не делают. Например, предложение « Пегас любит солодку » часто интерпретируется как не имеющее истинностного значения, учитывая предположение, что имя «Пегас» не относится к . Если действительно ссылка на «Пегас» неверна, то кажется, что нет ничего, что могло бы оправдать присвоение истинностного значения любому очевидному утверждению, в котором встречается термин «Пегас». Однако утверждение «Пегас любит солодку или Пегас не любит солодку» является примером валидной схемы (« или нет- »), поэтому, согласно сверхоцененности, оно должно быть истинным независимо от того, имеют ли его дизъюнкты или нет истинностное значение; то есть это должно быть верно во всех интерпретациях. Если вообще что-то истинно во всех уточнениях, сверхоценка описывает это как «сверхистинное», тогда как что-то ложное во всех уточнениях описывается как «сверхложное». [2]
Супероценки были впервые формализованы Басом ван Фраассеном . [3]
Пусть v — классическая оценка, определенная для каждого атомарного предложения языка L , и пусть At( x ) — количество различных атомарных предложений в формуле x . Тогда существует не более 2 классических оценок At( x ) , определенных для каждого предложения x . Сверхоценка V — это функция преобразования предложений в значения истинности, такая, что x является суперистинным (т. е. V ( x )=True) тогда и только тогда, когда v ( x )=True для каждого v . То же самое и с суперложью.
V(x) не определено, когда существует ровно два значения v и v * такие, что v(x) = True и v * (x) = False. Например, пусть Lp — формальный перевод фразы «Пегас любит солодку». Тогда существует ровно две классические оценки v и v * на Lp , а именно v(Lp) =True и v * (Lp) =False. Итак, Lp не является ни сверхистинным, ни сверхложным.
{{cite book}}
: |first=
имеет общее имя ( справка )