VÉRITÉ VALEUR DE
Expression exclusivement technique, usitée en logique moderne. Les valeurs de vérité sont au nombre de deux : le vrai et le faux. Elles sont assignées aux propositions atomiques (de manière analogue à l'assignation de valeurs numériques aux expressions algébriques). La valeur de vérité des propositions composées ou moléculaires est directement fonction des valeurs de vérité des propositions atomiques qui les composent (les connecteurs propositionnels de la logique sont des foncteurs de vérité) et elle se calcule d'après des règles simples. La logique la plus usitée est la logique bivalente. Il existe aussi des logiques trivalentes ou multivalentes (logique probabilitaire de H. Reichenbach, logique quantique de P. Février). Pour une part, elles représentent une prise en considération de la modalité (plutôt que l'introduction de valeurs nouvelles).
Historiquement, on trouve chez Boole (The Mathematical Analysis of Logic, 1854) la convention suivante : L'équation x = 1 signifie que la proposition x est vraie et x = 0 qu'elle est fausse. Mais c'est Frege qui, plus tard, a créé l'expression de valeur de vérité : sa théorie à l'origine était fort riche et complexe — vrai et faux étaient considérés en même temps comme les référents des propositions — et fort controversée — on a reproché à Frege sa « réification » du vrai et du faux.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Françoise ARMENGAUD : agrégée de l'Université, docteur en philosophie, maître de conférences à l'université de Rennes
Classification
Autres références
-
CROYANCE
- Écrit par Paul RICŒUR
- 11 987 mots
...s'expriment dans des propositions, et les énonciations, recueillies au niveau du langage dans des préfixes de la forme « je crois que », « je pense que », etc. Les énoncés relèvent de la sémantique logique, laquelle se concentre sur la valeur de vérité des énoncés. G. Frege en est le fondateur, avec sa... -
EMPIRISME
- Écrit par Edmond ORTIGUES
- 13 324 mots
- 1 média
...et l'hypothèse générale fausse). Dès lors, il n'y a pas à distinguer deux méthodes (sinon de façon superficielle), mais deux sortes de rationalité : la rationalité logique, qui transmet des valeurs de vérité, et la rationalité du jugement, qui transmet des valeurs de crédibilité. Ces deux formes de... -
FORMALISME
- Écrit par Étienne BALIBAR et Pierre MACHEREY
- 5 001 mots
- 1 média
...l'énoncé d'une relation, soit celui d'une proposition (qui peut être vraie ou fausse en logique « binaire », ou plus généralement prendre une « valeur de vérité » déterminée. C'est Wittgenstein qui, en définissant les « tables de vérité » du calcul des propositions, a ouvert la possibilité de déterminer... -
FREGE GOTTLOB (1848-1925)
- Écrit par Claude IMBERT
- 3 259 mots
...l'idéographie était de justifier la présence, au sein d'un même calcul, des connecteurs logiques, dont les arguments et la valeur sont des valeurs de vérité, et des prédicats, dont les arguments sont des individus et les valeurs une valeur de vérité. C'est dans l'article Fonction et concept... - Afficher les 14 références
