Accueil > Dictionnaire > Définitions du mot « non-contradiction »
Non-contradiction
[nɔ̃kɔ̃tradiksjɔ̃]
Définitions de « non-contradiction »
Non-contradiction - Nom commun
-
Principe selon lequel une assertion et sa négation ne peuvent être toutes deux vraies simultanément.
La loi ou principe de non-contradiction nie la conjonction d’une proposition p et de sa négation non-p : on ne peut affirmer à la fois p et non-p, donc si l’une est vraie, l’autre est fausse.
Expressions liées
- Loi, principe de non-contradiction
Étymologie de « non-contradiction »
Le mot « non-contradiction » est composé de non et de contradiction.Usage du mot « non-contradiction »
Évolution historique de l’usage du mot « non-contradiction » depuis 1800
Citations contenant le mot « non-contradiction »
-
Dès la Révolution, des peines sévères (comme la peine de mort) étaient prévues pour réprimer les atteintes à la sûreté de l’État tandis que les tribunaux révolutionnaires de la Convention inaugureront les futures cours militaires (absence d’un juge et non-contradiction des débats).
The Conversation — L’antiterrorisme à la française : répression, prévention, anticipation -
Le manichéen est généralement fidèle au principe de non-contradiction mais incapable de voir celles qui l’habitent. Pour lui, le débat est sérieux : il est impératif d’instaurer l’utopie sur terre.
François Brooks — Petite leçon de manichéisme -
Le second théorème, lui, affirme que dans un système axiomatique donné permettant de faire de l'arithmétique, la proposition concernant la non-contradiction de ce système (c'est-à-dire le fait qu'on ne pourra jamais en déduire deux propositions mathématiques contradictoires) est elle-même indécidable. D'autres énoncés indécidables ont été découverts depuis. Ainsi, d'après des travaux de Gödel, puis de Paul Cohen, l'axiome du choix et l'hypothèse du continu sont des énoncés indécidables dans la théorie ZF, la théorie des ensembles de Zermelo et Fraenkel, couramment utilisée comme fondement des mathématiques.
Futura — Définition | Théorème d'incomplétude de Gödel | Futura Sciences -
Les arguments de vérités primitives à accepter sans démonstration trouvent leur couronnement rationnel dans le théorème mathématique « d'incomplétude » découvert dans les années 1930 par le logicien Kurt Goedel. Ce dernier montra qu'il est impossible de prouver la non-contradiction d'un système mathématique logique à l'aide des seuls moyens offerts par le système.
Science-et-vie.com — La physique a ses limites pour connaître le monde - Science & Vie -
Cette course s’adresse à des rameurs aguerris, à partir de 18 ans, à jour de leurs obligations médicales (certificat de non-contradiction à la pratique de l’aviron en compétition).
lindependant.fr — Rallye du canal du Midi à Trèbes: une 40e édition avec deux épreuves - lindependant.fr
Traductions du mot « non-contradiction »
| Langue | Traduction |
|---|---|
| Anglais | non-contradiction |
| Espagnol | no contradicción |
| Italien | non contraddizione |
| Allemand | widerspruchsfreiheit |
| Chinois | 无矛盾 |
| Arabe | عدم التناقض |
| Portugais | não contradição |
| Russe | непротиворечивость |
| Japonais | 矛盾しない |
| Basque | ez-kontraesan |
| Corse | non-contraddizione |