Principe du tiers exclu

En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" [principe du milieu exclu] ou " tertium non datur" [une troisième possibilité n'est pas accordée] , ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie. Par exemple, Socrate est vivant ou mort, et il n'y a pas de cas intermédiaire entre ces deux états de Socrate, c'est pourquoi on parle de « tiers-exclu » : tous les autres cas de figure sont nécessairement exclus. C'est un des principes de la logique classique. Au début de la formalisation des mathématiques, ce principe a été tenu comme un dogme intangible. D'ailleurs, David Hilbert, un de ses grands défenseurs, a écrit, Le tiers-exclu est souvent comparé au principe de non-contradiction qui affirme que les propositions p et non-p ne peuvent être simultanément vraies, c'est-à-dire que la conjonction « p et non-p » est nécessairement fausse. Dans sa Métaphysique, Aristote introduit le principe du tiers exclu comme complément du principe de non-contradiction. En philosophie, le principe du tiers exclu, comme le principe d'identité, a une double version, ontologique ou logique. La version ontologique rejette la notion de gradation dans l'être : il y a être, ou non-être, pas de demi-être. Parmi les deux propositions p et non-p (ou toute autre paire de propositions), en l'absence de système de logique formelle, on pourrait en théorie avoir l'un des trois cas suivants : p est vraie ou non-p est vraie, exclusivement ; p et non-p sont toutes deux vraies ; ni p ni non-p ne sont vraies. Le principe de non-contradiction qui fonde la logique formelle rejette le cas 2 pour une paire de propositions qui sont la négation logique l'une de l'autre : on ne peut penser p et non-p vraies à la fois. Le principe du tiers-exclu rejette le cas 3 : on ne peut penser que p ou non-p, il n'y a pas de troisième cas hypothétique. La « loi de l'alternative » (Robert Blanché) résulte de la conjonction du principe de non-contradiction et du principe du tiers exclu.

À propos de ce résultat

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.

Concepts associés (82)

Cours associés (4)

Séances de cours associées (20)

Construction mécanique I: Solutions d'assemblage

Discute des solutions d'assemblage statique dans la construction mécanique, mettant l'accent sur les connexions basées sur les obstacles par rapport à la friction statique.

Construction mécanique I: Techniques d'assemblage et composants

Couvre les techniques d'assemblage, les composants normalisés et les raccords arbre-hub dans la construction mécanique.

Approximation par des fonctions lisses

Discute de l'approximation par des fonctions lisses et de la convergence des séquences de fonctions dans des espaces vectoriels normés.

MATH-381: Mathematical logic

Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.

CS-101: Advanced information, computation, communication I

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

ME-101: Mechanical construction I (for ME)

Le cours ME-101 vise à l'acquisition des règles et du langage normalisé de la communication technique en génie mécanique et microtechnique, et des bases de la conception mécanique. Ce cours intègre de

La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).

La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.