Эта статья требует дополнительных ссылок для проверки . ( март 2007 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
В семантике и прагматике , условие истина является условие , при котором предложение является истинным . Например, «В Небраске идет снег» верно именно тогда, когда идет снег в Небраске. Истинные условия предложения не обязательно отражают текущую реальность. Это просто условия, при которых утверждение было бы верным. [1]
Более формально условие истинности обеспечивает истинность предложения в индуктивном определении истины (подробности см. В семантической теории истины ). При таком понимании условия истинности являются теоретическими сущностями . Чтобы проиллюстрировать это примером: предположим, что в конкретной теории истины [2], которая является теорией истины, где истина каким-то образом делается приемлемой, несмотря на максимально близкие семантические термины, слово «Никсон» относится к Ричарду М. Никсону , и «жив» связан с набором из в настоящее время живых существ . Тогда один из способов представить условие истинности «Никсон жив» - это упорядоченная пара<Никсон, {x: x жив}>. И мы говорим, что «Никсон жив» истинно тогда и только тогда, когда референт (или референт) «Никсон» принадлежит набору, связанному с «живым», то есть тогда и только тогда, когда Никсон жив.
В семантике условие истинности предложения почти повсеместно считается отличным от его значения . Значение предложения передается, если понятны условия истинности предложения. Кроме того, есть много предложений, которые понятны, хотя их истинность неизвестна . Один из популярных аргументов в пользу этой точки зрения состоит в том, что некоторые предложения обязательно верны.- то есть они верны во всем, что бы ни случилось. Все такие предложения имеют одинаковые условия истинности, но, возможно, поэтому не имеют одинакового значения. Точно так же наборы {x: x жив} и {x: x жив и x не камень} идентичны - они имеют точно такие же члены, но предположительно предложения «Никсон жив» и «Никсон жив и не камень "имеют разные значения.
См. Также [ править ]
Примечания и ссылки [ править ]
- Итен, К. (2005). Лингвистическое значение, условия истинности и релевантность: случай уступчивых. Бейзингсток, Хэмпшир; Нью-Йорк;: Пэлгрейв Макмиллан.