Principe de bivalence
Le principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité. Elle est soit vraie, soit fausse. Une logique respectant le principe de bivalence est dite logique bivalente. La logique classique est bivalente.
Concept
Le principe de bivalence énonce que quelque chose est soit vrai, soit faux. Quelle que soit la proposition p, p est soit vraie, soit fausse. Le principe de bivalence rend les deux valeurs de vérité que sont le vrai et le faux conjointement exhaustifs. En vertu du principe de bivalence, la disjonction d'une proposition et de sa négation couvre le champ de la vérité de manière exhaustive[1].
La bivalence est une propriété qu'une théorie logique peut ou non posséder.
Distinction du principe du tiers exclu
Le principe du tiers exclu doit être distingué du principe de bivalence[2]. Une théorie logique peut respecter le principe du tiers exclu sans être bivalente[3].
En réalité, le principe de bivalence est beaucoup plus fort car il énonce trois choses, qui se comprennent mieux si on l'énonce en termes mathématiques :
La valeur de vérité d'une proposition est le résultat d'une application (donc nécessairement univoque) de l'ensemble des propositions dans un ensemble image de cardinalité 2.
- application : c'est le principe du tiers exclu.
- univoque : c'est le principe de non-contradiction.
- dans un ensemble image de cardinalité 2 : c'est la bivalence proprement dite.
Il est assez regrettable que ce principe ne s'en tienne pas à cette dernière propriété. Il s'agit là plus d'une considération philosophique ; le principe n'est guère formulé en logique mathématique et sa formalisation peut fluctuer selon l'approche logique que l'on adopte. Le principe de bivalence est donc étudié en logique philosophique pour répondre au problème de savoir quelles assertions ont une valeur de vérité bien définie. En particulier, les propositions portant sur des événements futurs, ou les propositions ouvertes à interprétation, posent des difficultés aux philosophes soutenant le principe de bivalence. Des logiques polyvalentes ont été inventées, notamment pour admettre la possibilité de proposition indéterminée, que l'indétermination soit temporelle (logique temporelle), quantique (logique quantique) ou due au caractère vague de la proposition (logique floue).
Voir aussi
Références
- Michel Bitbol, Mécanique quantique une introduction philosophique, Flammarion, (ISBN 978-2-08-126271-3 et 2-08-126271-1, OCLC 937898521, lire en ligne)
- Sébastien Richard, Logique formelle, Mardaga, (ISBN 978-2-8047-0018-8 et 2-8047-0018-6, OCLC 436844132, lire en ligne)
- Paul Tomassi, Logic, Routledge, , 411 p. (ISBN 978-0-415-16696-6, lire en ligne), p. 124
Portail de la logique 
Portail de la philosophie