En logique, le principe de non-contradiction est la loi qui interdit d'affirmer et nier à la fois le même terme ou la même proposition.
Aristote ne nomme pas le principe de non-contradiction mais le définit ainsi dans Métaphysique : « Il est impossible qu’un même attribut appartienne et n’appartienne pas en même temps et sous le même rapport à une même chose ». Assurément, une chose peut être blanche aujourd’hui ou d’une autre couleur demain. De même, cette chose est plus grande ou plus petite qu’une autre à un moment donné. Mais, il est impossible que ces déterminations apparaissent simultanément et s’appliquent du même point de vue à cette chose. Il est impossible donc qu’à la fois une chose soit et ne soit pas.
La contradiction est une relation existant entre deux termes, ou deux propositions, dont l’un affirme ce que l’autre nie. Exemple : les deux phrases « Tous les hommes sont barbus » et « Quelques hommes ne sont pas barbus » sont contradictoires.
La loi ou principe de non-contradiction rejette la conjonction d'une proposition p et de sa négation non-p : on ne peut affirmer à la fois p et non-p.
Le principe de non-contradiction a en fait deux versions, l'une logique, qu'on vient de voir, l'autre ontologique. La version ontologique dit qu'une chose ne peut avoir une propriété et la propriété contraire en même temps et sur le même point. La version logique dit qu'on ne peut affirmer vraie et fausse la même chose.
La « loi de l'alternative » (Robert Blanché) résulte de la conjonction de la loi de non-contradiction et de la loi du tiers exclu.
Aristote pose le principe de non-contradiction comme une nécessité absolue. Il est un axiome, c’est-à-dire : il est une vérité première qui contribue à démontrer les autres vérités, mais lui-même ne peut être déduit en vertu de sa simplicité et de son caractère premier.
L’exigence de non-contradiction implique celles d’univocité et de signification (« il est impossible que le même (mot) simultanément ait et n’ait pas le même (sens) » : le même ne peut pas ne pas correspondre au même, et le mot doit correspondre au sens).
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
The term sauvegarde is approached holistically from the side of care with the will to assist, protect, and therefore save. Design proposals grow out of the will to understand, looking for an overall c
The term sauvegarde is approached holistically from the side of care with the will to assist, protect, and therefore save. Design proposals grow out of the will to understand, looking for an overall c
thumb|Walter Seymour Allward, Veritas, 1920 thumb|Nec mergitur ou La Vérité sortant du puits, toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère. Cependant cette définition correspondantiste de la vérité n'est pas la seule, il existe de nombreuses définitions du mot et des controverses classiques autour des diverses théories de la vérité.
En logique, le principe de non-contradiction est la loi qui interdit d'affirmer et nier à la fois le même terme ou la même proposition. Aristote ne nomme pas le principe de non-contradiction mais le définit ainsi dans Métaphysique : « Il est impossible qu’un même attribut appartienne et n’appartienne pas en même temps et sous le même rapport à une même chose ». Assurément, une chose peut être blanche aujourd’hui ou d’une autre couleur demain. De même, cette chose est plus grande ou plus petite qu’une autre à un moment donné.
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles, car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste.
Learn to optimize on smooth, nonlinear spaces: Join us to build your foundations (starting at "what is a manifold?") and confidently implement your first algorithm (Riemannian gradient descent).
Explore les concepts d'algèbre élémentaire liés aux ensembles numériques et aux nombres premiers, y compris la factorisation et les propriétés uniques.