Носители истины и определители истины

Какие вещи являются истинными или ложными, и что в мире делает их таковыми? Теория носителей истины и определителей истины рассматривает два конца отношения истины.

Definition

Носитель истины — это сущность, способная быть истинной или ложной (парадигматически пропозиция); определитель истины — это сущность в мире, существование которой обусловливает истинность данного носителя истины.

Scope

Эта тема охватывает два смежных вопроса в метафизике истины. Вопрос о носителях истины касается того, какие сущности — предложения, утверждения, убеждения или пропозиции — являются первичными носителями значений истинности. Вопрос об определителях истины касается того, что, если что-либо, в реальности обосновывает истину: положения дел, факты, тропы или объекты. Он рассматривает принцип определителя истины (каждая истина имеет определитель истины), максимализм определителя истины и его проблемы (отрицательные экзистенциалы, универсалии), а также связь между определением истины и корреспондентной теорией.

Core questions

• Что является первичными носителями значения истинности?
• Требует ли каждая истина определителя истины, и какого рода?
• Как отрицательные и общие истины могут иметь определители истины?
• Является ли определение истины просто соответствием под новым названием или отдельным отношением?

Key concepts

• носители истины (пропозиции, предложения, убеждения)
• определители истины (факты, положения дел, тропы)
• принцип определителя истины и максимализм
• необходимость
• отрицательные экзистенциалы
• супервентность истины на бытии

Key theories

Теория определителей истины

Армстронг защищает максимализм определителей истины — каждая истина имеет определитель истины — и утверждает, что определители истины являются положениями дел, существование которых обусловливает соответствующие истины, обеспечивая онтологическое основание для истины.

Определение истины как необходимость против релевантности

Льюис ставит под сомнение строгие концепции необходимости, предлагая, что определение истины лучше понимать через различие или ресурсы теории двойников, чтобы избежать тривиализации проблем для необходимых истин.

History

Теория определителей истины выросла из логического атомизма Рассела и гуссерлианских работ, была названа и систематизирована Маллиганом, Саймонсом и Смитом в 1984 году, а также получила последовательную защиту Армстронгом в 2004 году. Дебаты по поводу отрицательных экзистенциалов и необходимых истин, а также предложение Льюиса о различении уточнили отношение определения истины.

Debates

Максимализм определителей истины и отрицательные истины

Требует ли каждая истина, включая отрицательные экзистенциалы, такие как «единорогов не существует», определителя истины, и если да, то что может сделать отрицательную истину истинной без постулирования сомнительных отрицательных фактов или состояний тотальности.

Key figures

• D. M. Armstrong
• Kevin Mulligan
• Peter Simons
• Barry Smith
• David Lewis

Seminal works

• mulligan1984
• armstrong2004

Frequently asked questions

Являются ли носителями истины предложения или пропозиции?

Многие философы считают пропозиции — абстрактное содержание, выражаемое предложениями — первичными носителями истины, поскольку одна и та же пропозиция может быть выражена разными предложениями на разных языках. Предложения и убеждения тогда считаются истинными производно, в силу пропозиции, которую они выражают или в которую верят.