Filosofía Sin duda alguna, la aportación más importante de Gödel en términos de consecuencias filosóficas al campo de la lógica y la matemática son sus dos teoremas de incompletitud. Tales teoremas fueron formulados en un artículo de 1931 titulado «Sobre proposiciones formalmente indecidibles en los Principia Mathematica y sistemas afines». El primero de los teoremas dice […]
Si buscamos la palabra «verdad» en el diccionario de la RAE, la primera definición con la que nos topamos es la siguiente: «Conformidad de las cosas con el concepto que de ellas forma la mente». Si tenemos en cuenta que los diccionarios son un registro de los significados que los hablantes de una lengua les […]
La lógica se desarrolló de forma extraordinaria, al igual que la filosofía en general, entre los siglos XII y XIV. A partir de la segunda mitad del siglo XII, la lógica alcanzó unos niveles de complejidad y finura desconocidos hasta entonces. Las nuevas traducciones del Órganon de Aristóteles que comenzaron a penetrar en el mundo […]
Una de las paradojas más famosas y excitante que se conocen es la llamada paradoja de la omnipotencia, la cual tiene evidentes tintes teológicos. Esta la podemos formular a partir de dos premisas bíblicas, pues aunque en muchas ocasiones se ha tratado separándola de su carácter bíblico, lo cierto es que es allí donde tiene […]
No es la primera vez que hablamos aquí de la fórmula de Barcan, pero nunca le habíamos dedicado un artículo completo. Esta fue introducida por Ruth Barcan Marcus, pionera de la lógica modal, en la segunda mitad de los años 40, y se trataba de un axioma que permitía incluir cuantificadores en la lógica modal. […]