Resumen de Paradojas semánticas y lógicas

Magdalena Pradilla Rueda

• español

  La teoría de conjuntos, planteada por Cantor, hacia 1890, se considera el soporte de la construcción matemática, de manera que la Aritmética pasa a ser un caso particular de la teoría de conjuntos, el de los conjuntos enumerables. Sin embargo, en su aplicación emergen paradojasa o contradicciones que se manifiestan en las superestructuras de la teoría lógica y matemática. Los lógicos matemáticos de ese momento reflexionan sobre esta noción, analizando y aportando soluciones al respecto, que marcan lineamientos para la consolidación de la semántica lógica y de la lógica, en general.

• English

  Set theory, put forward by Cantor is considered mathematical, by 1890 construction support, so that the arithmeticbecomes a special case of set theory, the enumerable sets. However, pursuant to its emerging paradoxes or contradictionsthat manifested in the superstructures of the logical and mathematical theory. The mathematical logic of this time reflectson this notion, analyzing and providing solutions that set guidelines for the consolidation of the logical semantics and thegeneral logic