Déterminants de vérité et Porteurs de vérité

Quels types de choses sont vrais ou faux, et qu'est-ce qui, dans le monde, les rend tels ? La théorie des porteurs de vérité et des déterminants de vérité aborde les deux extrémités de la relation de vérité.

Definition

Un porteur de vérité est une entité capable d'être vraie ou fausse (paradigmaticquement une proposition) ; un déterminant de vérité est une entité dans le monde dont l'existence nécessite la vérité d'un porteur de vérité donné.

Scope

Ce sujet couvre deux questions adjacentes en métaphysique de la vérité. La question des porteurs de vérité demande quelles entités — phrases, énoncés, croyances ou propositions — sont les porteurs primaires des valeurs de vérité. La question des déterminants de vérité demande ce qui, le cas échéant, dans la réalité fonde une vérité : des états de choses, des faits, des tropes ou des objets. Elle traite du principe des déterminants de vérité (toute vérité a un déterminant de vérité), du maximalisme des déterminants de vérité et de ses problèmes (existentielles négatives, universaux), et de la relation entre la détermination de la vérité et la théorie de la correspondance.

Core questions

• Quels sont les porteurs primaires de la valeur de vérité ?
• Toute vérité nécessite-t-elle un déterminant de vérité, et de quel type ?
• Comment les vérités négatives et générales peuvent-elles avoir des déterminants de vérité ?
• La détermination de la vérité est-elle simplement la correspondance sous un nouveau nom, ou une relation distincte ?

Key concepts

• porteurs de vérité (propositions, phrases, croyances)
• déterminants de vérité (faits, états de choses, tropes)
• principe et maximalisme des déterminants de vérité
• nécessitation
• existentielles négatives
• survenance de la vérité sur l'être

Key theories

Théorie des déterminants de vérité

Armstrong défend le maximalisme des déterminants de vérité — toute vérité a un déterminant de vérité — et soutient que les déterminants de vérité sont des états de choses dont l'existence nécessite les vérités pertinentes, fournissant un fondement ontologique à la vérité.

La détermination de la vérité comme nécessitation vs. pertinence

Lewis remet en question les comptes rendus de nécessitation stricte, proposant que la détermination de la vérité est mieux comprise via la contribution différentielle ou les ressources de la théorie des contreparties pour éviter les problèmes de trivialisation pour les vérités nécessaires.

History

La théorie des déterminants de vérité est issue de l'atomisme logique de Russell et des travaux husserliens, a été nommée et systématisée par Mulligan, Simons et Smith en 1984, et a fait l'objet d'une défense soutenue par Armstrong en 2004. Les débats sur les existentielles négatives et les vérités nécessaires, ainsi que la proposition de Lewis concernant la contribution différentielle, ont affiné la relation de détermination de la vérité.

Debates

Maximalisme des déterminants de vérité et vérités négatives

La question de savoir si toute vérité, y compris les existentielles négatives telles que 'il n'y a pas de licornes', nécessite un déterminant de vérité, et si oui, ce qui pourrait rendre une vérité négative vraie sans postuler des faits négatifs douteux ou des états de choses de totalité.

Key figures

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

Seminal works

• mulligan1984
• armstrong2004

Frequently asked questions

Les porteurs de vérité sont-ils des phrases ou des propositions ?

De nombreux philosophes considèrent les propositions — les contenus abstraits exprimés par les phrases — comme les porteurs de vérité primaires, car la même proposition peut être exprimée par différentes phrases dans différentes langues. Les phrases et les croyances sont alors dites vraies de manière dérivée, en vertu de la proposition qu'elles expriment ou croient.