Implication stricte
- Implication stricte
-
En logique mathématique, l'implication stricte est une construction de Clarence Irving Lewis basée sur la logique modale. L'objectif de l'implication stricte est d'éviter les apparents paradoxes de la logique propositionnelle, par exemple le fait qu'une proposition toujours fausse entraine toute proposition[1],[2].
Notes et références
- ↑ M. Cozic et P. Egré. Le conditionnel strict [1]
- ↑ Priest, Graham, 2001. An Introduction to Non-Classical Logic. Cambridge Univ. Press.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Implication stricte de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
IMPLICATION (philosophie) — IMPLICATION, philosophie Il y a implication, au sens usuel, lorsqu’une chose en contient une autre, de manière non apparente mais réelle, de sorte que la chose contenue, d’abord inaperçue, peut être rendue manifeste. En philosophie, la définition … Encyclopédie Universelle
IMPLICATION (logique) — IMPLICATION, logique Comme tout concept exact, l’implication prend sens dans une théorie, ici la théorie des fonctions de vérité, et elle est solidaire des autres notions de cette théorie: notions de proposition et de valeur de vérité.… … Encyclopédie Universelle
implication — [ ɛ̃plikasjɔ̃ ] n. f. • XVe « fait d être embrouillé »; lat. implicatio 1 ♦ (1611) Dr. Action d impliquer (qqn) dans une affaire criminelle. 2 ♦ Log. Relation logique consistant en ce qu une chose en implique une autre (si A, alors B). Log., math … Encyclopédie Universelle
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
RUSSELL (B.) — La longue vie qui fut accordée à Russell, l’alacrité avec laquelle il a supporté celle ci ont fait de lui un personnage hors série. Toujours en quête de renouvellement, il était, par l’ampleur de sa réflexion et la franchise de son action morale… … Encyclopédie Universelle
LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… … Encyclopédie Universelle
MODALITÉS — La notion logico linguistique de modalité désigne, au sens classique, toutes les modifications du sens d’une proposition par des expressions permettant d’asserter cette proposition comme nécessaire, possible, impossible ou contingente. Elle est… … Encyclopédie Universelle
LOI (épistémologie) — Le nom français «loi» tire son étymologie du mot latin lex . L’adjectif français «nomologique», qui désigne la propriété d’être une loi, tire son étymologie du mot grec nomos (qui signifie loi). À quel genre d’entité attribue t on cette… … Encyclopédie Universelle
Theoremes de l'alternative — Théorèmes de l alternative Les théorèmes de l alternative, dont le plus fameux est le lemme de Farkas, concernent tous un système d inéquations linéaires dans un espace vectoriel réel de dimension finie. Il s agit de donner un critère permettant… … Wikipédia en Français
Théorèmes de l'alternative — Les théorèmes de l alternative, dont le plus fameux est le lemme de Farkas, concernent tous un système d inéquations linéaires dans un espace vectoriel réel de dimension finie. Il s agit de donner un critère permettant de trancher si le système… … Wikipédia en Français
