Projet:Logique/Annonces automatiques

(Mis à jour automatiquement par OrlodrimBot)

Nouvelles publications

Derniers articles indexés

26 juin 2024

Principe de Markov.

18 juin 2024

Lambda-calcul simplement typé.

9 mai 2024

Arithmétique de Heyting.

7 mai 2024

Esprit critique ; Histoire de l'intelligence artificielle.

4 mai 2024

Évaluation partielle.

5 avril 2024

Probatio diabolica.

3 mars 2024

Robert Galbraith (logicien).

8 février 2024

Théorisation post hoc.

18 janvier 2024

Melvin Fitting.

17 janvier 2024

Investigations philosophiques.

11 janvier 2024

Alice Ambrose.

10 décembre 2023

Jerónimo Pardo.

9 décembre 2023

Effondrement modal.

1^er décembre 2023

Blocs logiques.

Articles populaires

Liste des articles les plus populaires du mois.

À surveiller

Débats d'admissibilité

• Aucun article actuellement

Dernières PàS traitées

• Logique chinoise [débat] (11 novembre 2023)
• Pierre Wagner [débat] (9 juin 2023)

Pages à fusionner

• Sorité (5 janvier 2023)

Pages à scinder

• Aucun article actuellement

Admissibilité à vérifier

• Aucun article actuellement

Neutralité

• Robert Galbraith (logicien) (3 mars 2024, passage non neutre)
• Méréologie (3 novembre 2020, passage non neutre)

Dernières notifications

• Aucune notification.

Ton publicitaire, journalistique ou dithyrambique

• Aucun article actuellement

Articles soupçonnés d'enfreindre un droit d'auteur

• Aucun article actuellement

Articles soupçonné de non-pertinence

• Non-implication (14 mai 2024)
• Tractatus logico-philosophicus (21 janvier 2024)
• Histoire de la logique (29 septembre 2013)

Articles ayant subi une guerre d'édition

• Aucun article actuellement

À faire

Articles à évaluer

Aide et explications : Projet:Logique/Évaluation.

(dans la Catégorie:Article du projet Logique d'importance inconnue) Vérité logique ; Vacuité ; Condition de vérité ; Principe d'explosion ; Interprétation (logique) ; Énigme du dollar manquant ; Martin Davis ; Carol Karp ; Problème de la couverture irredondante ; Évaluation partielle ; Robert Galbraith (logicien) ; Négation (linguistique) ; Alex Wilkie ; HighLife (automate cellulaire) ; Satisfaisabilité ; Deux vérités (bouddhisme) ; Raisonnement circulaire ; Problème du critère ; Postulat ; Sorin Cerin ; Stanisław Leśniewski ; Grand ordinal dénombrable ; Hexagone logique ; Trilemme ; Terminaison d'un algorithme ; Théorisation post hoc ; Non-implication réciproque ; Non-implication ; Logique du dialogue ; Logique dynamique ; Logique épistémique ; Logique et raisonnement mathématique ; Logique infinitaire ; Logique linéaire ; Logique intuitionniste ; Logique minimale ; Logique modale normale ; Logique modale ; Logique monadique du premier ordre ; Logique non classique ; Logique non monotone ; Logique paracohérente ; Logique pneumatique ; Logique polyvalente ; Logique probabiliste ; Logique séquentielle ; Logique temporelle linéaire ; Logique ternaire ; Logique traditionnelle ; Logique triviale ; CQFD (mathématiques) ; Conditionnels contrefactuels ; Connaissance commune ; Contre-exemple ; Contre-argument ; Coq (logiciel) ; Factorisation gauche ; Extension conservatrice ; Explication ; Expansion de Shannon ; Exemple (mathématiques) ; Engagement ontologique ; Empirisme logique ; Élimination des quantificateurs ; Élimination de la disjonction ; Élimination de la conjonction ; Conclusion (logique) ; Complétion de Knuth-Bendix ; Compossibilité ; Complexité des preuves ; Complétude (logique) ; Coinduction ; Codage de Gödel ; Clause de Horn ; Leon Chwistek ; Prix Alonzo-Church ; Alonzo Church ; Chrysippe de Soles ; Gregory Chaitin ; Ceteris paribus ; Cercle vicieux ; Gueorgui Ivanovitch Tchelpanov ; Cellule pneumatique ; Castor affairé ; Carte de Jourdain ; Carré sémiotique ; Carré logique ; Rudolf Carnap ; Georg Cantor ; Canonique (informatique) ; Calcul des situations ; Calcul des séquents ; Calcul des propositions ; Calcul des constructions ; Jean Buridan ; Franco Burgersdijk ; Cesare Burali-Forti ; Luitzen Egbertus Jan Brouwer ; Paul Braffort ; Bernard Bolzano ; Patricia Blanchette ; Biais des survivants ; Biographie de Ludwig Wittgenstein ; Robert Blanché ; Prix de thèse E. W. Beth ; Evert Willem Beth ; James Baumgartner ; W. W. Bartley, III ; Barre de Sheffer ; Henk Barendregt ; Jean Balibar ; Axiomes de Peano ; Axiomes de Hilbert ; Axiome logique ; Axiome de fondation ; Axiome de détermination ; Automath ; Automate cellulaire ; Sophisme du vrai Écossais ; Attribut (philosophie) ; Attitude propositionnelle ; Atelier de raisonnement logique ; Antinomie ; Logique doxastique ; Association for Logic, Language and Information ; Association for Symbolic Logic ; Astuce de Rosser ; Antoine Arnauld (1612-1694) ; Arithmétique vraie ; Arithmétique du second ordre ; Arithmétique de Robinson ; Arithmétique de Presburger ; Argumentum ad personam ; Argumentum ad odium ; Argumentum ad novitatem ; Argumentum ad nauseam ; Argumentum ad misericordiam ; Argumentum ad lazarum ; Argumentum ad hominem ; Argumentum ad crumenam ; Argumentum ad consequentiam ; Argumentum ad baculum ; Argumentum a silentio ; Argument de la régression ; Argument de la diagonale de Cantor ; Argument d'autorité ; Arbre de Porphyre ; Appel à la nature ; Appel à la peur ; Appel à la flatterie ; Appel à Galilée ; Aporie ; Antipsychologisme ; Anti-unification ; Antécédent (logique) ; Analyse constructive ; Analogie ; Amphibologie ; Maria Aloni ; Allié objectif ; Algorithme récursif ; Algorithme de Davis-Putnam ; Algèbre modale ; Algèbre de Stone ; Algèbre de Lindenbaum ; Algèbre de Kleene ; Algèbre de Heyting ; Algèbre de De Morgan ; Algèbre de Boole à deux éléments ; Algèbre de Boole (structure) ; Algèbre cylindrique ; Aide au dépannage ; Affirmation du conséquent ; Affirmation d'une disjonction ; Sergueï Adian ; Additionneur ; A fortiori ; A contrario ; ⊥ ; Raisonnement fallacieux ; Hypothèse du nom unique ; David Hilbert ; Appel à la probabilité ; Argumentum ad exoticum ; Argumentum ad antiquitatem ; Sophisme du juste milieu.

Voir aussi Catégorie:Évaluation des articles du projet Logique.

À wikifier

Alice Ambrose ; Système logique ; Contra principia negantem non est disputandum ; Pierre Wagner ; Système binaire ; Roger Martin (logicien) ; Degré de Turing.

À sourcer

Sans aucune source

Faux dilemme ; Évaluation partielle ; Immigration (automate cellulaire).

Manquant de références

Claude Imbert (philosophe) ; Probatio diabolica ; Terminaison d'un système de réécriture ; Théorisation post hoc ; Explication ; Système logique ; Tautologie ; Paradoxe de l'avocat ; Aide au dépannage ; Axiomes de Hilbert ; Roman Sikorski ; Fausse objection ; Équivoque ; Complétude (logique) ; Codage de Gödel ; Leon Chwistek ; Système à la Hilbert ; Bernard Bolzano ; Logica nova ; Preuve ; Platonisme ; Théorie des modèles ; Infini ; Logique argumentative ; Du Point de vue logique ; Système binaire ; Institut Camille-Jordan ; Autologisme ; Continuation (informatique) ; Prémisse fausse ; Roger Martin (logicien) ; Gottfried Wilhelm Leibniz ; Vérité logique ; Argumentum ad lazarum ; Raisonnement circulaire ; Inversion de la charge de la preuve ; Sophisme de la solution parfaite ; Pierre de La Ramée ; Jean-Michel Salanskis ; Cherry picking ; Modalité (linguistique et logique) ; Organigramme (schéma logique) ; Mutatis mutandis ; Sophisme ; Logique modale normale ; Fonction récursive ; Récursivement énumérable ; Paradoxe du grand-père ; Charles Sanders Peirce ; Problème de la décision ; Indiscernables ; Modalité (logique) ; Expansion de Shannon ; Paradoxe de l'interrogation surprise ; Réfutabilité ; Consilience ; Récursivité ; Métalogique ; Logique monadique du premier ordre ; Introduction de la disjonction ; Atelier de raisonnement logique ; Système intelligent flou ; Référence (philosophie) ; Logique pneumatique ; Test (méthode) ; Information partielle linéaire ; Problème 3-SAT ; Méthode de Quine-Mc Cluskey ; Style de Fitch pour la déduction naturelle ; Théorie du cygne noir ; Satisfiability modulo theories ; Logique ternaire ; Fonction NON-ET ; Fonction OUI ; Allié objectif ; Exemple (mathématiques) ; Logique de l'action ; Paradoxe sorite ; Paradoxe temporel ; Théorème de Herbrand ; Histoire de la logique ; Syntaxe (logique) ; Présupposition ; Logique de Port-Royal ; Cercle vicieux ; Appel à la peur ; Explétif ; Réduction polynomiale ; Paradoxe de Goodman ; Argumentation ; Généralisation ; Constructivisme (mathématiques) ; Théorie de la référence directe ; Autocontradiction ; Analogie ; Conjonction logique ; Processeur de signal numérique ; Jean Largeault ; Aporie ; Lieu commun ; Machine de Blum-Shub-Smale ; Axiome ; Théorème ; Logique floue ; Ingebrigt Johansson ; Jean-Blaise Grize ; Argumentum ad novitatem ; Paradoxe de Moore.

Liens externes à trier, ou sources à lier

Liens externes à trier

• Aucun article actuellement

Sources à lier

Tractatus logico-philosophicus ; Peter Geach ; Argumentum ad hominem ; Alexandre Zinoviev ; Algèbre de Boole (logique) ; Logique ; Autoréférence ; Induction structurelle ; Peter Simons (philosophe) ; Logique dynamique ; Dialethéisme ; Cohérence (logique) ; Information partielle linéaire ; Gregory Chaitin ; Logique modale.

Articles avec des traductions non relues

W. W. Bartley, III ; Engagement ontologique ; John Alan Robinson ; Vérité logique.

Rédaction à améliorer, problèmes divers

• Amalgame sémantique (13 juin 2024, rédaction à améliorer)
• Exemple (29 mai 2024, article à mieux introduire)
• Biographie de Ludwig Wittgenstein (7 avril 2024, article à mieux introduire)
• Épouvantail (rhétorique) (25 août 2023, travail inédit)
• Faux dilemme (19 juin 2023, travail inédit)
• PhotoADN (15 février 2023, travail inédit)
• Preuve (5 février 2023, rédaction à améliorer)
• Deux vérités (bouddhisme) (5 novembre 2022, travail inédit)
• Roger Martin (logicien) (8 février 2021, rédaction à améliorer)
• Charles Sanders Peirce (13 décembre 2018, rédaction à améliorer)
• Explétif (8 novembre 2018, rédaction à améliorer)
• Paradoxe sorite (21 septembre 2017, travail inédit)
• Non-cognitivisme (16 mars 2016, rédaction à améliorer)
• Logique modale (7 avril 2015, rédaction à améliorer)
• Référence (philosophie) (16 novembre 2014, rédaction à améliorer)

Sections vides ou incomplètes

Déduction et induction ; Paradoxe ; Théorème ; Immigration (automate cellulaire) ; Analogie ; Diego Marconi ; Stephen Cole Kleene ; Démonstration (logique et mathématiques) ; Frank Ramsey ; Méréologie ; Induction structurelle ; Allié objectif ; Réseau de preuves ; John von Neumann ; Concept (philosophie) ; Liste de paradoxes ; Autoréférence ; Preuve anecdotique ; Réduction polynomiale ; Paradoxe du menteur ; Complétion de Knuth-Bendix ; Gottlob Frege ; Infini ; Arithmétique du second ordre ; John Stuart Mill ; Connecteur logique ; Exemple (mathématiques) ; Logique minimale ; Appel à la nature ; Implication réciproque ; Axiome de détermination ; Informatique théorique ; Gérard Huet ; Théorème de Fagin ; Déployeur universel ; Logique et raisonnement mathématique ; Logique paracohérente ; Gottfried Wilhelm Leibniz ; László Kalmár (mathématicien) ; Paralogisme ; Vacuité ; Argumentum ad nauseam ; Georg Henrik von Wright ; Logique séquentielle ; Dag Prawitz ; Gabriel Sandu ; Leopold Löwenheim ; Les Lois de la pensée ; Chrysippe de Soles ; Théorie de l'argumentation ; Aporie ; Non-implication réciproque ; Liste de symboles logiques ; Raisonnement révisable ; Interprétation (logique) ; Conclusion (logique) ; Christos Papadimitriou ; Preuves, Programmes et Systèmes ; René Cori ; Exemple ; Théorie des ensembles de Morse-Kelley ; Paradoxe de Goodman ; Ultrafiltre ; Système F ; Hiérarchie arithmétique ; Subsomption ; Automate cellulaire ; Raymond Smullyan ; Calcul des prédicats ; Tractatus logico-philosophicus ; Fonction récursive primitive ; Vérité ; Logique floue ; Unification.

Article orphelin

Contra principia negantem non est disputandum ; Ordinal récursif ; Forme normale négative décomposable.

Article ou section à recycler

• Abduction (logique) (19 février 2023)
• Déduction logique (17 décembre 2022)
• Fondements des mathématiques (9 mai 2020, Article à recycler)
• Arithmétique vraie (9 janvier 2020)
• Autoréférence (13 juillet 2019, Article à recycler)
• Induction (logique) (8 janvier 2019, Article à recycler)
• Interprétation (logique) (15 novembre 2018)
• Élimination de la conjonction (3 avril 2018, Article à recycler)
• Élimination de la disjonction (3 avril 2018, Article à recycler)
• Formule propositionnelle (3 avril 2018, Article à recycler)
• Logique polyvalente (3 avril 2018, Article à recycler)
• Théorie des types (3 avril 2018, Article à recycler)
• Auguste De Morgan (3 avril 2018, Article à recycler)
• Autocontradiction (3 avril 2018, Article à recycler)
• Métalangage (3 avril 2018, Article à recycler)
• Proposition contraposée (3 avril 2018, Article à recycler)
• Georg Cantor (26 septembre 2017)
• Assistant de preuve (17 juillet 2016)
• Unité paradoxale (18 janvier 2015)
• Logique floue (2 janvier 2015)

Articles labellisés

Article de qualité

• Ludwig Wittgenstein (22 mars 2023)
• Bertrand Russell (12 décembre 2022)
• Alfred North Whitehead (1^er octobre 2016)
• Négation (linguistique) (9 août 2011)

Article potentiellement de qualité

• Aucun article actuellement

Bon article

• Rasoir de Hanlon (2 septembre 2020)
• Test du canard (19 avril 2020)
• Aristote (19 février 2015)
• Tractatus logico-philosophicus (24 juin 2013)

Article potentiellement bon

• Aucun article actuellement