Loi de non contradiction
La loi de non contradiction affirme qu'une proposition et sa négation ne peuvent être toutes les deux vraies simultanément.
Mais nous devons être prudents, et nous devons éviter de formuler cette loi de cette façon, en terme de vérité, nous pourrions la confondre avec le principe de bivalence.
À la place, énonçons la loi de la manière suivante :
pour tout assertion P, il n'est pas possible de vérifier en même temps P et (non P).
Aristote formulait cette loi ainsi : «nous ne pouvons pas dire de quelque chose qu'il est et qu'il n'est pas, dans un même égard et en même temps»
La loi de non contradiction est presque universellement approuvée par les philosophes.
Concernant la vérité d'une assertion P ou de sa négation, il y a plusieurs lois :
- loi de non-contradiction: ces assertions ne peuvent être toutes les deux vraies:
- P est vraie
- (non P) est vraie
- Principe du tiers exclu: exactement l'une de ces assertions est vraie
- P est vraie
- (non P) est vraie
- principe de bivalence: exactement l'une de ces assertions est vraie
- P est vraie
- P est fausse
Références
- voir contradiction
- Les différence entre ces trois lois est décrite aux adresses suivantes :