Filosofía

Artículos en "Lógica"

Categ

Un juego de lógica para niños de Singapur

Publicado por Esteban Galisteo Gámez

El pasado martes en el programa de Andreu Buenafuente, en La Sexta, una cadena española, Bob Pop, uno de los colaboradores del programa planteó un acertijo lógico sumamente interesante. Se trataba de un problema de lógica destinado a alumnos de Singapur con una edad de entre 10 y 12 años. Lo cierto que el problema, […]

Continuar leyendo

Historia de la lógica VI: el redescubrimiento de la paradoja del mentiroso en el siglo XII

Publicado por Esteban Galisteo Gámez

Cuánto tiempo hace que no dedicábamos alguna entrada a nuestra fascinante historia de la lógica. Entendemos que nuestros lectores más fieles hayan desarrollado un odio hacia nosotros y que el deseo de ver nuestras cabezas clavadas en una pica tiene un ardor especial en sus mentes. Pero esto es lógica y el odio (y el […]

Continuar leyendo

Kurt Gödel II: el teorema de completitud de la lógica de primer orden

Publicado por Esteban Galisteo Gámez

La obra y las aportaciones de Kurt Gödel destacan por el hecho de haber supuesto hitos sin precedentes en los campos de la lógica y la matemática, además de ser ricos en consecuencias filosóficas. No obstante, como veremos en posteriores artículos, Gödel también escribió obras estrictamente filosóficas. En cualquier caso, comenzaremos aquí con una de […]

Continuar leyendo

Gottlob Frege II: análisis lógico en términos de argumento y función

Publicado por Esteban Galisteo Gámez

En 1874 Gottlob Frege consiguió una plaza de Privatdozent en la Universidad de Jena. Ese mismo año comenzaría a trabajar en una de sus obras más fundamentales: la Conceptografía (en alemán, Begriffsschrift). En esta obra Frege sembró los fundamentos de la lógica actual, suponiendo la mayor transformación que esta ciencia ha experimentado desde la época […]

Continuar leyendo

Wittgenstein VII: simbolismo y forma lógica

Publicado por Esteban Galisteo Gámez

Una de las principales motivaciones del Tractatus era construir un simbolismo lógico que reflejara la forma lógica de las proposiciones con total claridad. Es por esto que, para Wittgenstein, ningún elemento de nuestro sistema de símbolos ha de ser arbitrario. El problema de la pluralidad de conectivas Los sistemas lógicos presentados por Frege y Russell […]

Continuar leyendo