I Simposio de Filosofía e Historia de las Ciencias Formales del Litoral

Los días 5 y 6 de septiembre de 2019 en la Facultad de Humanidades y Ciencias, se llevará a cabo el I Simposio de Filosofía e Historia de las Ciencias Formales del Litoral.

El objetivo de este Simposio es propiciar un espacio de discusión y reflexión regional y de carácter interdisciplinario en el ámbito de la filosofía y la historia de las ciencias formales, que incluya la participación de investigadores, docentes y estudiantes avanzados de filosofía, matemática, ciencias de la computación y disciplinas afines.

En la presente edición se presentarán trabajos sobre historia de la lógica medieval, filosofía de la lógica contemporánea, filosofía e historia de la geometría, historia y filosofía de la matemática, así como problemas sistemáticos en la lógica matemática contemporánea. Más aún, un objetivo específico de este Simposio será reflexionar y promover una discusión acerca de la naturaleza y la función de las representaciones visuales y los diagramas en las ciencias formales. En particular, se examinarán las relaciones, tanto históricas como sistemáticas, entre diversas perspectivas filosóficas sobre el razonamiento diagramático y la elucidación conceptual de la noción de "prueba" en lógica y matemática.

El presente evento es una actividad organizada por los proyectos de investigación "Resultados de imposibilidad en geometría: perspectivas históricas y sistemáticas" (PICT 2017-0443) y "Perspectivas contemporáneas sobre el realismo en epistemología, gnoseología y filosofía de la matemática" (CAI+D-UNL). Asimismo, cuenta con el auspicio del Departamento de Filosofía de la FHUC/UNL y el Instituto de Humanidades y Ciencias Sociales del Litoral (IHUCSO LITORAL UNL-CONICET).

Programa

Jueves 5 de Septiembre

• Hora 10:00: Manuela BUSANICHE (UNL/IMAL-CONICET, Argentina)
  "Lógicas subestructurales y sus semnánticas algebraicas".
• Hora 11:15: Luis URTUBEY (UNC, Argentina).
  "Lógica modal y cuantificación. Una reflexión filosófica en torno al estatus, el significado o la interpretación de las fórmulas Barcan".
• Hora 13: Almuerzo
• Hora 15:00: Manuel DAHLQUIST (UNL, Argentina)
  "Tiempo y consencuencia en la lógica del siglo XIV".
• Hora 16:30: Javier LEGRIS (UBA/CONICET, Argentina).
  "Identidad y Cuantificación en los Gráficos Existenciales de Charles S. Pierce".

Viernes 6 de Septiembre

• Hora 9:00: Oscar ESQUISABEL (UNLP/CONICET, Argentina) y Federico RAFFO QUINTANA (UNQ-CONICET, Argentina).
  "Infinitesimales e infinitos: entre matemáticas y metafísica".
• Hora 10:00: Frank Thomas SAUTTER (Universidade Federal de Santa María/CNPq- Brasil).
  "¿Qué es una línea recta?".
• Hora 11:30: Valera VALIÑO (UBA, Argentina).
  "La concepción fregeana de la geometría".
• Hora 13:00: Almuerzo
• Hora 15:00: Eduardo N. Giovannini (IHUCSO UNL-CONICET, Argentina).
  "¿Qué son las definiciones implícitas?".
• Hora 16:30: Gisele DALVA SECCO (Universidad Federal de Santa María, Brasil).
  "El Teorema de Cuatro Colores revisited: notas sobre la interacción entre diagramas y programas".

INSCRIPCIONES