Aller au contenu

Projet:Logique/Évaluation/Index

Ajouter des liens
Une page de Wikipédia, l'encyclopédie libre.
LogiqueÉvaluation
← statistiques↑(haut)historique →

Dernière mise à jour : 26 octobre 2024 par OrlodrimBot.


Article
Date
Autres
Commentaires
Aristote 18/12/17 Maximum BA BA
Argumentation 25/12/17 Maximum B
  • 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 critique 07/05/24 Maximum B
George Boole 23/04/23 Maximum B
Logique 18/12/17 Maximum B
Logique mathématique 25/12/17 Maximum B
  • Revoir la typographie. Kelson (d) 14 mars 2008 à 11:34 (CET)[répondre]
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Complétude , Suite ⇒ Quelques explications pour effectuer ces corrections. -- 12 avril 2023 à 08:43 (CEST)
  • 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ématiques 25/02/22 Maximum B

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

Paradoxe 19/12/17 Maximum B
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Avatar , Contexte ⇒ Quelques explications pour effectuer ces corrections. -- 5 septembre 2017 à 15:54 (CEST)
Syllogisme 18/12/17 Maximum B
  • 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ödel 22/02/22 Maximum B
Axiome 19/12/17 Maximum Bon début
Conjonction logique 27/04/23 Maximum Bon début
Démonstration (logique et mathématiques) 19/12/17 Maximum Bon début
Ensemble 19/12/17 Maximum Bon début
Histoire de la logique 25/12/17 Maximum Bon 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/17 Maximum Bon début
Principe de non-contradiction 25/12/17 Maximum Bon début
Principe du tiers exclu 25/12/17 Maximum Bon début
Raisonnement 25/12/17 Maximum Bon 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)
Sophisme 25/12/17 Maximum Bon début
Théorème 25/12/17 Maximum Bon début
Théorie des ensembles 25/12/17 Maximum Bon début
Clause (logique) 27/04/23 Maximum Ébauche
Cohérence (logique) 27/04/23 Maximum Ébauche
Connecteur logique 19/12/17 Maximum Ébauche
Contradiction 18/12/17 Maximum Ébauche
Équivalence logique 19/12/17 Maximum É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. -- 30 décembre 2014 à 00:29 (CET)
Logique formelle 25/12/17 Maximum Ébauche
Logique informelle 25/12/17 Maximum Ébauche
Paralogisme 25/12/17 Maximum É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 principe 25/12/17 Maximum Ébauche
Preuve 25/12/17 Maximum Ébauche
Système logique 03/04/24 Maximum Ébauche
Valeur de vérité 25/12/17 Maximum Ébauche
Validité (logique) 25/12/17 Maximum Ébauche
Bertrand Russell 12/12/22 Élevée AdQ AdQ
Ludwig Wittgenstein 22/03/23 Élevée AdQ AdQ
Biais cognitif 07/05/24 Élevée B
  • Modifier l'image SVG pour que les liens pointent vers des articles de Wikipédia en français plutôt qu'en anglais
Fonction logique 18/12/17 Élevée B

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 Leibniz 18/12/17 Élevée B
Kurt Gödel 19/12/17 Élevée B
Problème P ≟ NP 08/08/20 Élevée B
Système binaire 07/05/24 Élevée B
Vérité 25/12/17 Élevée B
  • 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ée Bon 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 preuve 22/04/23 Élevée Bon début
Booléen 08/06/18 Élevée Bon début
Calcul des prédicats 03/01/20 Élevée Bon début
Cercle de Vienne 02/05/24 Élevée Bon début
Diagramme d'Euler 18/12/17 Élevée Bon début
Diagramme de Venn 18/12/17 Élevée Bon 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 Frege 19/12/17 Élevée Bon début
Méréologie 01/11/22 Élevée Bon début
Philosophie analytique 25/12/17 Élevée Bon début
Principe d'identité 25/12/17 Élevée Bon début
Raisonnement par l'absurde 19/12/17 Élevée Bon début
Récursivité 19/12/17 Élevée Bon début
Table de vérité 25/12/17 Élevée Bon début
Tautologie (logique) 08/07/24 Élevée Bon début
Complémentaire (théorie des ensembles) 25/12/17 Élevée Ébauche
Conséquence tautologique 27/04/23 Élevée Ébauche
Généralisation 25/12/17 Élevée Ébauche
Intuitionnisme 25/12/17 Élevée Ébauche
Logique philosophique 25/12/17 Élevée Ébauche
Logique temporelle 25/12/17 Élevée Ébauche
Philosophie de la logique 25/12/17 Élevée Ébauche
Principia Mathematica 19/12/17 Élevée Ébauche
  • 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)
Théorème de complétude de Gödel 27/04/23 Élevée Ébauche
Théorème de Herbrand 12/12/19 Élevée Ébauche
Alfred North Whitehead 18/12/17 Moyenne AdQ AdQ
Tractatus logico-philosophicus 25/12/17 Moyenne BA BA

Réviser à partir de la traduction nouvelle

[modifier le code]

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 artificielle 08/12/23 Moyenne A
Jean Cavaillès 25/07/23 Moyenne A
Logique floue 25/12/17 Moyenne B
Réfutabilité 13/03/22 Moyenne B
  • 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.
Abduction (logique) 19/03/18 Moyenne Bon début
Appel au ridicule 10/04/23 Moyenne Bon début
Autocontradiction 19/12/17 Moyenne Bon début
Autoréférence 19/12/17 Moyenne Bon début
Axiome d'anti-fondation 25/12/17 Moyenne Bon début
Caractéristique universelle 19/12/17 Moyenne Bon début
Cherry picking 18/06/19 Moyenne Bon 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)
Coïncidence (informatique) 01/02/18 Moyenne Bon début
Crise des fondements 19/12/17 Moyenne Bon début
Fonction OU exclusif 25/12/17 Moyenne Bon début
Idéographie 25/12/17 Moyenne Bon début
Longueur d'une démonstration 19/12/17 Moyenne Bon 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)
Paradoxe du barbier 25/12/17 Moyenne Bon début
Preuve scientifique 20/04/24 Moyenne Bon début
Principe d'identité des indiscernables 25/12/17 Moyenne Bon début
Prolog 25/12/17 Moyenne Bon début
Syllogisme statistique 25/12/17 Moyenne Bon début
Théorème d'accélération de Gödel 19/12/17 Moyenne Bon début
Affirmation 19/12/17 Moyenne Ébauche
Amalgame sémantique 13/06/24 Moyenne Ébauche
Autologisme 19/12/17 Moyenne Ébauche
Axiome de limitation de taille 25/12/17 Moyenne É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épendant 25/12/17 Moyenne Ébauche
De arte combinatoria 07/01/18 Moyenne Ébauche
Démonstration formelle 19/12/17 Moyenne É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 Carroll 18/12/17 Moyenne Ébauche
Diagrammes d'Euler, de Venn et de Carroll 19/12/17 Moyenne É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émentaire 19/12/17 Moyenne Ébauche
Fonction ET 25/12/17 Moyenne Ébauche
Fonction NON 25/12/17 Moyenne É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 NON-ET 25/12/17 Moyenne Ébauche
Fonction NON-OU 25/12/17 Moyenne Ébauche
Fonction OU 25/12/17 Moyenne Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie NO ⇒ Quelques explications pour effectuer ces corrections. -- 29 décembre 2014 à 13:04 (CET)
Fonction OUI 25/12/17 Moyenne Ébauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie NO ⇒ Quelques explications pour effectuer ces corrections. -- 29 décembre 2014 à 13:04 (CET)
Herzberger Quader 13/11/23 Moyenne Ébauche
Liste de concepts logiques 19/12/17 Moyenne Ébauche
Logicisme 25/12/17 Moyenne Ébauche
Métalogique 25/12/17 Moyenne Ébauche
Nominalisme 25/12/17 Moyenne Ébauche
Polysyllogisme 25/12/17 Moyenne É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-syllogisme 25/12/17 Moyenne Ébauche
Théorie complète 25/12/17 Moyenne Ébauche
Test du canard 19/04/20 Faible BA BA
  • 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. -- 19 juillet 2024 à 14:44 (CEST)
Problème de la Belle au bois dormant 31/01/24 Faible B
100% logique 23/02/23 Faible Bon début
Bibliographie sur la logique et la philosophie du langage 19/12/17 Faible Bon début
Cube serpent 19/06/19 Faible Bon début
Éleusis (jeu) 01/10/23 Faible Bon début
Équivoque 03/05/23 Faible Bon début
Liste d'œuvres de Bertrand Russell 06/08/24 Faible Bon début
Maria Aloni 25/10/24 Faible Bon début
Paradoxe de l'omnipotence 25/12/17 Faible Bon début
Paradoxe du fromage à trous 01/02/18 Faible Bon début
Principe de raison suffisante 07/01/18 Faible Bon début
Problème d'algèbre de lycée de Tarski 11/04/21 Faible Bon début
Argumentum ad populum 09/05/23 Faible Ébauche
Bamalip 18/12/17 Faible Ébauche
Barbara (syllogisme) 18/12/17 Faible Ébauche
Baroco 18/12/17 Faible Ébauche
Bocardo 18/12/17 Faible Ébauche
Camenes (syllogisme) 18/12/17 Faible Ébauche
Camestres 18/12/17 Faible Ébauche
Celarent 18/12/17 Faible Ébauche
Cesare 18/12/17 Faible Ébauche
Darapti 18/12/17 Faible Ébauche
Darii 18/12/17 Faible Ébauche
Datisi 18/12/17 Faible Ébauche
Diamant de Nixon 24/08/19 Faible Ébauche
Dimatis 18/12/17 Faible Ébauche
Disamis 18/12/17 Faible Ébauche
Fakhr ad-Dîn ar-Râzî 29/04/23 Faible Ébauche
Felapton 18/12/17 Faible Ébauche
Ferio 18/12/17 Faible Ébauche
Ferison 18/12/17 Faible Ébauche
Fesapo 18/12/17 Faible Ébauche
Festino 18/12/17 Faible Ébauche
Fresison 18/12/17 Faible Ébauche
Piergiorgio Odifreddi 29/06/21 Faible Ébauche
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Projet:Logique/Évaluation/Index&oldid=219758191 ».