Acceso usuarios
Gabriel Nicolás Cruz
Este artículo busca resaltar la distancia entre el pensamiento de Gödel y el proyecto del Círculo de Viena. La idea es mostrar que los teoremas del joven Gödel responden a problemas que no pueden siquiera ser planteados dentro del marco epistemológico de dicho proyecto. Comenzamos explicando el proyecto formalista en que se insertan los dos grandes teoremas del joven Gödel. Seguidamente, revisamos el concepto de verdad lógica que aparece en los Principia Mathematica de Whitehead y Russell, para mostrar la distancia entre el proyecto de estos y el del formalismo que guía a Gödel. Posteriormente, revisamos las ideas principales del Círculo de Viena y su articulación en el Aufbau de Carnap, con la finalidad de mostrar que estas se apoyan en presupuestos epistemológicos heredados de Russell hasta tal punto que queda en evidencia lo poco que tienen que ver el proyecto del Círculo de Viena y el trabajo del joven Gödel.
The aim of this article is to emphasize the distance between Gödel’s though and the project of the Vienna Circle. The idea is to show that the theorems of young Gödel are answers to questions that cannot be asked within the epistemological framework of such project. I begin by explaining the formalist project in which Gödel’s big theorems are embedded. Secondly, I revisit the concept of logical truth that is introduced in the Principia Mathematica of Whitehead & Russell, to show the distance between their project and formalism. Thirdly, I revisit the main ideas of the Vienna Circle and how these are articulated in Carnap’s Aufbau. Building upon the previous points, I finish by arguing that the Vienna Circle’s project relies on epistemic presuppositions inherited from Russell to the point that it becomes evident how little it has to do with the work that young Gödel conducts towards his two big theorems.
