Curso en Lenguaje, Lógica y Cálculo: De Boecio a la Hermenéutica
Objetivos del cursoSe analizarán las problemáticas conexiones entre la teoría de las formas lógicas, el lenguaje y el desarrollo del cálculo lógico a través de algunos hitos fundamentales del desarrollo de esta relación desde la formulación de las silogísticas por Aristóteles hasta algunos representantes de la filosofía actual pertenecientes tanto a la tradición hermenéutica como a la filosofía analítica y la filosofía de la lógica.
PrácticasNo
Curso dirigido aDoctorandos de las Facultades de la UCA y de otras universidades. Graduados universitarios con título de Licenciado. Graduados con título de profesor. Graduados terciarios con título de profesor o equivalente.
TitulaciónCertificado de asistencia y aprobación
ContenidoTema: La recepción de la silogística aristotélica en Boecio. La recepción de Boecio en Abelardo. Lógica y cálculo en Raimundo Lull. El proyecto combinatorio del joven Leibniz.
Tema: Lógica, lenguaje y cálculo en Leibniz. La noción de conocimiento simbólico. El programa de la característica universal. La recepción del programa Leibniziano en el siglo XVIII.
Tema: Lógica, lenguaje y cálculo en la filosofía kantiana. Pensamiento simbólico y pensamiento intuitivo en Kant. Algebra y cálculo. La “construcción caractérica”. ¿Es posible una característica de los conceptos puros?
Tema: Lógica, lenguaje y cálculo en el desarrollo de la lógica contemporánea. Lógica como lenguaje universal y lógica como cálculo. El programa de Boole y sus antecedentes. La polémica entre Frege y Schroeder. Consecuencias de este desarrollo en la filosofía analítica y en la filosofía hermenéutica: lenguaje como cálculo y lenguaje como medio universal.