Inicio / Sociedad / 52 ideas que cambiaron el mundo: 36. Lógica

52 ideas que cambiaron el mundo: 36. Lógica

52 ideas que cambiaron el mundo: 36. 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». La publicación enlazaba con 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 toman decisiones importantes en las instituciones políticas».

Al final de la publicación, Cummings citó al matemático húngaro-estadounidense John von Neumann sobre el lógico Kurt Godel, escribiendo: «El éxito de Godel en la lógica moderna es singular y monumental; de hecho, es más que un monumento, es un hito que permanecen visibles lejos en el espacio y el tiempo «.

A raíz de su apelación a los «inadaptados» y «bizarros» para postularse para trabajar en el n. 10 Downing Street, el breve nombramiento de Cummings como «superprevisor» Andrew Sabisky parece haber sido parte de su esfuerzo por cambiar el enfoque en términos de «Toma de decisiones importantes» en los círculos políticos de alto nivel.

Cummings claramente ha leído a Godel extensamente, citándolo en varias publicaciones de blog y documentos en su sitio web personal. No es el único que lo considera influyente y en 1999, cuando la revista Time 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 las premisas a partir de una serie de proposiciones o pruebas.

De manera más general, la lógica es el análisis y la evaluación de argumentos. En esta definición, las premisas pueden o no apoyar la conclusión; cuando no lo hacen, esto se caracteriza como un error.

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 basan 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 están influyendo ahora en nuestra política.

¿Cómo se desarrolló?

La palabra «lógica» proviene del griego, que significa razón o plan. Esta etimología nos permite identificar con bastante facilidad los orígenes del concepto en el mundo occidental. En su mayor parte, 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 refieren a «clases de cosas y las 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 un «razonamiento deductivo», en el que el argumento se basa en cada pasaje que se deduce de lo que viene primero. En, Aristóteles reconoce que su trabajo sobre lógica estaba explorando territorios inexplorados. Escribió que antes que él, «no había absolutamente nada … en materia de 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 diseñó 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 se convertiría en el libro de texto de lógica líder en las universidades europeas durante aproximadamente dos siglos. Sin embargo, quizás sea más famoso por la paradoja del «culo de Buridan». Se propone una situación hipotética en la que un burro, igualmente hambriento y sediento, se coloca a medio camino entre una pila de heno y un balde de agua. La paradoja supone que el burro siempre irá hacia el más cercano, 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é debe hacer el burro?

En el mismo período, el filósofo chino Gongsun Long propuso la paradoja «uno y uno no pueden convertirse en dos, ya que ninguno se convierte en dos», mientras que al mismo tiempo, la ciencia 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 atraer 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 título pegadizo, This Introduced Mathematical Logic, en el 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 más tarde a los informáticos perfectamente, 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 descifrador de códigos de la Segunda Guerra Mundial, Alan Turing.

De 1910 a 1913, Alfred North Whitehead y Bertrand Russell publicaron un estudio que intentaba 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 todos».

En la década de 1920, un lógico y filósofo inglés, Frank Ramsey, mostró cómo se podía revisar el sistema. Al comentar sobre el papel a menudo confuso del estudio de la lógica, Ramsey escribió: “Problemas lógicos en tautologías, matemáticas en identidades, filosofía en definiciones; todo trivial, pero todo parte del trabajo vital de clarificar 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 la de Russell y Whitehead no puede probar todas las verdades matemáticas. Como señala el Economic Times, se dice que Albert Einstein le dijo a un colega que en los últimos años de su vida, vino al Instituto de Estudios Avanzados de la Universidad de Princeton simplemente «para tener el privilegio de poder volver a casa con Gódel. «

En la revista Prospect, el profesor emérito de filosofía de la Universidad de Southampton, Ray Monk, observa que «la idea general de que hay verdades que no se pueden probar tiene una fascinación que va mucho 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. , la única obra completa publicada por Wittgenstein en su vida, fue escrita como notas mientras el filósofo austriaco sirvió como soldado durante la Primera Guerra Mundial y esbozó una teoría que influiría en los filósofos positivistas lógicos del «Círculo de Viena».

El Círculo de Viena era un grupo de aproximadamente 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 había conocimiento solo por 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 ha comenzado a influir en una nueva generación de «ciencia predictiva». Otra influencia en Cummings, el escritor de ciencia política canadiense-estadounidense Philip Tetlock, ideó la noción de «superpronóstico», una combinación de explotación de «diferentes fuentes de información» mientras constantemente «critica la lógica del otro».

En julio de 2011, Tetlock cofundó el Good Judgement Project, cuyo objetivo era «aprovechar la sabiduría de la multitud para predecir eventos mundiales» mediante «el desarrollo de probabilidades lógicas y coherentes». El proyecto generó un libro, que Cummings ha aconsejó a la gente que leyeraen lugar de «expertos políticos que no saben de qué están hablando».

¿Cómo ha cambiado el mundo?

Las teorías de la lógica pueden parecer académicas y abstrusas, una crítica que se levanta fácilmente cuando uno 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 materia de deducción», inició un proceso de dilucidación de la forma en que evaluamos los argumentos y el razonamiento.

Como señala Frank Ramsey, los lógicos trabajan en «tautologías», pero la influencia de su estructura analítica es clara en una figura como Dominic Cummings, cuya extensa escritura hace referencia regularmente a lógicos como Godel y que emplea la estructura de su pensamiento en sus planes para la educación y la educación. previsión.

La publicación del blog en la que Cummings citó a Godel prometió proponer un «nuevo enfoque» sobre cómo se toman las decisiones en política y al ceñirse a su amenaza de contratar gente extraña como Sabisky, Cummings parece seguirlo.

Ramsey puede haber dicho que a los lógicos les preocupa 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.