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