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