Projet:Logique/Évaluation/Index
Dernière mise à jour : 7 août 2024 par OrlodrimBot.
Article
|
Date
|
Autres
|
Commentaires
| ||
---|---|---|---|---|---|
Aristote | 18/12/17 | Maximum | ![]() |
||
Argumentation | 25/12/17 | Maximum | B |
| |
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 |
| |
Mathématiques | 25/02/22 | Maximum | B |
il faudrait compléter la partie Domaines qui est trop succinte | |
Paradoxe | 19/12/17 | Maximum | B |
| |
Syllogisme | 18/12/17 | Maximum | B |
| |
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 |
| |
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 |
| |
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 |
| |
Logique formelle | 25/12/17 | Maximum | Ébauche | ||
Logique informelle | 25/12/17 | Maximum | Ébauche | ||
Paralogisme | 25/12/17 | Maximum | Ébauche |
| |
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 | ![]() |
||
Ludwig Wittgenstein | 22/03/23 | Élevée | ![]() |
||
Biais cognitif | 07/05/24 | Élevée | B |
| |
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 |
| |
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)] - 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 |
| |
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 |
| |
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 | ![]() |
||
Tractatus logico-philosophicus | 25/12/17 | Moyenne | ![]() |
Réviser à partir de la traduction nouvellemodifierRevoir l'article à la lumière des nouvelles traductions parues chez Flammarion, coll. GF. (2021) Loumena (discuter) 15 novembre 2022 à 06:04 (CET)
| |
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 |
| |
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 |
| |
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 |
| |
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 |
| |
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 |
| |
Diagramme de Carroll | 18/12/17 | Moyenne | Ébauche | ||
Diagrammes d'Euler, de Venn et de Carroll | 19/12/17 | Moyenne | Ébauche |
| |
Équivalence élémentaire | 19/12/17 | Moyenne | Ébauche | ||
Fonction ET | 25/12/17 | Moyenne | Ébauche | ||
Fonction NON | 25/12/17 | Moyenne | Ébauche |
| |
Fonction NON-ET | 25/12/17 | Moyenne | Ébauche | ||
Fonction NON-OU | 25/12/17 | Moyenne | Ébauche | ||
Fonction OU | 25/12/17 | Moyenne | Ébauche |
| |
Fonction OUI | 25/12/17 | Moyenne | Ébauche |
| |
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 |
| |
Quasi-syllogisme | 25/12/17 | Moyenne | Ébauche | ||
Théorie complète | 25/12/17 | Moyenne | Ébauche |
| |
Test du canard | 19/04/20 | Faible | ![]() |
| |
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 | ||
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 |