Lo último

La conexión entre la Informática y la Filosofía.

Como siempre, mucha gente se pregunta el por qué tenemos que estudiar filosofía y se acaba siempre cuestionando su valor. Pero , ¿cómo ...

miércoles, 30 de enero de 2019

La conexión entre la Informática y la Filosofía.

Como siempre, mucha gente se pregunta el por qué tenemos que estudiar filosofía y se acaba siempre cuestionando su valor. Pero , ¿cómo nos quedaríamos si supiesemos que lo que rige hoy en día el mundo de los bits , en sus orígenes, estuvo influenciado en cierta medida por la metafísica filósofos como Aristóteles, Spinoza, Ceciron..?


Gracias a un trabajo que estuve haciendo sobre George Boole para la asignatura ' PIN' encontré cierta relación entre la filosofía y el mundo de los bit.



Os estaréis preguntando ¿quíen es George Boole? Pues bien, Boole fue un gran matemático del s. XIX ,poco reconocido en su época , al cual le debemos hoy en día la existencia del Álgebra Booleana de la lógica. El álgebra de Boole es lo que usa todo tipo de dispositivo informático que trabaja en código binario (0 y 1).


El año pasado, en primero de bachillerato, estudiamos lógica filósofica. Si os queda muy atrás y no os acordáis de lo que era, al final del post os dejo un ‘’reminder’’.




El caso es que Boole, a parte de estar interesado por las matemáticas, también era políglota , hablaba 5 idiomas y su conocimiento de la literatura en general era amplio  y profundo. Dante fue su poeta favorito y prefería el Paraíso al Infierno. La metafísica de Aristóteles, la ética de Spinoza, las obras filosóficas de Cicerón y muchas obras afines fueron también temas frecuentes de estudio. Tan notorio es esto que en su obra publicada en 1847, The Mathematical Analysis of Logic (Análisis matemático de la lógica), como declaración de intenciones, en la portada incluye la frase de Aristóteles (Anal. Post., lib. I, cap. XI) "Todas las ciencias se asocian con otras respecto a elementos comunes. (Y yo llamo común a todo aquello que utilizan en sus demostraciones, no a aquello que puede ser o no ser probado)"



Al ver esto me emocioné porque a Aristóteles lo habíamos estudiado, y que algo tan interesante como el mundo de la informática estuviese relacionado con la filosofía , me llevo a indagar en el asunto y encontré un árticulo en The Atlantic titulado nada más ni nada menos que  ‘’How Aristotle created the computer” (o en español ‘’Cómo Aristóteles creó el ordenador’’). Abajo os dejo el link al artículo por si estáis interesados.



En este artículo se decía que , basicamente, a día de hoy , en nuestros tiempos el nombre de Boole es escuchado en todas las universidades cuyos grados tengan asignaturas matemáticas y que sin embargo, desde el siglo XIX, Boole siempre ha sido reconocido por facultades de filosofía y demás. También, que la lógica de Boole está basada en la de Aristóteles .

Si sigues leyendo te das cuenta de que en verdad si que hay una gran relación entre la lógica de ambos y, para que no nos quede duda de ello, dejo un ejemplo de los muchos que se pueden y que cada uno saque sus conclusiones.

____________________________________________________________________
¿Qué es la lógica filosófica?

La lógica filosófica trata de las descripciones formales de lo ordinario, lenguaje natural no especificado, que es estrictamente único sobre los argumentos dentro de las ramas de otras filosofías. La mayoría de los filósofos suponen que la mayor parte del razonamiento cotidiano se podría capturar en la lógica si se pudiera encontrar un método o métodos para traducir el lenguaje ordinario a esa lógica.La lógica filosófica es esencialmente una continuación de la disciplina tradicional llamada "lógica" antes de la invención de la lógica matemática. La lógica filosófica tiene un mayor interés con la conexión entre el lenguaje natural y la lógica. Como resultado, los lógicos filosóficos han contribuido al desarrollo de lógica no convencional (por ejemplo lógicas libres, lógica temporal, etc) al igual que varias extensiones de la lógica clásica (por ejemplo, la lógica modal) y la semántica no convencional para tales lógicas (por ejemplo, el supervaluacionismo de Kripke en la semántica de la lógica).
___________________________________________________________________
__________________________________________________________________

1 comentario: