Search
Now showing items 1-7 of 7
Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
(Universidad Nacional de Córdoba, 1996-11)
La aparición del sistema de Deducción Natural a comienzos de la década del 1930 es un hecho en la historia de la lógica moderna que vale la pena destacar En efecto, la Deducción Natural trajo consigo una nueva concepción ...
La idea de lenguaje universal en el álgebra de la lógica de Ernst Schröder
(Universidad Nacional de Córdoba, 2003-08)
Los trabajos de Ernst Schröder (1841-1902) dedicados al álgebra de la lógica han sido considerados como la culminación y la sistematización de la labor de Boole, McColl, De Morgan y Peirce. Esto vale especialmente para sus ...
Carl Prantl y la "reforma de la lógica" en el siglo XIX
(Universidad Nacional de Córdoba, 2009-10)
A mediados del siglo XIX se discutió en la filosofía alemana la necesidad de una "reforma de la
lógica" frente al estancamiento que presentaba esta disciplina y en rechazo a la concepción
hegeliana. La reforma apuntaba ...
Reglas estructurales y análisis de la consecuencia lógica
(Universidad Nacional de Córdoba, 1999-07)
La semántica formal de valores de verdad para la lógica de primer orden, tal como fue fundada por Alfred Tarski, es considerada por muchos como la herramienta formal adecuada para reconstruir la verdad lógica y la relación ...
Reduccionismo y universalidad en los fundamentos de la matemática a finales del siglo XIX
(Universidad Nacional de Córdoba, 2005-09)
Existe la creencia de que las investigaciones acerca de los fundamentos de la matemática consisten en reducir todos los conceptos y principios de los matemáticos a aquellos que son tomados como "fundamentales". Esta creencia ...
Conocimiento simbólico e infinito matemático
(Universidad Nacional de Córdoba, 2002-10)
La naturaleza del infinito matemático fue tal vez el problema central en la fundamentación de la matemática a comienzos del siglo XX, y en el tratamiento de este problema el simbolismo tuvo una enorme importancia. El caso ...
El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
(Universidad Nacional de Córdoba, 1997-11)
En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el ...