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

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

Согласно супервальвационизму, предложение может иметь определенную ценность истинности, даже если его компоненты не имеют. Предложение "Пегас нравится лакрица ", например, часто интерпретируется как не имеющее истинной ценности, учитывая предположение, что имя" Пегас " не может сослаться. Если действительно ссылка на «Пегас» неуместна, тогда кажется, что нет ничего, что могло бы оправдать присвоение значения истинности любому очевидному утверждению, в котором встречается термин «Пегас». Утверждение «Пегас любит лакрицу или Пегас не любит лакрицу», однако, является экземпляром действующей схемы. (" или нет-"), поэтому, согласно теории сверхоценки, это должно быть правдой независимо от того, разъединяет имеют ценность истины; то есть это должно быть правдой во всех интерпретациях. Если вообще что-то верно во всех уточнения, сверхценность описывает это как «сверхистинное», в то время как что-то ложное во всех точностях описывается как «сверх-ложное».[2]

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

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

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

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

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

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

  1. ^ Шапиро, Стюарт, "Неопределенность и разговор" в Beall, отредактированный (2003). Лжецы и кучи. Оксфорд, Англия: Кларендон. ISBN  0-19-926481-3.
  2. ^ «Суперценка: определение с сайта Answers.com». Оксфордский философский словарь. Издательство Оксфордского университета. 2005 г.. Получено 2012-03-04.
  3. ^ Свободная логика (Стэнфордская энциклопедия философии)

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