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

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.