|
|
|
|
|
UNIVERSIDAD NACIONAL AUTÓNOMA DE
MÉXICO
Coordinación de Humanidades
Instituto de
Investigaciones Filosóficas
Diplomado en Lógica
Academia Mexicana de
Lógica
CONFERENCIA
LA LOGICA EN EL SIGLO XX1:
Un reto para la filosofía, la lingüística y la computación[1]
Prof. Dr. Johan van Benthem
Institute for Logic, Language and
Computation. Universidad de Amsterdam.
Center for the Study of Logic and Information. Universidad de Stanford.
Viernes
7 de mayo del 2004, 18:00 a 20:00 horas
Auditorio
de la Coordinación de Humanidades,
costado norte del Museo de
las Ciencias UNIVERSUM,
a un lado del Centro
Cultural Universitario.
Sede Remota: Casa de las
Humanidades, Presidente Carranza 162, Coyoacán, DF
INFORMES
Reina García (55) 5622 7430 de 10:00 a 16:30 horas
Dra. Atocha Aliseda atocha@servidor.unam.mx
Dr. Axel Barceló abarcelo@filosoficas.unam.mx/
RESUMEN
Inicialmente, la Lógica en el Siglo XX floreció gracias a
su papel crucial
en los fundamentos de las matemáticas, de donde surgió
el célebre trabajo
de Goedel, Turing y otros lógicos. Pero los contactos
tradicionales con la
filosofía también se mantuvieron fuertes - y con el
tiempo surgieron
nuevas relaciones con la lingüística y las ciencias de la
computación,
especialmente. En esta plática mostraremos, de una manera
ligera y a base
de ejemplos, como la lógica moderna no trata sólo de
inferencias y pruebas
de teoremas, es decir, de procesos solitarios de un
agente, sino también
acerca de actividades sociales entre muchos agentes que
involucran flujo
de información, tales como la comunicación, la
argumentación y los juegos
en general. El programa de investigación resultante
combina ideas de
muchas áreas, tanto en las humanidades como las ciencias.
También presenta
nuevos retos al análisis y diseño del comportamiento
cognitivo humano real.
Referencias
J.
van Benthem, 2004, 'A Mini-Guide to Logic in Action', Tech Report PP-2004-02,
ILLC Amsterdam.
A
aparecer en "Studies in the Dialectics of Nature", Beijing.
Mayor informacion en www.illc.uva.nl y www.folli.org