Wikipédia

Projet:Logique/Évaluation/Index

< Projet:Logique | Évaluation
LogiqueÉvaluation
← statistiques↑(haut)historique →

Dernière mise à jour : 6 septembre 2026 par OrlodrimBot.

Article
Date
Autres
Commentaires
Aristote18/12/17MaximumBA BA
Argumentation25/12/17MaximumB
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Normalité ⇒ Quelques explications pour effectuer ces corrections. -- 19 juillet 2024 à 08:26 (CEST)
Esprit critique07/05/24MaximumB
George Boole23/04/23MaximumB
Logique18/12/17MaximumB
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Formule ⇒ Quelques explications pour effectuer ces corrections. -- 13 avril 2025 à 18:37 (CEST)
Logique mathématique25/12/17MaximumB
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Ouvrage }} : l'argument «  éditeur original=Englewood Cliffs {{!}} N.J.: Prentice-Hall <!--PARAMETRE 'éditeur original' N'EXISTE PAS -->↵  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Recueils de textes classiques ayant fondé la discipline  »)
    • Modèle {{ Ouvrage }} : l'argument «  isbn original=0486425339 <!--PARAMETRE 'isbn original' N'EXISTE PAS -->↵  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  En anglais  ») -- 10 octobre 2021 à 23:27 (CEST)
Mathématiques25/02/22MaximumB

il faudrait compléter la partie Domaines qui est trop succinte

Paradoxe19/12/17MaximumB
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Contexte ⇒ Quelques explications pour effectuer ces corrections. -- 30 novembre 2024 à 17:53 (CET)
Syllogisme18/12/17MaximumB
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Inclusion ⇒ Quelques explications pour effectuer ces corrections. -- 13 novembre 2024 à 23:34 (CET)
Théorèmes d'incomplétude de Gödel22/02/22MaximumB
Axiome19/12/17MaximumBon début
Axiome logique02/12/25MaximumBon début
Conjonction logique27/04/23MaximumBon début
Démonstration (logique et mathématiques)19/12/17MaximumBon début
Ensemble19/12/17MaximumBon début
Histoire de la logique25/12/17MaximumBon début
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Induction , Réalisme ⇒ Quelques explications pour effectuer ces corrections. -- 11 mars 2023 à 07:19 (CET)
Induction (logique)25/12/17MaximumBon début
Principe de non-contradiction25/12/17MaximumBon début
Principe du tiers exclu25/12/17MaximumBon début
Raisonnement25/12/17MaximumBon début
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Inférence , Processus ⇒ Quelques explications pour effectuer ces corrections. -- 3 septembre 2019 à 07:08 (CEST)
Sophisme25/12/17MaximumBon début
Théorème25/12/17MaximumBon début
Théorie des ensembles25/12/17MaximumBon début
Clause (logique)27/04/23MaximumÉbauche
Cohérence (logique)27/04/23MaximumÉbauche
Connecteur logique19/12/17MaximumÉbauche
Contradiction18/12/17MaximumÉbauche
Équivalence logique19/12/17MaximumÉbauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie ≡ ⇒ Quelques explications pour effectuer ces corrections. -- 4 octobre 2025 à 06:40 (CEST)
Logique formelle25/12/17MaximumÉbauche
Logique informelle25/12/17MaximumÉbauche
Paralogisme25/12/17MaximumÉbauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Succession ⇒ Quelques explications pour effectuer ces corrections. -- 25 avril 2019 à 22:12 (CEST)
Pétition de principe25/12/17MaximumÉbauche
Preuve25/12/17MaximumÉbauche
Système logique03/04/24MaximumÉbauche
Valeur de vérité25/12/17MaximumÉbauche
Validité (logique)25/12/17MaximumÉbauche
Bertrand Russell12/12/22ÉlevéeAdQ AdQ
Ludwig Wittgenstein22/03/23ÉlevéeAdQ AdQ
Biais cognitif07/05/24ÉlevéeB
  • Modifier l'image SVG pour que les liens pointent vers des articles de Wikipédia en français plutôt qu'en anglais
Fonction logique18/12/17ÉlevéeB

Le symbole de complémentarité dans la norme européenne(en fait internationale) est le même pour toutes les portes :le trait oblique.

Gottfried Wilhelm Leibniz18/12/17ÉlevéeB
Kurt Gödel19/12/17ÉlevéeB
  • Votre aide est la bienvenue pour corriger les arguments dupliqués dans les appels de modèle (quelques explications), présents dans l'article :
    • Modèle {{ Ouvrage }} : l'argument «  isbn  » est dupliqué (dans «  Essais et articles scientifiques/épistémologiques  ») -- 12 novembre 2025 à 22:40 (CET)
Logique intuitionniste06/10/25ÉlevéeB
Problème P ≟ NP08/08/20ÉlevéeB
Système binaire07/05/24ÉlevéeB
Vérité25/12/17ÉlevéeB
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Article }} : l'argument «  adresse = Piriapolis, Uruguay  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Valeurs  ») -- 10 novembre 2021 à 12:15 (CET)
Algèbre de Boole (logique)19/12/17ÉlevéeBon début

partie priorité :

- dire que certains logiciels n'appliquent pas les priorités, et prennent dans l'ordre. (par simplicité de prendre dans l'ordre ? difficulté a analyser les priorités dans son ensemble ?) avec des exemples : fortran, c ?

- prendre un autre exemple que a.b+c car dans l'ordre ou par priorité, c'est le même résultat. prendre plutôt a+b.c avec a=1 et c=0, quelque soit b

avec priorité : b.c=0 puis a+0 = 1 dans l'ordre : a+b = 1, puis 1.c = 0 [Pris en charge par Wikiwill (discuter) 17 juin 2021 à 10:27 (CEST)]répondre

- parler des parenthèses pour lever les doutes.

- le terme "on a décidé" est flou. qui ca ? a quelle instance ?

Assistant de preuve22/04/23ÉlevéeBon début
Booléen08/06/18ÉlevéeBon début
Calcul des prédicats03/01/20ÉlevéeBon début
Cercle de Vienne02/05/24ÉlevéeBon début
Diagramme d'Euler18/12/17ÉlevéeBon début
Diagramme de Venn18/12/17ÉlevéeBon début
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Article }} : l'argument «  collection=5  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Histoire  ») -- 8 août 2021 à 02:17 (CEST)
Gottlob Frege19/12/17ÉlevéeBon début
Jean Buridan19/11/25ÉlevéeBon début
  • Creer une section nominalisme
Liste de systèmes logiques06/03/25ÉlevéeBon début
Méréologie01/11/22ÉlevéeBon début
Philosophie analytique25/12/17ÉlevéeBon début
Principe d'identité25/12/17ÉlevéeBon début
Principia Mathematica28/09/25ÉlevéeBon début
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Lien web }} : l'argument «  publié=The New York Times Company  » ne fait pas partie des arguments gérés par le modèle {{ Lien web }} (dans «  Importance du traité  ») -- 9 novembre 2021 à 17:00 (CET)
Raisonnement par l'absurde19/12/17ÉlevéeBon début
Récursivité19/12/17ÉlevéeBon début
Table de vérité25/12/17ÉlevéeBon début
Tautologie (logique)08/07/24ÉlevéeBon début
Complémentaire (théorie des ensembles)25/12/17ÉlevéeÉbauche
Conséquence tautologique27/04/23ÉlevéeÉbauche
Généralisation25/12/17ÉlevéeÉbauche
Intuitionnisme25/12/17ÉlevéeÉbauche
Logique philosophique25/12/17ÉlevéeÉbauche
Logique temporelle25/12/17ÉlevéeÉbauche
Logique traditionnelle16/12/25ÉlevéeÉbauche
Philosophie de la logique25/12/17ÉlevéeÉbauche
Théorème de complétude de Gödel27/04/23ÉlevéeÉbauche
Théorème de Herbrand12/12/19ÉlevéeÉbauche
Alfred North Whitehead18/12/17MoyenneAdQ AdQ
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Substance ⇒ Quelques explications pour effectuer ces corrections. -- 29 septembre 2025 à 10:19 (CEST)
Négation (linguistique)12/04/25MoyenneAdQ AdQ
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Malentendant , Référent ⇒ Quelques explications pour effectuer ces corrections. -- 14 février 2026 à 03:05 (CET)
Test du canard08/07/26MoyenneBA BA
Tractatus logico-philosophicus25/12/17MoyenneBA BA

Réviser à partir de la traduction nouvelle

modifier

Revoir l'article à la lumière des nouvelles traductions parues chez Flammarion, coll. GF. (2021) Loumena (discuter) 15 novembre 2022 à 06:04 (CET)répondre

  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Contingent ⇒ Quelques explications pour effectuer ces corrections. -- 19 juillet 2024 à 14:35 (CEST)
Histoire de l'intelligence artificielle08/12/23MoyenneA
Jean Cavaillès25/07/23MoyenneA
Logique floue25/12/17MoyenneB
Réfutabilité13/03/22MoyenneB
  • en:Falsifiability est bien fourni.
  • Préciser l'impact du concept sur l'histoire des sciences (discipline) et ailleurs.
  • Préciser quelle théorie de Newton est l'objet du débat décrit dans le deuxième paragraphe. Ou lier vers une page idoine.
Stanisław Leśniewski05/08/26MoyenneB
Abduction (logique)19/03/18MoyenneBon début
Algorithme récursif02/12/25MoyenneBon début
Appel au ridicule10/04/23MoyenneBon début
Argumentum ad hominem30/01/26MoyenneBon début
Autocontradiction19/12/17MoyenneBon début
Autoréférence19/12/17MoyenneBon début
Axiome d'anti-fondation25/12/17MoyenneBon début
Caractéristique universelle19/12/17MoyenneBon début
Cellule pneumatique11/01/26MoyenneBon début
Cherry picking18/06/19MoyenneBon début
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Hors-jeu ⇒ Quelques explications pour effectuer ces corrections. -- 18 mars 2020 à 01:08 (CET)
Crise des fondements19/12/17MoyenneBon début
Fonction logique coïncidence01/02/18MoyenneBon début
Fonction logique OU exclusif25/12/17MoyenneBon début
  • Remettre une section au sujet de la cryptographie et du téléphone rouge, avec des sources (voir la suppression du 2026-04-17)
Idéographie25/12/17MoyenneBon début
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Conséquence ⇒ Quelques explications pour effectuer ces corrections. -- 13 avril 2025 à 16:38 (CEST)
Longueur d'une démonstration19/12/17MoyenneBon début
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Ouvrage }} : l'argument «  périodique=Amer. J. Math.  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Démonstrations longues  ») -- 7 août 2023 à 09:31 (CEST)
Méréologie de Leśniewski14/09/25MoyenneBon début
Paradoxe du barbier25/12/17MoyenneBon début
Post hoc ergo propter hoc13/06/25MoyenneBon début
Preuve scientifique20/04/24MoyenneBon début
Principe d'identité des indiscernables25/12/17MoyenneBon début
Prolog25/12/17MoyenneBon début
Syllogisme statistique25/12/17MoyenneBon début
Théorème d'accélération de Gödel19/12/17MoyenneBon début
Affirmation19/12/17MoyenneÉbauche
Amalgame sémantique13/06/24MoyenneÉbauche
Autologisme19/12/17MoyenneÉbauche
Axiome de limitation de taille25/12/17MoyenneÉbauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Axiome de séparation ⇒ Quelques explications pour effectuer ces corrections. -- 30 décembre 2014 à 00:22 (CET)
Axiome du choix dépendant25/12/17MoyenneÉbauche
De arte combinatoria07/01/18MoyenneÉbauche
Démonstration formelle19/12/17MoyenneÉbauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Référence ⇒ Quelques explications pour effectuer ces corrections. -- 21 mai 2020 à 19:26 (CEST)
Diagramme de Carroll18/12/17MoyenneÉbauche
Diagrammes d'Euler, de Venn et de Carroll19/12/17MoyenneÉbauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Schéma ⇒ Quelques explications pour effectuer ces corrections. -- 30 décembre 2014 à 13:25 (CET)
Équivalence élémentaire19/12/17MoyenneÉbauche
Fonction logique ET25/12/17MoyenneÉbauche
Fonction logique NON25/12/17MoyenneÉbauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie NF ⇒ Quelques explications pour effectuer ces corrections. -- 29 décembre 2014 à 13:04 (CET)
Fonction logique NON-ET25/12/17MoyenneÉbauche
Fonction logique NON-OU25/12/17MoyenneÉbauche
Fonction logique OU25/12/17MoyenneÉbauche
Fonction logique OUI25/12/17MoyenneÉbauche
Herzberger Quader13/11/23MoyenneÉbauche
Liste de concepts logiques19/12/17MoyenneÉbauche
Logicisme25/12/17MoyenneÉbauche
Métalogique25/12/17MoyenneÉbauche
Nominalisme25/12/17MoyenneÉbauche
Polysyllogisme25/12/17MoyenneÉbauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Proposition ⇒ Quelques explications pour effectuer ces corrections. -- 17 janvier 2018 à 21:12 (CET)
Quasi-syllogisme25/12/17MoyenneÉbauche
Théorie complète25/12/17MoyenneÉbauche
Pensée désidérative04/12/25FaibleA
Anniversaire de Cheryl14/05/26FaibleB
Problème de la Belle au bois dormant31/01/24FaibleB
Argumentum ad baculum21/04/26FaibleBon début
Bibliographie sur la logique et la philosophie du langage19/12/17FaibleBon début
Cube serpent19/06/19FaibleBon début
Éleusis (jeu)01/10/23FaibleBon début
Équivoque03/05/23FaibleBon début
Groupe stable01/07/26FaibleBon début
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Ouvrage }} : l'argument «  note=Une tentative de conciliation entre la géométrie algébrique et la logique mathématique  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Références  ») -- 12 juillet 2026 à 19:45 (CEST)
Liste d'œuvres de Bertrand Russell06/08/24FaibleBon début
Logique connexive31/03/25FaibleBon début
Maria Aloni25/10/24FaibleBon début
Paradoxe de l'omnipotence25/12/17FaibleBon début
Paradoxe du fromage à trous01/02/18FaibleBon début
Principe de raison suffisante07/01/18FaibleBon début
Problème d'algèbre de lycée de Tarski11/04/21FaibleBon début
Problème du singe et du contrepoids05/09/26FaibleBon début
Théorie des ordres31/03/25FaibleBon début
A contrario25/08/26FaibleÉbauche
Argumentum ad populum09/05/23FaibleÉbauche
Bamalip18/12/17FaibleÉbauche
Barbara (syllogisme)18/12/17FaibleÉbauche
Baroco18/12/17FaibleÉbauche
Biais d'automatisation23/11/25FaibleÉbauche
Bocardo18/12/17FaibleÉbauche
Camenes (syllogisme)18/12/17FaibleÉbauche
Camestres18/12/17FaibleÉbauche
Celarent18/12/17FaibleÉbauche
Cesare18/12/17FaibleÉbauche
Darapti18/12/17FaibleÉbauche
Darii18/12/17FaibleÉbauche
Datisi18/12/17FaibleÉbauche
De dicto et de re27/09/25FaibleÉbauche
Diamant de Nixon24/08/19FaibleÉbauche
Dimatis18/12/17FaibleÉbauche
Disamis18/12/17FaibleÉbauche
Fakhr ad-Dîn ar-Râzî29/04/23FaibleÉbauche
Felapton18/12/17FaibleÉbauche
Ferio18/12/17FaibleÉbauche
Ferison18/12/17FaibleÉbauche
Fesapo18/12/17FaibleÉbauche
Festino18/12/17FaibleÉbauche
Fresison18/12/17FaibleÉbauche
Guillaume de Soissons15/04/26FaibleÉbauche
Piergiorgio Odifreddi29/06/21FaibleÉbauche
Prix de thèse E. W. Beth29/05/25FaibleÉbauche
Reductio ad Hitlerum18/08/25FaibleÉbauche
Sophisme de la cause unique04/12/25FaibleÉbauche
Analyse constructive22/04/23À évaluerB
Antoine Arnauld (1612-1694)22/04/23À évaluerB
Automate cellulaire23/04/23À évaluerB
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Base , Pavage ⇒ Quelques explications pour effectuer ces corrections. -- 27 juin 2026 à 00:23 (CEST)
Axiomes de Hilbert23/04/23À évaluerB
Biographie de Ludwig Wittgenstein23/04/23À évaluerB
  • Poursuite du travail de complément de traduction et d'harmonisation des références à partir de la version anglophone
10 %
0 %
  • Vérification de toutes les autres versions allophones à la recherche d'informations supplémentaires dans un but d'exhaustivité encyclopédique explicitement assumé par le titre de cette page.
0 %

Archibald Tuttle (discuter) 2 mars 2023 à 12:48 (CET)répondre

Calcul des séquents23/04/23À évaluerB
Chrysippe de Soles27/04/23À évaluerB
  • Décrire la philosophie de Chrysippe
  • Décrire le style de ses œuvres
  • Améliorer la troisième partie de L'homme
Complétion de Knuth-Bendix27/04/23À évaluerB
David Hilbert30/03/22À évaluerB
  • Mieux sourcer l'article. Kelson (d) 29 juin 2010 à 22:06 (CEST)répondre
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Article }} : l'argument «  site=E-Periodica  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Biographie  ») -- 21 novembre 2022 à 04:39 (CET)
Georg Cantor23/04/23À évaluerB
John von Neumann20/06/25À évaluerB
  • Sourcer l'article
Lambda-calcul simplement typé11/10/24À évaluerB
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Projet:Logique/Évaluation/Index&oldid=239261212 ».