Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Vérité logique
Résumé
La vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies. On pense que les vérités logiques sont le cas le plus simple d'énoncés qui sont analytiquement vrais (ou en d'autres termes, vrais par définition). Toute la logique philosophique peut être considérée comme fournissant des comptes rendus de la nature de la vérité logique, ainsi que des conséquences logiques.
Les vérités logiques sont généralement considérées comme nécessairement vraies. C'est dire qu'elles sont telles qu'aucune situation ne les rendent vraies. Leur vérité est non contingente. L'opinion selon laquelle les déclarations logiques sont nécessairement vraies est parfois traitée comme l'équivalent de dire que les vérités logiques sont vraies dans tous les mondes possibles . Cependant, la question de savoir si des déclarations sont nécessairement vraies reste l’objet d’un débat continu.
En traitant les vérités logiques, les vérités analytiques et les vérités nécessaires comme équivalentes, les vérités logiques peuvent être mises en contraste avec les faits (qui peuvent également être appelés affirmations contingentes ou affirmations synthétiques). Les vérités contingentes sont vraies dans ce monde, mais auraient pu en être autrement (en d'autres termes, elles sont fausses dans au moins un monde possible). Des propositions logiquement vraies telles que "Si p et q, alors p" et "Toutes les personnes mariées sont mariées" sont des vérités logiques parce qu'elles sont vraies en raison de leur structure interne et non en raison de faits du monde (alors que "Toutes les personnes mariées sont heureuses", même si elle était vrai dans notre monde, elle ne serait pas vrai simplement en vertu de sa structure logique).
Source officielle
À 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.