Filosofía

Artículos en "Lógica"

Categ

Kurt Gödel III: los teoremas de incompletitud

Publicado por Esteban Galisteo Gámez

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 […]

Continuar leyendo

Teoría de la verdad como correspondencia

Publicado por Esteban Galisteo Gámez

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 […]

Continuar leyendo

Historia de la lógica VII: la Baja Edad Media

Publicado por Esteban Galisteo Gámez

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 […]

Continuar leyendo

La paradoja de la omnipotencia

Publicado por Esteban Galisteo Gámez

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 […]

Continuar leyendo

La fórmula de Barcan

Publicado por Esteban Galisteo Gámez

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. […]

Continuar leyendo