Résultats de la recherche

...second celui de l'[[identité]] à travers les [[mondes possibles]] (ou « [[Paradoxe de l'identité transmondaine|identité transmondaine]] »)<ref> [http://plato. == Paradoxe des obligations contraires au devoir == ...

...opositionnelle]]<ref>{{Ouvrage|prénom1=Jean B.|nom1=Murhega|titre=Essai de logique conceptuelle|éditeur=Publibook/Société des écrivains|année=26 avril 2012|pa Au sein de cette logique elle exprime la [[Négation logique|négation]] de l'[[implication matérielle|implication]]. Cela revient à dire ...

{{ébauche|logique}} Le '''paradoxe de la pomme de terre''' est un [[casse-tête]] qui montre que l'on peut faci ...

...hérente car elle permet le même comportement de «type dans le type» que le paradoxe de Girard exploite. == Le paradoxe de Girard == ...

...que et de morale]]''. Russell introduit, dans une discussion à propos du [[paradoxe de Richard]], le « ''plus petit entier non nommable en moins de dix-huit sy ...mplification, qui « a le mérite de ne pas dépasser les nombres finis », du paradoxe du « ''plus petit [[nombre ordinal|ordinal]] indéfinissable'' qui semble dé ...

{{ébauche|logique|mathématiques}} ...easoning and Logic}}</ref>. La [[logique minimale]] est essentiellement la logique intuitionniste sans la règle explicite d'{{latin|ex falso quodlibet}}. ...

...ipe du buveur''') est un [[théorème]] de logique mathématique ([[Prédicat (logique mathématique)|prédicat]]) qui peut être énoncé ainsi : {{citation|Dans tout Il a été popularisé par le mathématicien [[Logique mathématique|logicien]] [[Raymond Smullyan]], qui l'a appelé le ''{{Langue| ...

...(logique)|implication]] « si A alors B » en une implication [[Équivalence logique|équivalente]] « si non B alors non A ». La nouvelle proposition obtenue « s ...tre à moins qu'on ait montré, par ailleurs, qu'il existe une [[Équivalence logique|équivalence]] entre ''A'' et ''B'' (« ''A'' si et seulement si ''B'' ») auq ...

...ue l'[[inférence bayésienne]] permette une [[Inférence (logique)|inférence logique]] acceptable. Ce paradoxe est aussi nommé '''paradoxe du corbeau''' ou de '''l'ornithologie en chambre'''. ...

...ntemporain, [[directeur de recherche au CNRS]] (émérite) au département de logique de la programmation de l'institut de mathématiques de [[Luminy]] (devenu l' ...68 et est agrégé de mathématiques en 1969. En 1970, il obtient un DEA de [[logique]] à [[Université Paris-Diderot|Paris VII]] sous la direction de [[Jean-Loui ...

Le '''[[paradoxe]] de l'interrogation surprise''' aurait été relevé par le professeur de mat === En quoi est-ce un paradoxe ? === ...

...Frege]] et qui a pour but de représenter de manière parfaite la [[logique|logique mathématique]]. ...et (symbole)|⊢]] » ou de [[Tautologie (logique)|tautologie]] [[Correction (logique)#Correction (faible)|modélisation]] « ⊨ ». ...

...{{harvsp|Jean van Heijenoort|1967|page=191}}). Zermelo avait discuté de ce paradoxe avec entre autres [[David Hilbert]]. Ce dernier d'ailleurs, dans son articl == Énoncé du paradoxe == ...

...ation (logique)|implication]]. Elle consiste à affirmer une [[Implication (logique)|implication]] (« si ''A'' alors ''B'' ») et à poser ensuite l'antécédent ( ...gle indiquant comment utiliser une implication lors d'une [[Démonstration (logique et mathématique)|démonstration]]. ...

...st la croyance qu'il peut y avoir une proposition vraie dont la [[Négation logique|négation]] est également vraie. Ces propositions sont appelées les « [[Cont ...es ; de tels systèmes tolérants à la contradiction sont connus comme des [[Logique paracohérente|logiques paracohérentes]]. ...

La '''logique déontique''' (du [[grec ancien|grec]] ''déon, déontos'' : devoir, ce qu'il ...ta juris naturalis'', 1670-1671.</ref> proposa le premier d'appliquer la [[logique modale]] à la [[morale]] en remarquant l'analogie suivante : {{citation|l'o ...

...atin]] : « mode qui, en niant, nie ») est une forme d'argument [[validité (logique)|valide]] et une [[règle d'inférence]]. Celui-ci est une application de la ...e]] de <math>P \to Q</math> et <math>\neg Q</math> dans certains [[système logique|systèmes logiques]] ; ...

== Axiome de fondation et paradoxe de Russell == En présence de l'axiome de fondation, on n'a jamais « ''x'' ∈ ''x'' ». Le [[paradoxe de Russell]] met en jeu la classe {''x'' | ''x'' ∉ ''x''} : si c'est un ens ...

Le '''paradoxe des pesticides''' est un [[paradoxe]] selon lequel l'application d'un [[pesticide]] pour combattre un [[ravageu Le paradoxe ne peut se produire que si le parasite ciblé a un prédateur naturel qui est ...

...biblio SRL|Ouvrage présentant cet axiome et l'utilisant pour analyser le [[paradoxe du menteur]].}}</ref> ...nalyser les paradoxes de [[Paradoxe de Burali-Forti|Burali-Forti]] et de [[Paradoxe de Russell|Russell]], ...