• Like
CIENCIAS FORMALES,INTELIGENCIA ARTIFICIAL Y RELIGIÓN
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

CIENCIAS FORMALES,INTELIGENCIA ARTIFICIAL Y RELIGIÓN

  • 2,591 views
Published

Algunas interesante

Algunas interesante

Published in Education
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
2,591
On SlideShare
0
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
25
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 1. CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIÓN Javier Leach Zaragoza, Pignatelli, 26 enero 2009
  • 2. CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIÓN
    • INDICE GENERAL
    • 1. Ciencias Formales: de los números a la IA
    • (Apuntes de Historia de la matemática y de algunas conexiones místicas-metafísicas)
    • 2. Dos Mundos: Experiencia y lenguaje en las ciencias formales y en la metafísica. Signos y Símbolos .
    • 3. Separación, encuentro e integración entre las ciencias formales y la metafísica
    • Los conceptos IA, metafísica, religión, signos, símbolos se irán poco a poco aclarando con definiciones y ejemplos
  • 3. 1. Ciencias Formales: de las figuras geométricas y los números a la IA
    • Los primeros documentos matemáticos son muy anteriores a la escritura (hace unos 20.000 años)
    • La IA sólo existe hace unas décadas .
    • La IA es el último producto tecnológico de la matemática en la etapa de su madurez a finales del siglo XX.
  • 4. Evolución histórica de la matemática
    • Matemática primitiva (20.000 a.C. – S VI a.C.)
    • Matemática griega (S VI a.C. – S XVI)
    • Matemática moderna (S XVI – S XX)
    • Matemática actual (S XX – S XXI).
    • Cada etapa está caracterizada por una propiedad importante que la matemática ha comenzado a desarrollar en ella.
    • En cada etapa distinguiré entre el desarrollo objetivo de la matemática en dicha etapa y sus proyecciones metafísicas
  • 5. Historia de las Ciencias Formales Lenguaje de las ciencias empíricas Formalismo IA Demostración de teoremas Abstracción de números y estructuras 20.000 a.C. – S VI a.C . S VI a.C. – S XVI S XVI – S XX S XX – S XXI
  • 6. Abstracción de números y estructuras. 20.000 a.C. – S VI a.C
    • Representación de cantidades numéricas y de figuras geométricas , Blombos, Huesos de Lebombo y de Ishango ( Quipu inca)
    • Sistemas de bases numéricas , Sumerios…
    • Cálculos basados en las relaciones numéricas, Papiros de Moscú, Rhind…
    • Conocimiento intuitivo-empírico intuitivo de teoremas matemáticos: ternas pitagóricas
    • Un primer ejemplo de conexión con la mística-metafísica : El concepto del infinito Yajur Veda: “Si restamos purna de purna nos queda de nuevo purna” . (Cantor?)
  • 7. Demostración de teoremas. S VI a.C. – S XVI
    • El período griego : Tales de Mileto (ca. 624 -548 a.C.), Pitágoras (ca. 582 a.C. - 507 a.C.), Euclides de Alejandría (300 -265 a.C.)… la matemática adquiere dimensión de ciencia deductiva
    • Cálculos y deducciones : Primero aparecieron los cálculos, luego aparecieron las demostraciones. ¿ES MÁS UNA DEMOSTRACIÓN QUE UN CÁLCULO?
    • Inteligencia Artificial : Demostraciones que se ejecutan mediante un cálculo
  • 8. Mística matemática de los griegos S VI a.C. – S XVI
    • Interrelación entre matemática y metafísica
    • Los pitagóricos : La metafísica de los números. Propiedades místicas y cabalísticas de los números. Crisis: las magnitudes inconmensurables
    • Platonismo : El mundo de la matemática es eterno y no cambia.
  • 9. Mística-metafísica en la lógica medieval S VI a.C. – S XVI
    • El argumento ontológico : Avicena, Anselmo de Canterbury (Descartes, Leibniz, Gödel…) Demostración de la existencia de Dios basada en intuiciones metafísicas y en raciocinios lógicos.
    • Avicena : El ser necesario
    • Anselmo : Id quod maius no cogitari potest
  • 10. Mística-metafísica en la lógica medieval S VI a.C. – S XVI
    • Argumento (Modus
    • Ontológico: tollens)
    • No existe un x cuya existencia podemos pensar que es más necesaria que la de Dios
    • Si Dios no existe necesariamente, entonces existe un x cuya existencia podemos pensar que es más necesaria que la de Dios (Aquí hacemos una opción metafísica)
    • ______________________________________________
    •  Dios existe necesariamente
  • 11. Mística lógica medieval S VI a.C. – S XVI
    • Intuiciones metafísicas : percepciones de la relatividad y finitud de nuestra propia existencia, junto con la percepción de una posible existencia necesaria (Avicena) o que tiene todas las cualidades positivas (Anselmo).
    • Opción metafísica : Podemos o bien aceptar el valor de la intuición metafísica considerando que tiene valor real o bien rechazarla y considerando que es fruto de nuestra imaginación y nuestros pensamientos.
    • Metafísica-religión : Las opciones metafísicas pueden ser laicas y ajenas a las religiones. Frecuentemente se dan junto con la aceptación o rechazo de una fe religiosa.
  • 12. Lenguaje de las ciencias empíricas S XVI – S XX
    • Ciencia moderna : Galileo, Newton, Leibniz…
    • Formulación en lenguaje matemático de observaciones empíricas (Final de la física aristotélica)
    • Son importantes tanto la formulación matemática como la observación empírica .
    • La formulación matemática es especialmente importante ya que sirve también para diseñar los mismos aparatos de observación.
  • 13. Racionalismo en ciencias empíricas S XVI – S XX
    • Opción metafísica por el racionalismo mecanicista causal
    • Determinismo científico causal . Laplace (1749-1827) postuló, basándose en la física Newtoniana, una visión completamente determinista de la causalidad física
  • 14. Formalismo. IA. S XX – S XXI
    • Reducción del razonamiento deductivo a reglas formales .
    • Desafío mecanicista : representar el razonamiento humano mediante un mecanismo formal. George Boole (1815-1864), Gottlob Frege (1848-1925).
    • Fundacionalismo matemático de Hilbert : los sistemas consistentes, completos y decidibles (mecánicamente decidibles) de la matemática proporcionarían un instrumento seguro para el acceso de la ciencia a la realidad objetiva.
  • 15. Formalismo. IA. S XX – S XXI
    • En su tesis doctoral Kurt Gödel (1906-1978) Completitud de la lógica de predicados .
    • La aritmética indecidible : No se podrá decidir si U se deduce de los axiomas o no. (fin del mecanicismo causal)
    • El enunciado formal que expresa la consistencia de la aritmética no es demostrable dentro del sistema de la aritmética.
  • 16. Formalismo. IA. S XX – S XXI
    • Pluralismo en la concepción de la matemática .
    • Según la lógica clásica un enunciado matemático o bien es válido o bien no lo es. ‘tertio excluso’. Según él, para demostrar la validez de un enunciado basta con demostrar que de su negación se deduce una contradicción.
    • L.E.J. Brouwer (1881-1966) niega la validez del ‘tertio excluso’: sólo son válidos los enunciados obtenidos mediante una demostración efectiva referida a objetos finitos de los cuales tenemos una intuición directa.
  • 17. Formalismo. IA. S XX – S XXI
    • Pluralismo semántico en la concepción de los objetos matemáticos :
    • Conjuntos, Estructuras y Categorías.
    • Conjuntos de Cantor.
    • Estructuras de Bourbaki
    • Categorías basadas en los conceptos de función y composición de funciones
  • 18. Formalismo. IA. S XX – S XXI
    • Idea intuitiva de artificio mecánico :
    • (presente en los cálculos egipcios, las demostraciones griegas y medievales, la ciencia moderna, el formalismo)
    • Su comportamiento se rige por un número finito de instrucciones precisas
    • Es capaz de ejecutar dichas instrucciones en un número finito de pasos
    • La ejecución de esas instrucciones no permite ningún tipo de iniciativa (no opciones) por parte del artificio que las ejecuta.
    • Un ser humano que tuviese tiempo suficiente podría simular la ejecución de esas instrucciones sirviéndose sólo de papel y lápiz (signos)
  • 19. Formalismo. IA. S XX – S XXI
    • Idea formal de método mecánico efectivo .
    • Alan Turing (1912-1954) precisó la idea informal de artificio mecánico mediante lo que llamamos máquina de Turing .
    • Alonzo Church (1903-1995) había presentado otra formalización distinta unos meses antes.
  • 20. Pluralismo Lógico-matemático vs Relativismo Metafísico S XX – S XXI
    • : “… the view that math provides absolute certainty and is static and perfect while physics is tentative and constantly evolving is a false dichotomy. Math is actually not that different from physics. Both are attempts of the human mind to organize, to make sense of, human experience; in the case of physics experience in the laboratory, in the physical world; and in the case of math experience in the computer, in the mental mindscape of pure mathematics.”
    • Gregory Chaitin , Metamaths. The Quest for Omega, Atlantic Books, London, 2005
  • 21. Historia de las Ciencias Formales Lenguaje de las ciencias empíricas Formalismo IA Demostración de teoremas Abstracción de números y estructuras 20.000 a.C. – S VI a.C . S VI a.C. – S XVI S XVI – S XX S XX – S XXI
  • 22. CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIÓN
    • INDICE GENERAL
    • 1. Ciencias Formales: de los números a la IA
    • (Apuntes de Historia de la matemática y de algunas conexiones místicas-metafísicas)
    • 2. Dos Mundos: Experiencia y lenguaje en las ciencias formales y en la metafísica. Signos y Símbolos .
    • 3. Separación, encuentro e integración entre las ciencias formales y la metafísica
    • Los conceptos IA, metafísica, religión, signos, símbolos se irán poco a poco aclarando con definiciones y ejemplos
  • 23. 2. Experiencia y lenguaje: Ciencias formales y metafísica. Signos y Símbolos
    • Una reflexión personal
    • A lo largo de mi vida filosofía, matemáticas y teología se han entrecruzado
    • Aparentemente filosófía y teología han estado más relacionada con lo que yo creo, espero y quiero: teología: Mística - Metafísica - Religión
    • Sin embargo, el sentido y el significado lo he encontrado sobre todo en mi trabajo y dedicación a los demás, y la matemática ha sido el lenguaje de mi trabajo
  • 24. Una reflexión personal: contraste de lenguajes
    • Cuando en 1965 terminé los estudios de filosofía y pasé a la facultad de matemáticas era como si hubiese emigrado a otro país en el que hablaran una lengua distinta.
    • Aprendí a apreciar la formalidad matemática sobre todo por dos razones extremas: su valor estético y su aplicabilidad tecnológica .
  • 25. Una reflexión personal: Búsqueda de sentido
    • La tecnología es acción y trabajo la estética formal de la matemática no servía por sí sola para justificar la acción tecnológica.
    • Detrás de la pregunta por la acción tecnológica estaba la pregunta por el sentido de la política, del trabajo humano y la falta de trabajo de muchos hombres y mujeres.
  • 26. Una reflexión personal: ¿un lenguaje perfecto?
    • La misma estética formal de la matemática era cuestionable .
    • ¿Qué hace que la matemática sea un juego formal perfecto, bello en sí mismo?
    • ¿Qué hay de bueno en la matemática más allá de puros raciocinios coherentes?
    • ¿Qué es la matemática y qué le da coherencia interna?
  • 27. Una reflexión personal: Signos formales y símbolos teológicos
    • El mundo de la teología supuso un nuevo cambio
    • Pasé de usar signos formales a usar conceptos cuyo significado simbólico me resultaba difícil de delimitar mediante definiciones unívocas.
    • Empecé a descubrir la diferencia entre signo (formal) y símbolo (metafísico).
    • Un ejemplo: El mundo como relación a Dios
  • 28. Dos mundos: El mundo de la ciencia y el mundo de la religión
      • Ian Barbour: conflicto, separación, diálogo e integración
      • Actualmente me siento inclinado hacia relación de complementariedad : separación, encuentro, integración.
      • El conflicto proviene de que tanto la ciencia como la religión tienen que ver con el sentido de la acción humana .
  • 29. IA y el mundo de la ciencia
    • Tres niveles en el mundo de la ciencia : la lógica , la matemática y las ciencias empíricas .
    • En cada nivel distinguiré entre experiencia y lenguaje .
    • Por la experiencia percibimos la realidad, mediante el lenguaje la estructuramos y la comunicamos.
  • 30. EvidenciaLógi c a Intuición Matemática Observación empírica Experiencia Humana Experiencia
  • 31. Lenguajes Formales IA Lenguajes Formales Lenguajes Representativos Lenguaje Humano Lenguaje IA IA
  • 32. El primer nivel es el de la lógica Razonamientos o inferencias
    • Experiencia : evidencias intelectuales de ciertos principios lógicos que siempre son válidos. Por ejemplo: ‘es imposible que algo sea verdadero y falso a la vez’
    • Lenguaje : Los lenguajes de la lógica pueden formalizarse. Los lenguajes formales constan de cadenas finitas de signos definidas mediante reglas sintácticas.
    • Signo : Un signo es un elemento básico del lenguaje formal . Por ejemplo  , $, %, @, ?, son cinco signos distintos del código ASCII. Los signos los entienden las máquinas. (no es un insulto)
  • 33. El segundo nivel es el de la matemática e incluye la lógica .
    • Experiencia : las intuiciones matemáticas también son percepciones intelectuales.
    • Lenguaje : El intento de reducir todas las intuiciones matemáticas a evidencias lógicas tropezó con diversas paradojas. Los axiomas de una teoría matemática no serán en general válidos en todos los modelos formales .
    • A partir de ciertos axiomas matemáticos deduciremos enunciados matemáticos válidos en ciertos modelos formales de la matemática.
  • 34. Lógica y paradojas matemáticas .
    • Los razonamientos dan lugar a paradojas cuando mediante ellos deducimos un enunciado que contradice un principio lógico . Por ejemplo, la afirmación de un enunciado y su negación contradice el principio de no contradicción.
    • Las paradojas son un estímulo del pensamiento lógico. Las paradojas planteadas en un lenguaje formal se han de resolver en ese mismo lenguaje formal .
  • 35. Las ciencias empíricas incluyen la matemática y la lógica
    • Experiencia : observaciones de la realidad basadas en percepciones sensibles.
    • Lenguaje : Matemática aplicada. Signos representativos para denotar hechos y cosas reales. Por ejemplo { m,e,c } son signos que denotan respectivamente la masa de un cuerpo, la energía y la velocidad de la luz. Mediante esos signos escribimos la fórmula e = mc 2 que denota una propiedad de los cuerpos reales.
    • Partiendo de percepciones sensibles las ciencias empíricas representan la realidad mediante modelos representativos.
  • 36. Teorías Formales Modelos Representativos Modelos Formales Observaciones Empíricas Intuiciones Matemáticas Evidencias Lógicas Lenguajes Modelos Experiencias (2) (3) (1) (4)
  • 37. Objetividad de la lógica y la matemática: Conocimiento comunicable
    • Las observaciones empíricas se explican mediante modelos representativos
    • Los modelos representativos se explican mediante teorías formales matemáticas.
    • Las teorías formales matemáticas se interpretan en modelos formales .
    • Los modelos formales de la matemática se construyen a partir de intuiciones matemáticas y evidencias lógicas .
  • 38. Objetividad empírica y formal Dos niveles de objetividad
    • La diferencia cognitiva entre la geometría de Minkowski y las teorías relativistas de Einstein está en que en el primer caso la semántica de la teoría matemática es un modelo formal y en el segundo caso la semántica es la realidad empírica de las observaciones físicas.
    • El significado real de las observaciones empíricas no es siempre evidente y las mismas observaciones se han interpretado en modelos distintos e incluso contrarios a lo largo de la historia, según distintos paradigmas científicos.
  • 39. Objetividad de la lógica y la matemática ¿Hay una objetividad universal?
    • La lógica y la matemática son los más objetivos de los conocimientos , pero no son totalmente objetivos.
    • La visión de qué es lógica y matemática depende de los principios lógicos que aceptemos.
    • Hay comunidades de matemáticos que aceptan ciertos principios que otras no aceptan.
  • 40. Objetividad de la lógica y la matemática Todos flotamos, unos más profundamente que otros
    • Cuando el matemático holandés L.E.J Brower (1881-1966) afirma que el principio del tercero excluido no se puede aplicar en todos los casos, no se apoya en una deducción lógica, sino en una opción basada en cómo entiende él que es la lógica.
    • Es una afirmación externa a la lógica y expresa la visión que tiene Brower del conocimiento matemático. Brower basa su afirmación en el significado que tiene para él la actividad lógica vista en su totalidad.
  • 41. El mundo de la teología
    • La experiencia religiosa: Hacia dentro experiencia comunitaria compartida dentro de una tradición religiosa. Hacia fuera experiencia mística compartida y/o compartible con todos los hombres y mujeres.
    • El lenguaje de la teología: Hacia dentro lenguaje interno a las religiones. Hacia fuera lenguaje inteligible para otros creyentes y no creyentes.
    • ¿Qué es antes el lenguaje o la experiencia? ¿Existe lenguaje sin experiencia? ¿Existe experiencia sin lenguaje? ¿Actualmente se prioriza la experiencia?
  • 42. El mundo de la metafísica y la teología ¿Hay una religiosidad objetiva?
    • Experiencia mística-metafísica: valores y significados globales (con valor ético) : Pitagóricos, Platón, Avicena, Anselmo de Canterbury, Descartes, Leibniz, Spinoza, Gödel… Laplace, Hilbert… Tomás de Aquino, Kant…
    • Lenguaje y semántica de la mística-metafísica : símbolos que no representan sólo cosas y hechos, sino también un modo de ver las cosas y al mundo en su totalidad .
  • 43. Dos mundos complementarios
    • Propongo una relación de complementariedad entre matemática y metafísica.
    • Tres rasgos importantes de esa relación: separación, encuentro e integración . La complementariedad queda definida por la unión de estos tres rasgos.
  • 44. CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIÓN
    • INDICE GENERAL
    • 1. Ciencias Formales: de los números a la IA
    • (Apuntes de Historia de la matemática y de algunas conexiones místicas-metafísicas)
    • 2. Dos mundos: Experiencia y lenguaje en las ciencias formales y en la metafísica. Signos y Símbolos .
    • 3. Separación, encuentro e integración entre las ciencias formales y la metafísica
    • Los conceptos IA, metafísica, religión, signos, símbolos se irán poco a poco aclarando con definiciones y ejemplos
  • 45. Carta de JUAN PABLO II al P. George V. Coyne, S.J. Director del Observatorio Vaticano (1988)
    • Los avances contemporáneos de la ciencia constituyen un desafío a la teología mucho más profundo que el que constituyó la introducción de Aristóteles en la Europa Occidental del siglo XIII. Y estos avances ofrecen también recursos de potencial trascendencia para la teología.
    • Del mismo modo que la filosofía aristotélica, por el ministerio de estudiosos de la magnitud de Santo Tomás de Aquino, acabó configurando algunas de las más profundas expresiones de la doctrina teológica, ¿acaso no podemos esperar que las ciencias de hoy, junto con todas las formas del conocimiento humano, puedan vigorizar e informar las partes de la empresa teológica que se relacionan con la naturaleza, la humanidad y Dios?
  • 46. 3. Separación, encuentro e integración entre las ciencias formales y la metafísica
    • La separación se basa sobre todo en el uso del lenguaje
    • Los signos . Los signos formales expresan evidencias lógicas e intuiciones matemáticas. La verdad o falsedad de los enunciados se basa en una correspondencia entre signos y objetos significados.
    • Los símbolos metafísicos y religiosos . No representan sólo cosas y objetos sino también visiones del mundo, del sentido de la acción humana en el mundo.
    • Las parábolas de Jesucristo son un ejemplo de símbolo religioso. Unos entienden las parábolas de Jesús tal como Jesús las entendía, otros no las entienden así. “Quien tenga oídos para oír que oiga” (Lc 14,35).
  • 47. Encuentro entre metafísica y ciencias formales
    • Un objetivo en parte común: el sentido de experiencias y acciones humanas .
    • El sentido que busca la matemática .  Aunque gran parte de las certezas y coherencias de la matemática no son absolutas sino provisionales, la matemática permanece como el intento más serio de búsqueda de certezas lógicas y de búsqueda de un lenguaje preciso que sirva como instrumento de comunicación interna de la ciencia y de aplicación tecnológica de sus resultados.
  • 48. Encuentro entre metafísica y ciencias formales
    • El sentido que busca la religión: La relación religión - matemática no es simétrica.
      • Para la teología el encuentro con la matemática es inevitable, ya que la teología busca el sentido de toda acción humana y la matemática es una acción humana privilegiada.
      • Pero para la matemática el encuentro con la teología no es una necesidad. El conocimiento matemático es autónomo por su dinámica interna.
  • 49. Encuentro entre metafísica y ciencias formales
    • El sentido que busca la religión: La asimetría más que la solución éste es el verdadero problema :
    • Dónde y cómo ocurre que nuestros razonamientos matemáticos necesitan de un sentido que vaya más allá de estos propios razonamientos .
    • La experiencia dice que la búsqueda de sentido más allá nuestros razonamientos matemáticos no viene forzada por los mismos razonamientos formales.
  • 50. Integración
    • La integración es necesaria porque las ciencias formales y la metafísica están referidas a la misma realidad la experiencia y acción humana en el mundo y en la sociedad
    • La matemática y la realidad: Las explicaciones físicas, químicas, biológicas… son científicas en tanto que son objetivas y aptas para traducirse a un lenguaje matemático.
    • Hay observaciones científicas que no permiten una única explicación matemática . Por ejemplo, las observaciones onda-partícula. En ambos casos la realidad trasciende a cada una de las explicaciones.
  • 51. Integración (experiencia y lenguaje)
    • Las religiones y la realidad : Hablar de matemáticas y religión nos lleva a hablar de diferentes niveles de aceptar (expresada en un lenguaje racional) la experiencia :
    • Aceptar la experiencia de un objeto matemático (clásico, constructivista… opción lógica)
    • Aceptar la experiencia de un objeto físico (dentro de un paradigma, opción por un paradigma)
    • Aceptar la experiencia de lo absoluto y de Dios (opción metafísica)
  • 52. Integración
    • Las religiones y la realidad .
    • En las tradiciones judía, cristiana y musulmana el mundo es un lugar de encuentro con Dios . En otras tradiciones religiosas es un lugar de encuentro con distintas experiencias de lo absoluto .
    • La integración entre matemática y teología no se deriva de la matemática es una consecuencia de la actitud (opción) religiosa por la que Dios o lo absoluto está presente en todas las cosas.
  • 53. Carta de JUAN PABLO II al P. George V. Coyne, S.J. Director del Observatorio Vaticano (1988)
    • Los avances contemporáneos de la ciencia constituyen un desafío a la teología mucho más profundo que el que constituyó la introducción de Aristóteles en la Europa Occidental del siglo XIII. Y estos avances ofrecen también recursos de potencial trascendencia para la teología.
    • Del mismo modo que la filosofía aristotélica, por el ministerio de estudiosos de la magnitud de Santo Tomás de Aquino, acabó configurando algunas de las más profundas expresiones de la doctrina teológica, ¿acaso no podemos esperar que las ciencias de hoy, junto con todas las formas del conocimiento humano, puedan vigorizar e informar las partes de la empresa teológica que se relacionan con la naturaleza, la humanidad y Dios?