Chaque année, le 14 janvier, la Journée mondiale de la logique met à l’honneur une discipline aussi ancienne que discrète : l’étude des principes du raisonnement correct. Proclamée par l’UNESCO en association avec le Conseil international de la philosophie et des sciences humaines (CIPSH), elle rappelle que la logique irrigue aussi bien la philosophie que les mathématiques, l’informatique, le droit ou l’intelligence artificielle — sans que le grand public en ait souvent conscience.
| Élément | Détail |
|---|---|
| Date | 14 janvier (date fixe) |
| Nom officiel | Journée mondiale de la logique (World Logic Day) |
| Première célébration | 14 janvier 2019, à l’initiative de la Logica Universalis Association |
| Proclamation | 40ᵉ Conférence générale de l’UNESCO, 26 novembre 2019 |
| Décision préalable | 207 EX/Décision 42 (Conseil exécutif de l’UNESCO, octobre 2019) |
| État proposant | Brésil, appuyé par un groupe d’autres États membres |
| Coordination | CIPSH et DLMPST/IUHPST |
| Première édition sous l’égide de l’UNESCO | 14 janvier 2020 |
| Mot-dièse | #WorldLogicDay |
C’est quoi la logique ?
La logique est l’étude des principes qui permettent de distinguer un raisonnement valide d’un raisonnement invalide. Elle ne s’intéresse pas d’abord à la vérité des affirmations de départ, mais à la solidité du lien entre les prémisses et la conclusion : d’un énoncé faux, un raisonnement valide peut parfaitement conduire à une conclusion fausse, sans cesser d’être logiquement correct.
Logique formelle et logique informelle
- La logique formelle représente les raisonnements au moyen de symboles et de règles explicites : connecteurs (« et », « ou », « si… alors », « non »), quantificateurs (« pour tout », « il existe »), règles de déduction. C’est le domaine du calcul des propositions et du calcul des prédicats.
- La logique informelle, ou argumentation, analyse les raisonnements tels qu’ils apparaissent dans le langage courant : elle identifie les sophismes (arguments qui paraissent valides mais ne le sont pas), les glissements de sens, les biais de raisonnement.
Une discipline à la croisée de quatre champs
La logique n’appartient à personne, ce qui explique sa position singulière dans la carte des savoirs.
| Discipline | Ce qu’elle en fait |
|---|---|
| Philosophie | Théorie de la vérité, de la démonstration, de l’inférence |
| Mathématiques | Fondements, théorie des ensembles, théorie de la démonstration, théorie des modèles |
| Informatique | Circuits, langages de programmation, bases de données, vérification de programmes |
| Linguistique et sciences cognitives | Sémantique formelle, étude du raisonnement humain réel |
Origine et histoire de la Journée mondiale de la logique
Une initiative née hors des institutions
L’histoire de cette journée commence sans l’ONU. Le 14 janvier 2019, la Logica Universalis Association — réseau informel de logiciens lié à la revue Logica Universalis et aux congrès UNILOG, animé par le logicien Jean-Yves Béziau — invite les chercheurs du monde entier à organiser des événements le même jour. Une soixantaine de manifestations sont recensées dans une trentaine de pays.
La proclamation par l’UNESCO
Fort de ce succès, le projet est porté par le Brésil auprès de l’UNESCO. Il est examiné par le Conseil exécutif lors de sa 207ᵉ session, en octobre 2019, qui recommande par la décision 207 EX/42 que la Conférence générale proclame le 14 janvier « Journée mondiale de la logique », en association avec le CIPSH. La 40ᵉ Conférence générale (Paris, 12-27 novembre 2019) entérine cette proclamation le 26 novembre 2019.
La logique n’est pas seule : cette même session de la Conférence générale a proclamé huit nouvelles journées mondiales, dont celle des mathématiques (14 mars), de l’art (15 avril) et de l’olivier (26 novembre).
Point important souvent confondu : la première édition placée sous l’égide de l’UNESCO est celle du 14 janvier 2020, la journée de 2019 ayant été entièrement informelle.
Pourquoi le 14 janvier ?
La date n’est pas arbitraire : elle réunit deux des plus grands logiciens du XXᵉ siècle.
- Alfred Tarski est né le 14 janvier 1901 à Varsovie. On lui doit la définition sémantique de la vérité et une grande partie de la théorie des modèles.
- Kurt Gödel est mort le 14 janvier 1978 à Princeton. Ses théorèmes d’incomplétude (1931) ont montré qu’aucun système formel suffisamment riche ne peut à la fois être cohérent et démontrer toutes les vérités qu’il exprime.
Objectifs principaux
Selon le texte de l’UNESCO, la célébration annuelle vise à :
- Favoriser la coopération internationale entre les communautés scientifiques concernées par la logique ;
- Promouvoir le développement de la discipline, dans la recherche comme dans l’enseignement ;
- Soutenir les activités des associations, universités et institutions travaillant sur la logique ;
- Améliorer la compréhension du public de la logique et de ses implications pour la science, la technologie et l’innovation ;
- Contribuer à une culture de la paix et du dialogue, fondée sur les progrès de l’éducation et de la science.
Repères chronologiques de la journée
| Date | Étape |
|---|---|
| 14 janvier 2019 | 1ʳᵉ Journée mondiale de la logique, informelle (≈60 événements, ≈30 pays) |
| Mi-2019 | Projet présenté à l’UNESCO via la délégation brésilienne |
| Octobre 2019 | Adoption par le Conseil exécutif (207 EX/Décision 42) |
| 26 novembre 2019 | Proclamation par la 40ᵉ Conférence générale de l’UNESCO |
| 14 janvier 2020 | 1ʳᵉ édition sous l’égide de l’UNESCO |
| Depuis | Coordination assurée par le CIPSH et la DLMPST/IUHPST |
Vingt-cinq siècles de logique en quelques dates
| Période | Jalon |
|---|---|
| Ve-IIIe s. av. J.-C. | École mohiste en Chine : premières analyses de l’argumentation (Mojing) |
| IVe s. av. J.-C. | Aristote fonde la syllogistique ; ses traités formeront l’Organon |
| IIIe s. av. J.-C. | Chrysippe et les stoïciens développent une logique des propositions |
| Premiers siècles | Tradition indienne du Nyāya : théorie de l’inférence et de la preuve |
| IXe-XIIe s. | Al-Fārābī, Avicenne, Averroès transmettent et refondent la logique aristotélicienne |
| XIIIe-XIVe s. | Logique scolastique : Guillaume d’Ockham, Jean Buridan |
| 1662 | La Logique ou l’Art de penser (Arnauld et Nicole), dite Logique de Port-Royal |
| 1666 | Leibniz rêve d’une characteristica universalis : calculer au lieu de disputer |
| 1847-1854 | George Boole algébrise la logique (The Laws of Thought) |
| 1879 | Gottlob Frege invente la logique des prédicats moderne (Begriffsschrift) |
| 1910-1913 | Russell et Whitehead publient les Principia Mathematica |
| 1931 | Kurt Gödel démontre ses théorèmes d’incomplétude |
| 1933 | Alfred Tarski propose sa définition sémantique de la vérité |
| 1936 | Alan Turing et Alonzo Church établissent les limites du calculable |
| 1937 | Claude Shannon relie l’algèbre de Boole aux circuits électriques |
| 1965 | Lotfi Zadeh introduit la logique floue |
| 1987 | Jean-Yves Girard invente la logique linéaire |
| 1989 | Première version de l’assistant de preuve Coq (aujourd’hui Rocq), en France |
Importance et impact de la logique
Le socle invisible du numérique
Le trajet est direct : Boole formalise le raisonnement en algèbre binaire au milieu du XIXᵉ siècle ; Shannon montre en 1937 que cette algèbre décrit exactement le comportement des circuits à relais. Tout processeur contemporain n’est, à sa base, qu’un empilement de portes logiques ET, OU et NON. Les bases de données relationnelles reposent sur la logique des prédicats ; la programmation logique (Prolog) et les moteurs de règles en dérivent également.
La preuve vérifiée par machine
La logique a donné naissance aux assistants de preuve, logiciels qui vérifient une démonstration ligne à ligne. C’est un domaine où la recherche française occupe une place de premier plan avec Coq/Rocq, développé à l’Inria à partir des travaux de Thierry Coquand et Gérard Huet.
| Réalisation | Apport |
|---|---|
| Théorème des quatre couleurs | Première démonstration entièrement mécanisée d’un résultat dont la preuve reposait sur l’examen informatique de nombreux cas |
| Théorème de Feit-Thompson (ordre impair) | Formalisation complète d’un pan entier de théorie des groupes finis |
| Compilateur CompCert | Compilateur C dont la correction est prouvée formellement, utilisé dans les systèmes critiques |
Ces travaux, menés notamment autour de Georges Gonthier dans le cadre du centre commun Inria–Microsoft Research, changent la nature même de la validation scientifique : la relecture par les pairs est complétée par une vérification machine.
Un outil d’hygiène intellectuelle
Hors des laboratoires, la logique informelle fournit une grille de lecture immédiatement utile pour repérer les raisonnements défectueux.
| Sophisme | Mécanisme | Exemple de forme |
|---|---|---|
| Ad hominem | Attaquer la personne au lieu de l’argument | « Il a tort puisqu’il n’est pas du métier » |
| Faux dilemme | Réduire les possibilités à deux | « C’est ceci ou le chaos » |
| Homme de paille | Déformer la thèse adverse pour la réfuter | « Vous voulez donc supprimer toute règle » |
| Pente glissante | Enchaîner des conséquences non établies | « Si l’on accepte A, on finira par Z » |
| Appel à la nature | Confondre naturel et bon | « C’est naturel, donc sans danger » |
| Corrélation prise pour causalité | Déduire une cause d’une simple concomitance | « Les deux courbes montent : l’une explique l’autre » |
La diversité des logiques à travers le monde
Des traditions plurielles
La logique n’est pas une invention exclusivement grecque. L’école mohiste chinoise analyse dès l’Antiquité les conditions d’un débat réglé et la relation entre noms et réalités. En Inde, la tradition Nyāya élabore une théorie de l’inférence en plusieurs membres et une réflexion poussée sur les sources de connaissance valides. Le monde arabo-persan, avec Al-Fārābī et Avicenne, ne se contente pas de transmettre Aristote : il en propose des refontes originales, notamment sur la logique modale, qui influenceront durablement l’Europe latine.
Les logiques non classiques
La logique moderne n’est plus au singulier. Aux côtés de la logique classique coexistent des systèmes qui modifient délibérément certaines règles.
| Logique | Principe | Domaine d’application |
|---|---|---|
| Intuitionniste | Rejette le tiers exclu : prouver, c’est construire | Fondements, informatique, types |
| Modale | Introduit le nécessaire et le possible | Philosophie, IA, vérification de systèmes |
| Floue | Admet des degrés de vérité entre 0 et 1 | Automatismes, électroménager, contrôle industriel |
| Paraconsistante | Tolère certaines contradictions sans tout invalider | Bases de données incohérentes, droit |
| Linéaire | Traite les hypothèses comme des ressources consommables | Concurrence, gestion de mémoire |
| Déontique | Formalise l’obligation et la permission | Droit, normes, éthique des machines |
Défis et enjeux contemporains
La désinformation et l’usure de l’argumentation
Les formats courts et la circulation accélérée des contenus favorisent des énoncés qui sollicitent l’adhésion immédiate plutôt que l’examen. La logique informelle est ici moins un savoir académique qu’une compétence défensive : distinguer une corrélation d’une causalité, repérer un dilemme artificiel, identifier une prémisse implicite.
L’intelligence artificielle : raisonner ou imiter ?
Les systèmes d’IA générative produisent des textes qui ressemblent à des raisonnements sans être fondés sur une procédure de déduction contrôlée : d’où des enchaînements plausibles mais faux. Deux réponses complémentaires se dessinent — l’IA symbolique, qui manipule explicitement des règles, et les approches neuro-symboliques, qui adossent les modèles statistiques à des vérificateurs formels. La question posée à la logique est double : garantir la fiabilité des systèmes, et fournir aux utilisateurs les outils de contrôle de ce qu’ils lisent.
Une discipline peu identifiée dans l’enseignement
En France, la logique n’existe pas comme matière autonome dans le secondaire : elle est répartie entre les mathématiques (vocabulaire ensembliste, implication, réciproque, contraposée, quantificateurs, raisonnement par l’absurde, récurrence) et la philosophie. Cette dispersion la rend peu visible, alors même que les indicateurs de raisonnement sont sous tension.
| Indicateur (PISA 2022, OCDE/DEPP) | Valeur |
|---|---|
| Score moyen de la France en culture mathématique | 474 points |
| Moyenne OCDE | 472 points |
| Évolution France 2018 → 2022 | −21 points (baisse la plus forte enregistrée depuis le début de PISA) |
| Élèves français les plus performants | 15 % en 2003, 11 % en 2018, 7 % en 2022 |
Comment célébrer la Journée mondiale de la logique
Dans les universités et les laboratoires
- Conférences grand public et séminaires de logique mathématique ou philosophique ;
- Journées portes ouvertes des équipes de recherche ;
- Colloques thématiques coordonnés par le CIPSH et ses organisations membres.
À l’école
- Ateliers d’énigmes et de raisonnement déductif (grilles logiques, problèmes de type « chevaliers et valets ») ;
- Débats argumentés avec analyse des sophismes ;
- Initiation à l’algorithmique et aux structures conditionnelles ;
- Travail sur l’implication, sa réciproque et sa contraposée à partir d’exemples de la vie courante.
En ligne
- Publications et fils explicatifs sous le mot-dièse #WorldLogicDay ;
- Vidéos de vulgarisation sur les paradoxes (menteur, Sorite, Russell) ;
- Ressources ouvertes des associations de logique et des instituts de recherche.
Chez soi
- S’attaquer à un paradoxe classique et tenter d’en formuler la structure ;
- Jouer à des jeux de déduction (Mastermind, sudoku, jeux d’inférence) ;
- Relire un article d’opinion en repérant ses prémisses implicites.
Focus France : un pays de logiciens
La France occupe une place particulière dans l’histoire de la discipline, souvent au croisement des mathématiques et de l’informatique.
- Port-Royal (1662) donne avec La Logique ou l’Art de penser l’un des manuels les plus diffusés d’Europe pendant près de deux siècles.
- Jacques Herbrand, mort à 23 ans dans un accident de montagne en 1931, laisse un théorème central de la théorie de la démonstration.
- Jean Cavaillès, philosophe des mathématiques et résistant fusillé en 1944, incarne le lien entre exigence rationnelle et engagement.
- Jean-Yves Girard invente en 1987 la logique linéaire, l’un des apports français majeurs à la logique contemporaine.
- L’assistant de preuve Coq, devenu Rocq, développé à l’Inria avec le CNRS et plusieurs universités, est aujourd’hui un standard mondial de la preuve formelle.
- Les laboratoires de recherche concernés incluent l’IRIF, l’IMJ-PRG, l’IHPST et l’Institut Jean-Nicod.
Côté public scolaire, le raisonnement se travaille aussi par le jeu : le concours Castor informatique, ouvert du CM1 à la terminale et centré sur la logique, l’algorithmique et les structures de données, a réuni 653 692 élèves dans 3 809 établissements lors de son édition 2025, après 650 541 participants en 2024. C’est, de loin, la plus large opération française de sensibilisation au raisonnement formel.
Foire aux questions sur la Journée mondiale de la logique
Quand a lieu la Journée mondiale de la logique ?
La Journée mondiale de la logique a lieu chaque année le 14 janvier. Il s’agit d’une date fixe, qui ne dépend pas du jour de la semaine.
Pourquoi la Journée mondiale de la logique est-elle célébrée le 14 janvier ?
La Journée mondiale de la logique est célébrée le 14 janvier parce que cette date correspond à deux anniversaires majeurs : la naissance d’Alfred Tarski, le 14 janvier 1901, et la mort de Kurt Gödel, le 14 janvier 1978, deux figures décisives de la logique du XXᵉ siècle.
Qui a créé la Journée mondiale de la logique ?
La Journée mondiale de la logique a été créée en deux temps : la Logica Universalis Association a organisé la première célébration informelle le 14 janvier 2019, puis la 40ᵉ Conférence générale de l’UNESCO l’a officiellement proclamée le 26 novembre 2019, sur proposition du Brésil et en association avec le CIPSH.
Quelle est la différence entre logique formelle et logique informelle ?
La différence entre logique formelle et logique informelle tient à leur objet : la logique formelle étudie la validité des raisonnements au moyen de symboles et de règles explicites, tandis que la logique informelle analyse les arguments exprimés en langue naturelle et s’attache à repérer les sophismes et les raisonnements trompeurs.
À quoi sert la logique dans la vie quotidienne ?
Dans la vie quotidienne, la logique sert à évaluer la solidité d’un argument avant d’y adhérer : distinguer une corrélation d’une causalité, repérer un faux dilemme, comprendre qu’une implication n’équivaut pas à sa réciproque. Elle est aussi présente dans tous les objets numériques, dont le fonctionnement repose sur des portes logiques.
Comment participer à la Journée mondiale de la logique ?
Pour participer à la Journée mondiale de la logique, il est possible d’assister aux conférences organisées par les universités et les instituts de recherche, de proposer en classe des ateliers d’énigmes et de débats argumentés, de partager des ressources sous le mot-dièse #WorldLogicDay, ou simplement de consacrer un moment à un paradoxe classique.
Penser juste, un exercice quotidien
La logique a ceci de particulier qu’elle ne se voit jamais et se pratique en permanence : dans une démonstration, dans une ligne de code, dans une décision de justice, dans une conversation. Dans son message pour la première édition placée sous l’égide de l’UNESCO, la directrice générale de l’organisation, Audrey Azoulay, rappelait que <q>la logique est une discipline plus que jamais vitale pour nos sociétés</q>.
Le 14 janvier n’appelle donc ni cérémonie ni consommation : simplement une attention renouvelée à la manière dont nous enchaînons nos idées. Un paradoxe examiné, un argument démonté, une implication distinguée de sa réciproque — voilà, au fond, la seule célébration qui convienne.
