Сверхоцененность
В философской логике сверхоценка – это семантика , позволяющая иметь дело с ирреференциальными сингулярными терминами и неопределенностью . [1] Это позволяет применять тавтологии логики высказываний в случаях, когда истинностные значения не определены.
Согласно теории сверхоценки, предложение может иметь определенное истинностное значение, даже если его компоненты этого не делают. предложение « Пегас любит солодку Например, » часто интерпретируется как не имеющее истинностного значения, учитывая предположение, что имя «Пегас» не относится к . Если действительно ссылка на «Пегас» неверна, то кажется, что нет ничего, что могло бы оправдать присвоение истинностного значения любому очевидному утверждению, в котором встречается термин «Пегас». Однако утверждение «Пегас любит солодку или Пегас не любит солодку» является примером допустимой схемы. (« или нет- "), поэтому, согласно сверхоцененизму, оно должно быть истинным независимо от того, имеют ли его дизъюнкты истинностное значение; то есть оно должно быть истинным во всех интерпретациях. Если вообще что-то истинно во всех уточнениях , супероценочность описывает оно называется «сверхистинным», тогда как нечто ложное во всех уточнениях описывается как «сверхложное». [2]
Супероценки были впервые формализованы Басом ван Фраассеном . [3]
Пример абстракции [ править ]
Пусть v — классическая оценка, определенная для каждого атомарного предложения языка L , и пусть At( x ) — количество различных атомарных предложений в формуле x . Тогда их будет не более 2 В( х ) классические оценки, определенные для каждого предложения 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 не является ни сверхистинным, ни сверхложным.
См. также [ править ]
Ссылки [ править ]
- ^ Шапиро, Стюарт , «Неопределенность и разговор» в Билл, отредактированный (2003). Лжецы и кучки . Оксфорд, Англия: Кларендон. ISBN 0-19-926481-3 .
{{cite book}}:|first=имеет общее имя ( справка ) - ^ «Сверхоценка: определение с сайта Answers.com» . Оксфордский философский словарь . Издательство Оксфордского университета. 2005 . Проверено 4 марта 2012 г.
- ^ Свободная логика (Стэнфордская энциклопедия философии)
Внешние ссылки [ править ]
 | Эта о семантике статья незавершена . Вы можете помочь Википедии, расширив ее . |