CIENCIAS FORMALES,INTELIGENCIA ARTIFICIAL Y RELIGIÓN

CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIÓN Javier Leach Zaragoza, Pignatelli, 26 enero 2009

CIENCIAS FORMALES, INTELIGENCIA ARTIFICIAL Y RELIGIÓN ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

1. Ciencias Formales: de las figuras geométricas y los números a la IA ,[object Object],[object Object],[object Object]

Evolución histórica de la matemática ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

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

Abstracción de números y estructuras. 20.000 a.C. – S VI a.C ,[object Object],[object Object],[object Object],[object Object],[object Object]

Demostración de teoremas. S VI a.C. – S XVI ,[object Object],[object Object],[object Object]

Mística matemática de los griegos S VI a.C. – S XVI ,[object Object],[object Object],[object Object]

Mística-metafísica en la lógica medieval S VI a.C. – S XVI ,[object Object],[object Object],[object Object]

Mística-metafísica en la lógica medieval S VI a.C. – S XVI ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Mística lógica medieval S VI a.C. – S XVI ,[object Object],[object Object],[object Object]

Lenguaje de las ciencias empíricas S XVI – S XX ,[object Object],[object Object],[object Object],[object Object]

Racionalismo en ciencias empíricas S XVI – S XX ,[object Object],[object Object]

Formalismo. IA. S XX – S XXI ,[object Object],[object Object],[object Object]

Formalismo. IA. S XX – S XXI ,[object Object],[object Object],[object Object],[object Object],[object Object]

Formalismo. IA. S XX – S XXI ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Pluralismo Lógico-matemático vs Relativismo Metafísico S XX – S XXI ,[object Object],[object Object]

2. Experiencia y lenguaje: Ciencias formales y metafísica. Signos y Símbolos ,[object Object],[object Object],[object Object],[object Object]

Una reflexión personal: contraste de lenguajes ,[object Object],[object Object]

Una reflexión personal: Búsqueda de sentido ,[object Object],[object Object]

Una reflexión personal: ¿un lenguaje perfecto? ,[object Object],[object Object],[object Object],[object Object]

Una reflexión personal: Signos formales y símbolos teológicos ,[object Object],[object Object],[object Object],[object Object]

Dos mundos: El mundo de la ciencia y el mundo de la religión ,[object Object],[object Object],[object Object]

IA y el mundo de la ciencia ,[object Object],[object Object],[object Object]

EvidenciaLógi c a Intuición Matemática Observación empírica Experiencia Humana Experiencia

Lenguajes Formales IA Lenguajes Formales Lenguajes Representativos Lenguaje Humano Lenguaje IA IA

El primer nivel es el de la lógica Razonamientos o inferencias ,[object Object],[object Object],[object Object]

El segundo nivel es el de la matemática e incluye la lógica . ,[object Object],[object Object],[object Object]

Lógica y paradojas matemáticas . ,[object Object],[object Object]

Las ciencias empíricas incluyen la matemática y la lógica ,[object Object],[object Object],[object Object]

Teorías Formales Modelos Representativos Modelos Formales Observaciones Empíricas Intuiciones Matemáticas Evidencias Lógicas Lenguajes Modelos Experiencias (2) (3) (1) (4)

Objetividad de la lógica y la matemática: Conocimiento comunicable ,[object Object],[object Object],[object Object],[object Object]

Objetividad empírica y formal Dos niveles de objetividad ,[object Object],[object Object]

Objetividad de la lógica y la matemática ¿Hay una objetividad universal? ,[object Object],[object Object],[object Object]

Objetividad de la lógica y la matemática Todos flotamos, unos más profundamente que otros ,[object Object],[object Object]

El mundo de la teología ,[object Object],[object Object],[object Object]

El mundo de la metafísica y la teología ¿Hay una religiosidad objetiva? ,[object Object],[object Object]

Dos mundos complementarios ,[object Object],[object Object]

Carta de JUAN PABLO II al P. George V. Coyne, S.J. Director del Observatorio Vaticano (1988) ,[object Object],[object Object]

3. Separación, encuentro e integración entre las ciencias formales y la metafísica ,[object Object],[object Object],[object Object],[object Object]

Encuentro entre metafísica y ciencias formales ,[object Object],[object Object]

Encuentro entre metafísica y ciencias formales ,[object Object],[object Object],[object Object]

Integración ,[object Object],[object Object],[object Object]

Integración (experiencia y lenguaje) ,[object Object],[object Object],[object Object],[object Object]

CIENCIAS FORMALES,INTELIGENCIA ARTIFICIAL Y RELIGIÓN

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

En vedette

En vedette (16)

Similaire à CIENCIAS FORMALES,INTELIGENCIA ARTIFICIAL Y RELIGIÓN

Similaire à CIENCIAS FORMALES,INTELIGENCIA ARTIFICIAL Y RELIGIÓN (20)

Dernier

Dernier (20)

CIENCIAS FORMALES,INTELIGENCIA ARTIFICIAL Y RELIGIÓN