Vindicating the Frege Project. The Priority of the Propositions and the Expressive Character of Logic [Reivindicando el proyecto de Frege. La prioridad de las proposiciones y el carácter expresivo de la lógica]

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