CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIN

Javier Leach Zaragoza, Pignatelli, 26 enero 2009

CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIN

INDICE GENERAL
1. Ciencias Formales: de los nmeros a la IA (Apuntes de Historia de la matemtica y de algunas conexiones msticas-metafsicas) 2. Dos Mundos: Experiencia y lenguaje en las ciencias formales y en la metafsica. Signos y Smbolos. 3. Separacin, encuentro e integracin entre las ciencias formales y la metafsica Los conceptos IA, metafsica, religin, signos, smbolos se irn poco a poco aclarando con definiciones y ejemplos

1. Ciencias Formales: de las figuras geomtricas y los nmeros a la IA

Los primeros documentos matemticos son muy anteriores a la escritura (hace unos 20.000 aos) La IA slo existe hace unas dcadas. La IA es el ltimo producto tecnolgico de la matemtica en la etapa de su madurez a finales del siglo XX.

Evolucin histrica de la matemtica

1. 2. 3. 4. Matemtica primitiva (20.000 a.C. S VI a.C.) Matemtica griega (S VI a.C. S XVI) Matemtica moderna (S XVI S XX) Matemtica actual (S XX S XXI). Cada etapa est caracterizada por una propiedad importante que la matemtica ha comenzado a desarrollar en ella. En cada etapa distinguir entre el desarrollo objetivo de la matemtica en dicha etapa y sus proyecciones metafsicas

Historia de las Ciencias Formales

Formalismo S XX S XXI IA Lenguaje de las S XVI ciencias empricas S XX

Demostracin S VI a.C. S XVI de teoremas

Abstraccin de nmeros y estructuras
20.000 a.C. S VI a.C.

Abstraccin de nmeros y estructuras. 20.000 a.C. S VI a.C

Representacin de cantidades numricas y de figuras geomtricas, Blombos, Huesos de Lebombo y de Ishango (Quipu inca) Sistemas de bases numricas, Sumerios Clculos basados en las relaciones numricas, Papiros de Mosc, Rhind Conocimiento intuitivo-emprico intuitivo de teoremas matemticos: ternas pitagricas Un primer ejemplo de conexin con la msticametafsica: El concepto del infinito Yajur Veda: Si restamos purna de purna nos queda de nuevo purna . (Cantor?)

Demostracin de teoremas. S VI a.C. S XVI

El perodo griego: Tales de Mileto (ca. 624 -548 a.C.), Pitgoras (ca. 582 a.C. - 507 a.C.), Euclides de Alejandra (300 -265 a.C.) la matemtica adquiere dimensin de ciencia deductiva Clculos y deducciones: Primero aparecieron los clculos, luego aparecieron las demostraciones. ES MS UNA DEMOSTRACIN QUE UN CLCULO? Inteligencia Artificial: Demostraciones que se ejecutan mediante un clculo

Mstica matemtica de los griegos S VI a.C. S XVI

Interrelacin entre matemtica y metafsica 1. Los pitagricos: La metafsica de los nmeros. Propiedades msticas y cabalsticas de los nmeros. Crisis: las magnitudes inconmensurables 2. Platonismo: El mundo de la matemtica es eterno y no cambia.

Mstica-metafsica en la lgica medieval S VI a.C. S XVI

El argumento ontolgico: Avicena, Anselmo de Canterbury (Descartes, Leibniz, Gdel ) Demostracin de la existencia de Dios basada en intuiciones metafsicas y en raciocinios lgicos. Avicena: El ser necesario Anselmo: Id quod maius no cogitari potest

Mstica-metafsica en la lgica medieval S VI a.C. S XVI

Argumento Ontolgico:
(1) (2) @  x M(x,d) EN(d) p  x M(x,d) EN(d)

(Modus tollens)

1) No existe un x cuya existencia podemos pensar que es ms necesaria que la de Dios 2) Si Dios no existe necesariamente, entonces existe un x cuya existencia podemos pensar que es ms necesaria que la de Dios (Aqu hacemos una opcin metafsica) ______________________________________________ @ Dios existe necesariamente

Mstica lgica medieval S VI a.C. S XVI

Intuiciones metafsicas: percepciones de la relatividad y finitud de nuestra propia existencia, junto con la percepcin de una posible existencia necesaria (Avicena) o que tiene todas las cualidades positivas (Anselmo). Opcin metafsica: Podemos o bien aceptar el valor de la intuicin metafsica considerando que tiene valor real o bien rechazarla y considerando que es fruto de nuestra imaginacin y nuestros pensamientos. Metafsica-religin: Las opciones metafsicas pueden ser laicas y ajenas a las religiones. Frecuentemente se dan junto con la aceptacin o rechazo de una fe religiosa.

Lenguaje de las ciencias empricas S XVI S XX

Ciencia moderna: Galileo, Newton, Leibniz Formulacin en lenguaje matemtico de observaciones empricas (Final de la fsica aristotlica) Son importantes tanto la formulacin matemtica como la observacin emprica. La formulacin matemtica es especialmente importante ya que sirve tambin para disear los mismos aparatos de observacin.

Racionalismo en ciencias empricas S XVI S XX

Opcin metafsica por el racionalismo mecanicista causal Determinismo cientfico causal. Laplace (1749-1827) postul, basndose en la fsica Newtoniana, una visin completamente determinista de la causalidad fsica

 Reduccin del razonamiento deductivo a reglas formales. Desafo mecanicista: representar el razonamiento humano mediante un mecanismo formal. George Boole (1815-1864), Gottlob Frege (1848-1925). Fundacionalismo matemtico de Hilbert: los sistemas consistentes, completos y decidibles (mecnicamente decidibles) de la matemtica proporcionaran un instrumento seguro para el acceso de la ciencia a la realidad objetiva.

Formalismo. IA. S XX S XXI

Formalismo. IA. S XX S XXI

En su tesis doctoral Kurt Gdel (1906-1978) Completitud de la lgica de predicados. La aritmtica 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 aritmtica no es demostrable dentro del sistema de la aritmtica.

Formalismo. IA. S XX S XXI

Pluralismo en la concepcin de la matemtica. 1. Segn la lgica clsica un enunciado matemtico o bien es vlido o bien no lo es. tertio excluso . Segn l, para demostrar la validez de un enunciado basta con demostrar que de su negacin se deduce una contradiccin. 2. L.E.J. Brouwer (1881-1966) niega la validez del tertio excluso : slo son vlidos los enunciados obtenidos mediante una demostracin efectiva referida a objetos finitos de los cuales tenemos una intuicin directa.

Formalismo. IA. S XX S XXI

Pluralismo semntico en la concepcin de los objetos matemticos: Conjuntos, Estructuras y Categoras. Conjuntos de Cantor. Estructuras de Bourbaki Categoras basadas en los conceptos de funcin y composicin de funciones

(presente en los clculos egipcios, las demostraciones griegas y medievales, la ciencia moderna, el formalismo) 1. Su comportamiento se rige por un nmero finito de instrucciones precisas 2. Es capaz de ejecutar dichas instrucciones en un nmero finito de pasos 3. La ejecucin de esas instrucciones no permite ningn tipo de iniciativa (no opciones) por parte del artificio que las ejecuta. 4. Un ser humano que tuviese tiempo suficiente podra simular la ejecucin de esas instrucciones sirvindose slo de papel y lpiz (signos)

Idea intuitiva de artificio mecnico:

Formalismo. IA. S XX S XXI

Formalismo. IA. S XX S XXI

Idea formal de mtodo mecnico efectivo. 1. Alan Turing (1912-1954) precis la idea informal de artificio mecnico mediante lo que llamamos mquina de Turing. 2. Alonzo Church (1903-1995) haba presentado otra formalizacin distinta unos meses antes.

Pluralismo Lgico-matemtico vs Relativismo Metafsico 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

Historia de las Ciencias Formales

Formalismo S XX S XXI IA Lenguaje de las S XVI ciencias empricas S XX

Demostracin S VI a.C. S XVI de teoremas

Abstraccin de nmeros y estructuras
20.000 a.C. S VI a.C.

CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIN

INDICE GENERAL
1. Ciencias Formales: de los nmeros a la IA (Apuntes de Historia de la matemtica y de algunas conexiones msticas-metafsicas) 2. Dos Mundos: Experiencia y lenguaje en las ciencias formales y en la metafsica. Signos y Smbolos. 3. Separacin, encuentro e integracin entre las ciencias formales y la metafsica Los conceptos IA, metafsica, religin, signos, smbolos se irn poco a poco aclarando con definiciones y ejemplos

2. Experiencia y lenguaje: Ciencias formales y metafsica. Signos y Smbolos

Una reflexin personal A lo largo de mi vida filosofa, matemticas y teologa se han entrecruzado Aparentemente filosfa y teologa han estado ms relacionada con lo que yo creo, espero y quiero: teologa: Mstica - Metafsica - Religin Sin embargo, el sentido y el significado lo he encontrado sobre todo en mi trabajo y dedicacin a los dems, y la matemtica ha sido el lenguaje de mi trabajo

Una reflexin personal: contraste de lenguajes

Cuando en 1965 termin los estudios de filosofa y pas a la facultad de matemticas era como si hubiese emigrado a otro pas en el que hablaran una lengua distinta. Aprend a apreciar la formalidad matemtica sobre todo por dos razones extremas: su valor esttico y su aplicabilidad tecnolgica.

Una reflexin personal: Bsqueda de sentido

La tecnologa es accin y trabajo la esttica formal de la matemtica no serva por s sola para justificar la accin tecnolgica. Detrs de la pregunta por la accin tecnolgica estaba la pregunta por el sentido de la poltica, del trabajo humano y la falta de trabajo de muchos hombres y mujeres.

Una reflexin personal: un lenguaje perfecto?

La misma esttica formal de la matemtica era cuestionable. Qu hace que la matemtica sea un juego formal perfecto, bello en s mismo? Qu hay de bueno en la matemtica ms all de puros raciocinios coherentes? Qu es la matemtica y qu le da coherencia interna?

Una reflexin personal: Signos formales y smbolos teolgicos

El mundo de la teologa supuso un nuevo cambio Pas de usar signos formales a usar conceptos cuyo significado simblico me resultaba difcil de delimitar mediante definiciones unvocas. Empec a descubrir la diferencia entre signo (formal) y smbolo (metafsico). Un ejemplo: El mundo como relacin a Dios

Dos mundos: El mundo de la ciencia y el mundo de la religin Ian Barbour: conflicto, separacin, dilogo e integracin Actualmente me siento inclinado hacia relacin de complementariedad: separacin, encuentro, integracin. El conflicto proviene de que tanto la ciencia como la religin tienen que ver con el sentido de la accin humana.

IA y el mundo de la ciencia
Tres niveles en el mundo de la ciencia: la lgica, la matemtica y las ciencias empricas. En cada nivel distinguir entre experiencia y lenguaje. Por la experiencia percibimos la realidad, mediante el lenguaje la estructuramos y la comunicamos.

Experiencia

Evidencia Lgica

Experiencia Humana

Intuicin Matemtica Observacin emprica

Lenguaje

Lenguajes Formales IA IA

Lenguaje Humano IA

Lenguajes Formales Lenguajes Representativos

El primer nivel es el de la lgica Razonamientos o inferencias

Experiencia: evidencias intelectuales de ciertos principios lgicos que siempre son vlidos. Por ejemplo: es imposible que algo sea verdadero y falso a la vez Lenguaje: Los lenguajes de la lgica pueden formalizarse. Los lenguajes formales constan de cadenas finitas de signos definidas mediante reglas sintcticas. Signo: Un signo es un elemento bsico del lenguaje formal. Por ejemplo , $, %, @, ?, son cinco signos distintos del cdigo ASCII. Los signos los entienden las mquinas. (no es un insulto)

El segundo nivel es el de la matemtica e incluye la lgica.

Experiencia: las intuiciones matemticas tambin son percepciones intelectuales. Lenguaje: El intento de reducir todas las intuiciones matemticas a evidencias lgicas tropez con diversas paradojas. Los axiomas de una teora matemtica no sern en general vlidos en todos los modelos formales. A partir de ciertos axiomas matemticos deduciremos enunciados matemticos vlidos en ciertos modelos formales de la matemtica.

Lgica y paradojas matemticas.

Los razonamientos dan lugar a paradojas cuando mediante ellos deducimos un enunciado que contradice un principio lgico. Por ejemplo, la afirmacin de un enunciado y su negacin contradice el principio de no contradiccin. Las paradojas son un estmulo del pensamiento lgico. Las paradojas planteadas en un lenguaje formal se han de resolver en ese mismo lenguaje formal.

Las ciencias empricas incluyen la matemtica y la lgica

Experiencia: observaciones de la realidad basadas en percepciones sensibles. Lenguaje: Matemtica 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 energa y la velocidad de la luz. Mediante esos signos escribimos la frmula e = mc2que denota una propiedad de los cuerpos reales. Partiendo de percepciones sensibles las ciencias empricas representan la realidad mediante modelos representativos.

Teoras Formales

Lenguajes

(2)

(3)

Modelos Representati vos

Modelos Formales

Modelos

(1)

(4)

Observaciones Empricas

Intuiciones Matemticas Evidencias Lgicas

Experiencias

Objetividad de la lgica y la matemtica: Conocimiento comunicable

(1) Las observaciones empricas se explican mediante modelos representativos (2) Los modelos representativos se explican mediante teoras formales matemticas. (3) Las teoras formales matemticas se interpretan en modelos formales. (4) Los modelos formales de la matemtica se construyen a partir de intuiciones matemticas y evidencias lgicas.

Objetividad emprica y formal Dos niveles de objetividad

La diferencia cognitiva entre la geometra de Minkowski y las teoras relativistas de Einstein est en que en el primer caso la semntica de la teora matemtica es un modelo formal y en el segundo caso la semntica es la realidad emprica de las observaciones fsicas. El significado real de las observaciones empricas no es siempre evidente y las mismas observaciones se han interpretado en modelos distintos e incluso contrarios a lo largo de la historia, segn distintos paradigmas cientficos.

Objetividad de la lgica y la matemtica Hay una objetividad universal?

La lgica y la matemtica son los ms objetivos de los conocimientos, pero no son totalmente objetivos. La visin de qu es lgica y matemtica depende de los principios lgicos que aceptemos. Hay comunidades de matemticos que aceptan ciertos principios que otras no aceptan.

 Cuando el matemtico holands 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 deduccin lgica, sino en una opcin basada en cmo entiende l que es la lgica. Es una afirmacin externa a la lgica y expresa la visin que tiene Brower del conocimiento matemtico. Brower basa su afirmacin en el significado que tiene para l la actividad lgica vista en su totalidad.

Objetividad de la lgica y la matemtica Todos flotamos, unos ms profundamente que otros

El mundo de la teologa
La experiencia religiosa: Hacia dentro experiencia comunitaria compartida dentro de una tradicin religiosa. Hacia fuera experiencia mstica compartida y/o compartible con todos los hombres y mujeres. El lenguaje de la teologa: 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?

El mundo de la metafsica y la teologa Hay una religiosidad objetiva?

Experiencia mstica-metafsica: valores y significados globales (con valor tico): Pitagricos, Platn, Avicena, Anselmo de Canterbury, Descartes, Leibniz, Spinoza, Gdel Laplace, Hilbert Toms de Aquino, Kant Lenguaje y semntica de la msticametafsica: smbolos que no representan slo cosas y hechos, sino tambin un modo de ver las cosas y al mundo en su totalidad.

Dos mundos complementarios

Propongo una relacin de complementariedad entre matemtica y metafsica. Tres rasgos importantes de esa relacin: separacin, encuentro e integracin. La complementariedad queda definida por la unin de estos tres rasgos.

CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIN

INDICE GENERAL
1. Ciencias Formales: de los nmeros a la IA (Apuntes de Historia de la matemtica y de algunas conexiones msticas-metafsicas) 2. Dos mundos: Experiencia y lenguaje en las ciencias formales y en la metafsica. Signos y Smbolos. 3. Separacin, encuentro e integracin entre las ciencias formales y la metafsica Los conceptos IA, metafsica, religin, signos, smbolos se irn poco a poco aclarando con definiciones y ejemplos

Carta de JUAN PABLO II al P. George V. Coyne, S.J. Director del Observatorio Vaticano (1988)
Los avances contemporneos de la ciencia constituyen un desafo a la teologa mucho ms profundo que el que constituy la introduccin de Aristteles en la Europa Occidental del siglo XIII. Y estos avances ofrecen tambin recursos de potencial trascendencia para la teologa. Del mismo modo que la filosofa aristotlica, por el ministerio de estudiosos de la magnitud de Santo Toms de Aquino, acab configurando algunas de las ms profundas expresiones de la doctrina teolgica, 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 teolgica que se relacionan con la naturaleza, la humanidad y Dios?

3. Separacin, encuentro e integracin entre las ciencias formales y la metafsica

La separacin se basa sobre todo en el uso del lenguaje Los signos. Los signos formales expresan evidencias lgicas e intuiciones matemticas. La verdad o falsedad de los enunciados se basa en una correspondencia entre signos y objetos significados. Los smbolos metafsicos y religiosos. No representan slo cosas y objetos sino tambin visiones del mundo, del sentido de la accin humana en el mundo. Las parbolas de Jesucristo son un ejemplo de smbolo religioso. Unos entienden las parbolas de Jess tal como Jess las entenda, otros no las entienden as. Quien tenga odos para or que oiga (Lc 14,35).

Encuentro entre metafsica y ciencias formales

Un objetivo en parte comn: el sentido de experiencias y acciones humanas. El sentido que busca la matemtica. Aunque gran parte de las certezas y coherencias de la matemtica no son absolutas sino provisionales, la matemtica permanece como el intento ms serio de bsqueda de certezas lgicas y de bsqueda de un lenguaje preciso que sirva como instrumento de comunicacin interna de la ciencia y de aplicacin tecnolgica de sus resultados.

Encuentro entre metafsica y ciencias formales

El sentido que busca la religin: La relacin religin - matemtica no es simtrica.
Para la teologa el encuentro con la matemtica es inevitable, ya que la teologa busca el sentido de toda accin humana y la matemtica es una accin humana privilegiada. Pero para la matemtica el encuentro con la teologa no es una necesidad. El conocimiento matemtico es autnomo por su dinmica interna.

Encuentro entre metafsica y ciencias formales

El sentido que busca la religin: La asimetra ms que la solucin ste es el verdadero problema: Dnde y cmo ocurre que nuestros razonamientos matemticos necesitan de un sentido que vaya ms all de estos propios razonamientos. La experiencia dice que la bsqueda de sentido ms all nuestros razonamientos matemticos no viene forzada por los mismos razonamientos formales.

Integracin
La integracin es necesaria porque las ciencias formales y la metafsica estn referidas a la misma realidad la experiencia y accin humana en el mundo y en la sociedad La matemtica y la realidad: Las explicaciones fsicas, qumicas, biolgicas son cientficas en tanto que son objetivas y aptas para traducirse a un lenguaje matemtico. Hay observaciones cientficas que no permiten una nica explicacin matemtica. Por ejemplo, las observaciones onda-partcula. En ambos casos la realidad trasciende a cada una de las explicaciones.

Integracin (experiencia y lenguaje)

Las religiones y la realidad: Hablar de matemticas y religin nos lleva a hablar de diferentes niveles de aceptar (expresada en un lenguaje racional) la experiencia: Aceptar la experiencia de un objeto matemtico (clsico, constructivista opcin lgica) Aceptar la experiencia de un objeto fsico (dentro de un paradigma, opcin por un paradigma) Aceptar la experiencia de lo absoluto y de Dios (opcin metafsica)

Integracin
Las religiones y la realidad. En las tradiciones juda, 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 integracin entre matemtica y teologa no se deriva de la matemtica es una consecuencia de la actitud (opcin) religiosa por la que Dios o lo absoluto est presente en todas las cosas.

Carta de JUAN PABLO II al P. George V. Coyne, S.J. Director del Observatorio Vaticano (1988)
Los avances contemporneos de la ciencia constituyen un desafo a la teologa mucho ms profundo que el que constituy la introduccin de Aristteles en la Europa Occidental del siglo XIII. Y estos avances ofrecen tambin recursos de potencial trascendencia para la teologa. Del mismo modo que la filosofa aristotlica, por el ministerio de estudiosos de la magnitud de Santo Toms de Aquino, acab configurando algunas de las ms profundas expresiones de la doctrina teolgica, 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 teolgica que se relacionan con la naturaleza, la humanidad y Dios?