Archivo de la categoría: Lógica matemática

Paradoja del barbero

Tras dos decenios de ardua faena del lógico-matemático alemán Gottlob Frege (1848-1925) en su conocido ´´programa logicista´´, consistente en deducir la matemática a partir de la lógica, y más aun, demostrar los teoremas usando solamente lógica, Frege sentía cómo se iba asentando la teoría … Seguir leyendo

Publicado en Lógica matemática, Teoría de Conjuntos | Etiquetado , | Deja un comentario

Lógica formal

Se entiende por lógica como el conocimiento humano a partir del cual se quiere llegar a deducir algún razonamiento. La lógica ya era estudiada filosóficamente por Aristóteles. El contexto de lógica trascendental había sido utilizada por Kant, por principios intuitivos a priori … Seguir leyendo

Publicado en Lógica matemática | Deja un comentario