Este proyecto, presentado por los profesores de Epistemología, Contemporánea y Lógica II, aspira a atraer a alumnos de diferentes años en áreas que van desde la traducción de artículos y libros, a ayudantías para los profesores que encabezan el proyecto. La semana que viene, más novedades.
TITULO
Lógica, ontología y cálculo. Un análisis del desarrollo histórico del concepto ciencia formal y de sus consecuencias para la lógica y la ontología.
CATEDRAS PARTICIPANTES
Epistemología
Filosofía Contemporánea
Lógica II
INVESTIGADORES PARTICIPANTES.
Prof. Dr. Christián Carman (Epistemología); Prof. Dr. Oscar M. Esquisabel (Epistemología); Prof. Dr. Javier Legris (Lógica II); Prof. Dr. Luis Román Rabanaque (Filosofía Contemporánea).
El presente proyecto se propone realizar una investigación del desarrollo del concepto general de ciencia formal con el objeto de establecer sus posibles relaciones con el desarrollo de la lógica como disciplina formal. Del mismo modo, se intentará mostrar que la concepción de una ciencia formal da lugar a consideraciones de carácter ontológico cuya sistematización ha dado origen a proyectos de “ontologías formales”, entendidas como un conjunto de principios y categorías estructurales. Así, se intenta mostrar la pertinencia de las consideraciones ontológicas (entendidas en un sentido muy amplio) para una mejor comprensión del concepto de “lo formal”. Al mismo tiempo, puesto que las ciencias formales y, en particular, la lógica formal, ha experimentado un considerable desarrollo a partir de la adopción de sistemas simbólicos (“cálculos” en un sentido muy general) cuya función consiste en expresar o “representar” las estructuras formales, el proyecto abordará el análisis desarrollo de la idea de cálculo formal en su conexión con la evolución del concepto de ciencia formal. El proyecto examinará la problemática propuesta a partir de tres líneas de desarrollo que poseen una fundamental importancia histórica y sistemática y que se encuentran históricamente interconectadas entre sí: el proyecto leibniziano de una ciencia de las formas, en conexión con su Characteristica Universalis, el desarrollo de la lógica durante el siglo XIX y el proyecto husserliano de una lógica pura y de una ontología formal. Se tendrán en cuenta también otras aportaciones históricas que muestran la importancia de la matemática en la investigación de los aspectos formales de la realidad.
