Reivindicando el proyecto de Frege. La prioridad de las proposiciones y el carácter expresivo de la lógica

Abstract

[ES] Frege es considerado el padre de la lógica y de la filosofía analítica contemporáneas. Sin embargo cada vez resulta más evidente que, bajo los paradigmas vigentes en la actualidad, se ha dilapidado parte del potencial del proyecto original de Frege en el paroxismo formalista en el que se han convertido la lógica contemporánea y la semántica formal. Por ello, se hace urgente re-examinar este proyecto en busca de iluminación acerca de lo que hacemos cuando hacemos lógica. El propósito del presente artículo es en particular estudiar el tratamiento que Frege dio a las constantes lógicas en el desarrollo de su ideografía como instrumento de representación de inferencias. Se espera obtener así un nuevo entendimiento de la contribución que Frege hizo al desarrollo de la lógica y de la semántica que rebasa los límites que marca la tradición Hilbert-Tarskiana. [EN] Frege is widely considered as the father of contemporary logic and analytical philosophy. Nevertheless, a closer look to Frege’s work makes clear that the formalist paroxysm which defines contemporary logic and formal semantics has overlooked substantial parts of Frege’s original project. For this reason, it becomes urgent to re-examine that project in search of illumination about what we are doing when doing logic. The purpose of this paper is to study in particular how Frege dealt with logical constants while developing his ideography as an instrument for the representation of inferences. We expect to obtain thus a new and better understanding of the contributions that Frege made to the development of logic and semantics that overcome the limits drawn by the Hilbert-Tarskian tradition.