52 idées qui ont changé le monde : 36. Logique
Le conseiller en chef du Premier ministre fait référence aux logiciens dans ses écrits, alors qu'est-ce que cela signifie pour sa prise de décision ?
Kurt Godel, le logicien préféré de Dominic Cummings
Dans cette série, The Week se penche sur les idées et les innovations qui ont définitivement changé notre façon de voir le monde. Cette semaine, coup de projecteur sur la logique :
Le chef de cabinet de facto de Boris Johnson, Dominic Cummings, a publié un article sur son blog en 2017 intitulé Complexité et prédiction Partie V . Le message était lié à un article, écrit par Cummings, qui visait à esquisser une nouvelle approche de l'éducation et de la formation en général, mais en particulier pour ceux qui prennent des décisions importantes dans les institutions politiques.
Au bas de l'article, Cummings a cité le mathématicien hongrois-américain John von Neumann sur le logicien Kurt Godel, écrivant : L'accomplissement de Godel dans la logique moderne est singulier et monumental - en effet c'est plus qu'un monument, c'est un point de repère qui restera visible loin dans l'espace et le temps.
À la suite de son appel aux inadaptés et aux cinglés à postuler pour travailler au n ° 10 Downing Street, la nomination de courte durée de Cummings du superforcaster Andrew Sabisky semble avoir fait partie de ses efforts pour déplacer les poteaux de but en termes de façon dont les gens prennent des décisions importantes dans la partie supérieure échelons de la politique.
Cummings a clairement lu beaucoup de Godel, le citant dans divers articles de blog et articles sur son site Web personnel. Il n'est pas le seul à le considérer comme influent et en 1999, quand Temps magazine a mené une enquête pour déterminer les 20 penseurs les plus influents du 20e siècle, le logicien austro-hongrois est arrivé neuvième.
Logique en 60 secondes
La logique est l'étude de la façon dont nous arrivons à des prémisses basées sur un ensemble de propositions ou de preuves.
Plus largement, la logique est l'analyse et l'appréciation des arguments. Dans cette définition, les prémisses peuvent appuyer ou non la conclusion ; quand ils ne le font pas, cela est caractérisé comme une erreur.
Historiquement, la logique a été principalement l'apanage des philosophes et des mathématiciens. Cependant, plus récemment, il a été étudié dans le cadre des sciences cognitives, qui s'appuient sur l'informatique, la linguistique et la psychologie.
La formation universitaire de Cummings est dans l'histoire, mais sur la base de ses écrits de grande envergure, il semblerait que les théories de la logique et les logiciens eux-mêmes influencent maintenant notre politique.
Comment s'est-il développé ?
Le mot logique vient du grec logo , signifiant raison ou plan. Cette étymologie permet de cerner assez facilement les origines du concept dans le monde occidental. Pour la plupart, l'étude de la logique a été dominée par Aristote jusqu'à la fin du XIXe siècle.
La logique aristotélicienne (souvent appelée logique catégorique) soutient que les énoncés logiques se rapportent à la classes de choses, et les relations entre ces classes . Un exemple souvent cité est la déclaration, tous les hommes sont mortels, Socrate est un homme, donc Socrate est mortel.
Ce que cela représente essentiellement est un raisonnement déductif, où l'argument est construit sur chaque étape étant déduite de ce qui précède. Dans Réfutations sophistiques , Aristote reconnaît que son travail sur la logique explorait un territoire inexploré. Il a écrit qu'avant lui, rien n'existait du tout… au sujet de la déduction nous n'avions absolument rien d'autre d'une date antérieure à mentionner.
Le frère franciscain Guillaume d'Ockham, qui aurait conçu le principe de résolution de problèmes du rasoir d'Occam, a adapté la logique aristotélicienne au 14ème siècle, influençant les travaux du philosophe français Jean Buridan.
Buridan Sommes dialectiques deviendra le principal manuel de logique dans les universités européennes pendant environ deux siècles. Cependant, il est peut-être le plus célèbre pour le paradoxe du cul de Buridan. Cela propose une situation hypothétique dans laquelle un âne qui a également faim et soif est placé à mi-chemin entre une pile de foin et un seau d'eau. Le paradoxe suppose que l'âne ira toujours à celui qui est le plus proche, il meurt à la fois de faim et de soif car il ne peut prendre aucune décision logique entre le foin et l'eau. Le paradoxe expose un problème dans la pensée logique, car lorsqu'il n'y a pas de conclusion logique sur ce qu'il faut faire ensuite, qu'est-ce que le cul doit faire ?
Au cours de la même période, le philosophe chinois Gongsun Long a proposé le paradoxe un et un ne peut pas devenir deux, puisque ni l'un ni l'autre ne devient deux, tandis qu'en même temps, la recherche logique indienne a commencé à développer des théories indicatives de la logique philosophique moderne. En raison des intérêts coloniaux britanniques, ce travail a commencé à attirer l'attention de nombreux érudits occidentaux et a influencé les logiciens du XIXe siècle, notamment Charles Babbage, Augustus De Morgan et George Boole.
Au milieu du XIXe siècle, la logique mathématique a commencé à supplanter la logique aristotélicienne dans les universités occidentales. En 1854, Boole a publié le titre accrocheur, Une enquête sur les lois de la pensée sur lesquelles sont fondées les théories mathématiques de la logique et des probabilités. Cela a introduit la logique mathématique, dans laquelle les fondements des problèmes mathématiques sont appliqués à l'école de logique.
La logique booléenne est née de son écriture, une branche de l'algèbre dans laquelle toutes les valeurs sont réduites à vrai ou à faux. Ce binaire soigné conviendra plus tard parfaitement aux informaticiens car il peut être facilement représenté par le binaire de 1 (vrai) ou de 0 (faux). Il influencera plus tard le développement de la machine de Turing, inventée en 1936 par future Décrypteur de code de la Seconde Guerre mondiale Alan Turing .
De 1910 à 1913, Alfred North Whitehead et Bertrand Russell publient Principes mathématiques , une étude qui a tenté de définir la logique dite symbolique, une école de pensée qui tente de dériver la logique des mathématiques. Les travaux de Whitehead et Russell, cependant, n'a pas satisfait tout le monde .
Dans les années 1920, un logicien et philosophe anglais, Frank Ramsey, montra comment le système de Principes mathématiques pourrait être révisé. Commentant le rôle souvent déroutant de l'étude de la logique, Ramsey a écrit : Les problèmes de logique dans les tautologies, les mathématiques dans les identités, la philosophie dans les définitions ; tous triviaux, mais tous font partie du travail vital de clarification et d'organisation de notre pensée.
Le logicien préféré de Cummings, Godel, a conçu le premier théorème d'incomplétude au début des années 1930. Cela a établi que la logique comme celle de Russell et Whitehead Principes mathématiques ne peut prouver toutes les vérités mathématiques. Comme Les temps économiques notes, Albert Einstein aurait dit à un collègue que dans les dernières années de sa vie, il avait l'habitude de venir à l'Institute of Advanced Study de l'Université de Princeton simplement pour avoir le privilège de pouvoir rentrer chez lui avec Godel.
Écrire dans Magazine de prospection , professeur émérite de philosophie à l'Université de Southampton, Ray Monk, note que l'idée générale qu'il existe des vérités qui ne peuvent être prouvées a un attrait bien au-delà de la logique. Cela, dit Monk, a conduit Godel à être qualifié de mathématicien préféré des romantiques par le mathématicien américain Jordan Ellenberg.
L'un des philosophes les plus célèbres du XXe siècle, Ludwig Wittgenstein, a consacré ses premiers écrits au domaine de la logique. Tractatus Logico-Philosophicus , le seul ouvrage complet publié par Wittgenstein de son vivant, a été écrit sous forme de notes pendant que le philosophe autrichien servait comme soldat pendant la Première Guerre mondiale et a décrit une théorie qui influencerait les philosophes positivistes logiques de la Cercle de Vienne .
Le Cercle de Vienne était un groupe d'environ 13 philosophes - dont Gödel - qui se sont rencontrés régulièrement à l'Université de Vienne à la fin des années 1920 et au début des années 1930 dans le but de rendre la philosophie scientifique à l'aide de la logique moderne.
Le groupe a publié un manifeste en 1929 dans lequel il a décrit l'utilisation de la logique mathématique pour clarifier les problèmes philosophiques. Les membres du Cercle de Vienne étaient aussi des empiristes, estimant qu'il n'y a de connaissance que par expérience. Einstein, Russell et Wittgenstein sont nommés dans le manifeste comme ses principaux représentants.
À l'aube du 21e siècle, la combinaison de la logique et des améliorations dans la collecte de données a commencé à influencer une nouvelle génération de sciences prédictives. Une autre influence sur Cummings, l'écrivain de science politique canado-américain Philip Tetlock, a conçu la notion de superprévision, une combinaison d'exploitation de diverses sources d'information, tout en critiquant constamment la logique de l'autre.
En juillet 2011, Tetlock a cofondé le Good Judgment Project, qui visait à exploiter la sagesse de la foule pour prévoir les événements mondiaux en développant des probabilités cohérentes et logiques. Le projet a donné naissance à un livre, Superforecasters : l'art et la science de la prédiction , que Cummings a conseillé aux gens de lire , plutôt que des experts politiques qui ne savent pas de quoi ils parlent.
Comment cela a-t-il changé le monde ?
Les théories de la logique peuvent sembler académiques et absconses, une critique qui est facilement formulée lorsque l'on essaie de comprendre la théorie aristotélicienne ou le manifeste du Cercle de Vienne.
Cependant, la première étude de la logique, quand, comme l'écrivait Aristote, rien n'existait du tout… au sujet de la déduction, a commencé un processus de clarification de la façon dont nous évaluons les arguments et le raisonnement.
Comme le note Frank Ramsey, les logiciens travaillent en tautologies, mais l'influence de leur cadre analytique est claire chez un personnage comme Dominic Cummings, dont les écrits abondants font régulièrement référence à des logiciens comme Gödel et qui emploie le cadre de leur pensée dans ses plans d'éducation et prédiction.
Le billet de blog dans lequel Cummings citait Godel promettait de concevoir une nouvelle approche sur la façon dont les décisions sont prises en politique et en s'en tenant à sa menace d'embaucher des cinglés comme Sabisky, Cummings semble donner suite.
Ramsey a peut-être dit que les logiciens s'occupent du trivial, mais c'est la deuxième partie de cette citation - qu'ils font partie du travail vital de clarification et d'organisation de notre pensée - où réside leur impact.
