52 ideas que cambiaron el mundo: 36. Lógica
El asesor principal del PM hace referencia a los lógicos en sus escritos, entonces, ¿qué significa eso para su toma de decisiones?
Kurt Godel, el lógico favorito de Dominic Cummings
En esta serie, The Week analiza las ideas e innovaciones que cambiaron permanentemente la forma en que vemos el mundo. Esta semana, la atención se centra en la lógica:
El jefe de personal de facto de Boris Johnson, Dominic Cummings, publicó una publicación en su blog en 2017 titulada Complejidad y predicción Parte V . El post vinculado a un artículo, escrito por Cummings, que tenía como objetivo esbozar un nuevo enfoque de la educación y la formación en general, pero en particular para quienes pasan a tomar decisiones importantes en las instituciones políticas.
Al pie del post, Cummings citó al matemático húngaro-estadounidense John von Neumann sobre el lógico Kurt Godel, escribiendo: El logro de Godel en la lógica moderna es singular y monumental; de hecho, es más que un monumento, es un hito que permanecerá visible hasta ahora. en el espacio y el tiempo.
Después de su llamado a los inadaptados y bichos raros para que se postulen para trabajar en el número 10 de Downing Street, el breve nombramiento de Cummings del super pronosticador Andrew Sabisky parece haber formado parte de su esfuerzo por cambiar los postes de la meta en términos de cómo las personas toman decisiones importantes en la parte superior. escalones de la política.
Cummings claramente ha leído a Godel ampliamente, y lo ha citado en varias publicaciones de blog y artículos en su sitio web personal. No es el único que lo considera influyente y en 1999, cuando Hora La revista realizó una encuesta para determinar los 20 pensadores más influyentes del siglo XX, el lógico austrohúngaro quedó noveno.
Lógica en 60 segundos
La lógica es el estudio de cómo llegamos a premisas basadas en un conjunto de proposiciones o evidencia.
En términos más generales, la lógica es el análisis y la valoración de argumentos. En esta definición, las premisas pueden o no apoyar la conclusión; cuando no lo hacen, esto se caracteriza como una falacia.
Históricamente, la lógica ha sido predominantemente dominio exclusivo de filósofos y matemáticos. Sin embargo, más recientemente, se ha estudiado como parte de las ciencias cognitivas, que se basa en la informática, la lingüística y la psicología.
La formación académica de Cummings es de historia, pero según su amplia variedad de escritos, parecería que las teorías de la lógica y los propios lógicos ahora están influyendo en nuestra política.
¿Cómo se desarrolló?
La palabra lógica deriva del griego logos , es decir, razón o plan. Esta etimología nos permite identificar con bastante facilidad los orígenes del concepto en el mundo occidental. Para la mayoría, el estudio de la lógica estuvo dominado por Aristóteles hasta finales del siglo XIX.
La lógica aristotélica (a menudo denominada lógica categórica) sostiene que los enunciados lógicos se relacionan con el clases de cosas y relaciones entre esas clases . Un ejemplo que se cita a menudo es la afirmación, todos los hombres son mortales, Sócrates es un hombre, por lo tanto Sócrates es mortal.
Lo que esto representa esencialmente es el razonamiento deductivo, donde el argumento se basa en cada paso que se deduce de lo que viene antes. En Refutaciones sofistas Aristóteles reconoce que su trabajo sobre lógica estaba explorando territorios inexplorados. Escribió que antes de él, no existía nada en absoluto ... sobre el tema de la deducción, no teníamos absolutamente nada más de una fecha anterior que mencionar.
El fraile franciscano William of Ockham, que se dice que ideó el principio de resolución de problemas de la navaja de Occam, adaptó la lógica aristotélica en el siglo XIV, influyendo en la obra del filósofo francés Jean Buridan.
Buridan Summulae dialéctica se convertiría en el principal libro de texto de lógica en las universidades europeas durante aproximadamente dos siglos. Sin embargo, quizás sea más famoso por la paradoja del culo de Buridan. Propone una situación hipotética en la que un burro que tiene igualmente hambre y sed se coloca a medio camino entre una pila de heno y un balde de agua. La paradoja asume que el asno siempre irá a lo que esté más cerca, muere tanto de hambre como de sed ya que no puede tomar ninguna decisión lógica entre el heno y el agua. La paradoja expone un problema en el pensamiento lógico, porque cuando no hay una conclusión lógica sobre qué hacer a continuación, ¿qué va a hacer el asno?
Durante el mismo período, el filósofo chino Gongsun Long propuso la paradoja uno y uno no puede convertirse en dos, ya que ninguno se convierte en dos, mientras que al mismo tiempo, la erudición lógica india comenzó a desarrollar teorías indicativas de la lógica filosófica moderna. Como resultado de los intereses coloniales británicos, este trabajo comenzó a llamar la atención de muchos eruditos occidentales e influyó en los lógicos del siglo XIX, incluidos Charles Babbage, Augustus De Morgan y George Boole.
A mediados del siglo XIX, la lógica matemática comenzó a suplantar a la lógica aristotélica en la academia occidental. En 1854, Boole publicó el pegadizo título, Una investigación de las leyes del pensamiento en las que se basan las teorías matemáticas de la lógica y las probabilidades. Esto introdujo la lógica matemática, en la que los fundamentos de los problemas matemáticos se aplican a la escuela de la lógica.
La lógica booleana surgió de su escritura, una rama del álgebra en la que todos los valores se reducen a verdadero o falso. Este ordenado binario se adaptaría perfectamente más tarde a los científicos informáticos, ya que se puede representar fácilmente a través del binario de 1 (verdadero) o 0 (falso). Más tarde influiría en el desarrollo de la máquina de Turing, inventada en 1936 por el futuro El descifrador de códigos de la Segunda Guerra Mundial Alan Turing .
De 1910 a 1913, Alfred North Whitehead y Bertrand Russell publicaron Principios matemáticos , un estudio que intentó definir la llamada lógica simbólica, una escuela de pensamiento que intenta derivar la lógica de las matemáticas. El trabajo de Whitehead y Russell, sin embargo, no satisfizo a todo el mundo .
En la década de 1920, un lógico y filósofo inglés, Frank Ramsey, mostró cómo el sistema de Principios matemáticos podría ser revisado. Al comentar sobre el papel, a menudo confuso, del estudio de la lógica, Ramsey escribió: Problemas de lógica en tautologías, matemáticas en identidades, filosofía en definiciones; todo trivial, pero todo parte del trabajo vital de aclarar y organizar nuestro pensamiento.
El lógico favorito de Cummings, Godel, ideó el primer teorema de incompletitud a principios de la década de 1930. Esto estableció que la lógica como Russell y Whitehead Principios matemáticos no puede probar todas las verdades matemáticas. Como Los tiempos económicos notas, se informa que Albert Einstein le dijo a un colega que en los últimos años de su vida, solía venir al Instituto de Estudios Avanzados de la Universidad de Princeton simplemente para tener el privilegio de poder caminar a casa con Godel.
Escribiendo en Revista Prospect El profesor emérito de filosofía de la Universidad de Southampton, Ray Monk, señala que la idea general de que hay verdades que no se pueden probar tiene un atractivo que va más allá de la lógica. Esto, dice Monk, llevó a Godel a ser etiquetado como el matemático favorito de los románticos por el matemático estadounidense Jordan Ellenberg.
Uno de los filósofos más famosos del siglo XX, Ludwig Wittgenstein, dedicó sus primeros escritos al campo de la lógica. Tractatus Logico-Philosophicus , el único trabajo de larga duración publicado por Wittgenstein en su vida, fue escrito como notas mientras el filósofo austríaco se desempeñaba como soldado en la Primera Guerra Mundial y esbozaba una teoría que influiría en los filósofos positivistas lógicos de la Círculo de Viena .
El Círculo de Viena era un grupo de alrededor de 13 filósofos, incluido Godel, que se reunían regularmente en la Universidad de Viena a fines de la década de 1920 y principios de la de 1930 con el objetivo de hacer que la filosofía fuera científica con la ayuda de la lógica moderna.
El grupo publicó un manifiesto en 1929 en el que describía el uso de la lógica matemática para aclarar problemas filosóficos. Los miembros del Círculo de Viena también eran empiristas, creyendo que sólo hay conocimiento a partir de la experiencia. Einstein, Russell y Wittgenstein se mencionan en el manifiesto como sus principales representantes.
Al entrar en el siglo XXI, la combinación de lógica y mejoras en la recopilación de datos comenzó a influir en una nueva generación de ciencias predictivas. Otra influencia en Cummings, el escritor de ciencia política canadiense-estadounidense Philip Tetlock, concibió la noción de superpronóstico, una combinación de explotación de diversas fuentes de información, mientras se criticaban constantemente la lógica de los demás.
En julio de 2011, Tetlock cofundó el Good Judgement Project, cuyo objetivo era aprovechar la sabiduría de la multitud para pronosticar eventos mundiales mediante el desarrollo de probabilidades coherentes y lógicas. El proyecto generó un libro, Superpronosticadores: el arte y la ciencia de la predicción , que Cummings tiene aconsejó a la gente que leyera , en lugar de expertos políticos que no saben de qué están hablando.
¿Cómo cambió el mundo?
Las teorías de la lógica pueden parecer académicas y abstrusas, una crítica que se formula fácilmente cuando se intenta entender la teoría aristotélica o el manifiesto del Círculo de Viena.
Sin embargo, el primer estudio de la lógica, cuando, como escribió Aristóteles, no existía nada en absoluto… en el tema de la deducción, inició un proceso de clarificación de cómo evaluamos los argumentos y el razonamiento.
Como señala Frank Ramsey, los lógicos trabajan en tautologías, pero la influencia de su marco analítico es clara en una figura como Dominic Cummings, cuya extensa escritura hace referencia regular a lógicos como Godel y que emplea el marco de su pensamiento en sus planes de educación y desarrollo. predicción.
La publicación del blog en la que Cummings citó a Godel prometió idear un nuevo enfoque sobre cómo se toman las decisiones en política y al ceñirse a su amenaza de contratar a bichos raros como Sabisky, parece que Cummings está cumpliendo.
Ramsey puede haber dicho que los lógicos se ocupan de lo trivial, pero es la segunda parte de esa cita, que son parte del trabajo vital de aclarar y organizar nuestro pensamiento, donde radica su impacto.
