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