2009

UNIVERSIDAD NACIONAL 1. Sartorio, A.

ÍNDICE
Conjuntos e Infinitos

MAYOR DE SAN MARCOS

[Universidad del Perú, DECANA DE AMÉRICA]
FACULTAD DE LETRAS
Y 6. Kleene, S. C.
CIENCIAS HUMANAS
ESCUELA ACADÉMICO PROFESIONAL DE FILOSOFÍA
FILOSOFÍA DE LAS CIENCIAS FORMALES
Materiales de Enseñanza
I. FILOSOFÍA DE LA MATEMÁTICA
II. FILOSOFÍA DE LA LÓGICA
Rafael Mora R.
1. Paradojas de Conjuntos: Conjuntos bien fundados y la noción
iterativa de conjuntos.
2. Los Conjuntos y la Filosofía de la Matemática
3. Conjuntos Infinitos e Infinito Actual
4. Distintos tipos de Infinito
5. ¿Es legítima la discusión sobre el infinito?
6. El problema de los enunciados indecidibles y sus consecuencias para
la filosofía de la matemática.
2. Northrop, E. Paradojas Matemáticas.
1. Paradojas del Infinito
2. Círculos Viciosos
3. Kline, M. Matemáticas: La pérdida de la Certidumbre
1. El desarrollo ilógico: A las puertas del paraíso
2. El paraíso prohibido: Una nueva crisis de la razón
3. Logicismo – Intuicionismo
4. Las escuelas Formalista y Conjuntista
4. Sthal, G. Al explorar lo infinito.
1. Del problema filosófico al problema matemático
2. Prejuicios sobre lo infinito
3. El cerebro frente a lo infinito
5. Haack, S. Filosofía de las lógicas.
1. Paradojas
Introducción a la metamatemática
1. Una crítica del razonamiento matemático
7. Earls, J. Introducción a la teoría de sistemas complejos
1. La criticalidad autoorganizada, fractales y la bolsa neoclásica.
8. Manzano, M. Lógica de orden superior
9. Priest, G. Una brevísima introducción a la lógica
1. Autorreferencialidad: ¿De qué trata este capítulo?
10. Kripke, S. Esbozo de una teoría de la verdad.
11. Mosterín, J. y R. Torretti. Diccionario de Lógica y Filosofía de la Ciencia.
12. Popper, K. Conjeturas y Refutaciones.
1. Autorreferencia y significado en el lenguaje común
13. Grelling, K. Teoría de los conjuntos.
1. Las antinomias de la teoría de los conjuntos
14. Borges, J. Discusión.
1. La perpetua carrera de Aquiles y la Tortuga
2. Avatares de la tortuga
15. Mosterín, J. Teoría Axiomática de Conjuntos (introducción)
16. Tarski, A. Verdad y Prueba.
17. Hilbert, D y W. Ackermann. Elementos de Lógica Teórica
 1. Las paradojas lógicas como una simple falta de perspectiva. De acuerdo a esta paradoja
18. Hofstadter, D. Gödel, Escher, Bach: un Eterno y Grácil Bucle. (Introducción)
¿Cómo es posible que la infinita sucesión de números naturales sea
Prólogo
infinita de la misma manera que la infinita sucesión de número
pares? Cantor solucionará el asunto con su concepto de
En el siglo XIX se comenzó a analizar el lenguaje matemático con el
correspondencia biunívoca. Esas totalidades inconsistentes
fin de enfrentar la dura crisis causada por el surgimiento de las
generarán gran polémica entre los matemáticos. Y el golpe de gracia
geometrías no euclidianas. La existencia de más de una geometría
lo terminó dando Russell al criticar el sistema de Frege y reinventar
sugería subrepticiamente debilidad por parte de los matemáticos
con él la paradoja de Cantor pero apelando a menos conceptos
quienes trataron de encontrar los fundamentos de su propia ciencia.
matemáticos y más conceptos puramente lógicos.
Tuvieron entonces que criticar varios de sus textos antiguos sobre
A partir de Russell las paradojas fueron más cotidianas.
materias formales. Muchas personalidades harán avanzar la ciencia
Surgirán varias personas que dejarán huella en la historia de esta
sobre la base de su forma de concebir tal concepto o función
ciencia con la invención de una contradicción novedosa o con la
determinada. Tenemos a Bolzano, Cauchy, D’Alambert, Weiertrass,
reinvención de las ya conocidas. Entre ellas tenemos a la paradoja de
Dedekind, Cantor, etc., por citar algunos nombres.
Grelling, la Tarjeta de Jourdain, versiones de Quine, Tarski y Kripke
Todo surgió a partir de la determinación de los matemáticos
de la paradoja del mentiroso, reformulaciones de la paradoja de
por fundamentar, primero, el algebra, el análisis y luego la
Russell: paradoja de los catálogos, alcaldes y barberos, etc.
aritmética. Muchos esfuerzos se harán tan solo para demostrar por
Este compendio buscar resumir de manera detallada y
qué razón es verdad que 2 + 2 =4. La motivación principal será la de
pormenorizada las motivaciones principales por las cuales los
hacerle frente al concepto matemático (y por ende filosófico) de
matemáticos y los lógicos revolucionaron sus respectivas ciencias.
infinito. ¿Cuánto es 1-1+1-1+1-1 … ? Esta sola pregunta generó
muchas observaciones por parte de los especialistas.
Rafael Mora R.
Pero la idea de fundamentar consistentemente la
Enero de 2009
matemática para evitar las contradicciones o las dobles verdades
arrastró consigo la necesaria fundamentación de la lógica. Desde
Aristóteles nadie se atrevía a cuestionar la teoría de los silogismos.
Fue Boole quien reformuló el lenguaje algebraico y le dio una nueva
interpretación, es decir, produjo un modelo para la lógica. Y Frege
terminará de construir un nuevo lenguaje lógico a través del análisis
del concepto de proposición, implicación, verdad y la crítica de los
principios lógicos como teoremas del sistema novedoso de logicista
alemán. Posteriormente, Cantor al desarrollar la teoría de conjuntos
producirá sin querer contradicciones en el seno mismo de la
matemática. Su crítica permitirá entender la paradoja de galileo