Professional Documents
Culture Documents
0. Justificacin:
I. Aclaracin previa de algunos conceptos importantes del texto
II. La relacin entre la matemtica, la lgica y la teora de conjuntos
III. Antecedentes de la axiomatizacin de la teora de conjuntos
IV. La primera axiomatizacin de la teora de conjuntos: Zermelo
V. Cmo los axiomas vistos articulan el universo conjuntista que descubrimos en Cantor
VI. Conclusin
0. Justificacin:
En el este trabajo trato la axiomatizacin de la teora de conjuntos de Zermelo como articulacin de
la concepcin iterativa (continua) de los conjuntos infinitos de Cantor, postura defendida por
autores como I. Jan, en oposicin a quienes la consideran surgida con la finalidad de solucionar las
paradojas de la teora fregeana de conjuntos.
- Conjunto: Coleccin de objetos bien definidos que la mente puede concebir en s misma como un
objeto. Al referirnos a conjuntos en la teoria de conjuntos no nos referiremos a los conjuntos finitos,
ya que la esencia de la teora de conjuntos es el estudio de los conjuntos infinitos, la cual puede
definirse como la teora matemtica del infinito actual (no potencial).
- Infinito1: Su sentido en el lenguaje coloquial intuitivo (algo muy muy grande) se parece muy poco
a la idea matemtica de infinito como unidad total. Siendo una nocin ya formulada por
Aristteles, hoy da se sigue concibiendo de las dos maneras que acu, el potencial y el actual:
El infinito actual se refiere al un infinito existente como una idea que la inteligencia puede captar
como un todo o unidad. Por ejemplo al pensar en la serie de los nmeros naturales no necesitamos
prueba fsica de que es posible seguir aadiendo un nmero ms para concebir tal idea.
Por otro lado, la nocin de infinito potencial se centra en la operacin reiterativa e ilimitada,
quienes la defienden sostienen que lo que hoy nos parece infinito, por ejemplo el nmero pi, algn
da lo consideraremos finito, cuando encontremos su final.
Gonzalez Alvarez, J. (2011), La Fisica Y La Filosofia En La Alborada Del Siglo XXI (ver en Bibliografa)
Lo infinito y lo finito.
Equipolencia: Bolzano di prueba de infinito partiendo de la afirmacin P: "Existe al menos una afirmacin verdadera". Esto es verdad dado
que cualquier afirmacin Q, (bien Q o bien su negacin) ser verdadera; por lo tanto es verdad que existe alguna afirmacin verdadera:
P; P es verdadera.; "P es verdadera" es verdadera.; ""P es verdadera" es verdadera" es verdadera. etc. Hasta llegar a la conclusin de que el conjunto de todas las
Aunque ello contradeca el principio clsico euclidiano de que el todo es mayor que sus partes.
Biyeccin: Dedekind trat de definir el nmero bajo la teora de conjuntos con un argumento que paradjicamente ligaba lo continuo y lo
discreto: la biyeccin (poner en correspondencia uno a uno) de elementos de dos conjuntos. Lo hizo determinando el conjunto R de los nmeros
reales a partir de los racionales. Caracteriz los nmeros reales como un cuerpo ordenado y completo en la recta real R y estableci que a cada
corte en R le correspondiera un elemento en R).
Cantidad de elementos.
Para establecer un orden, agotados los nmeros naturales en numerar a los racionales, hace falta un ndice nuevo y ah es cuando Cantor
introduce los nmeros transfinitos.
equinumrico sera una funcin que se da no entre elementos y conjuntos, sino entre conjuntos entre
s.
5) Axioma del conjunto potencia (conjunto de las partes): dado cualquier conjunto, la unin de
todos sus subconjuntos posibles es tambin un conjunto.
7) Axioma de infinitud: afirma la existencia de un conjunto infinito (actual).
6) Axioma de eleccin: Este axioma afirma que para cada familia de conjuntos no vacos, existe
otro conjunto que contiene un elemento de cada uno de aquellos. Este procedimiento puede realizarse
siempre que dicha familia sea finita o cuando existe una regla bien determinada para elegir un nico elemento de cada
uno de sus conjuntos. Sin embargo, el axioma es indispensable en el caso ms general de una familia infinita arbitraria
V. Cmo los axiomas vistos articulan el universo conjuntista que descubrimos en Cantor:
Dejando a parte el 6 axioma, que pese a tener que ver con la ordenacin de los conjuntos infinitos
de Cantor, no me es necesario, solo quiero hacer posible su concepcin iterativa, no ordenarla -tiene
que ver con la hiptesis del Continuo de Cantor. );
Por ejemplo la propiedad de tener motor no se da en el conjunto de los mamferos, por tanto el subconjunto con tal propiedad estara vaco.
Pero para poder separar el conjunto vaco de un conjunto se nos ha de garantizar que hay al menos
un conjunto ya, esto lo hace Zermelo con su 7 axioma, el de infinitud. A partir de estos 2 axiomas
(el 2 y el 7) ya podemos crear al menos el conjunto vaco.
Ahora que ya tenemos un conjunto en que podemos establecer la existencia del conjunto vaco,
usaremos el 3 axioma (el del par no ordenado: siempre que tenemos un conjunto, el conjunto
vaco por ejemplo, tendremos un conjunto que lo posee). Ahora ya tenemos la garanta de poder
formar conjuntos cada vez ms inclusivos y siempre abiertos a contener infinitos conjuntos en su
interior. Solo nos falta la posibilidad de combinar entre s tales conjuntos y subconjuntos.
Para ello necesitamos el 4 axioma (de la gran unin) permite la unin de TODOS los elementos
(en este caso subconjuntos) de un conjunto, es decir, antes de combinarlos entre s necesitamos
poder tenerlos todos en la misma habitacin. Tal unin de conjuntos es un conjunto que contiene
infinitos conjuntos. Esto junto a las infinitas combinaciones en que pueden unirse a su vez entre s
gracias al conjunto potencia (5 axioma: dado cualquier conjunto la unin de todos sus
subconjuntos posibles es tambin un conjunto); nos permite la generacin infinita de conjuntos.
Adems, una vez tengamos ese conjunto infinito tras aplicar los 6 axiomas, podremos volver a
aplicar el 2 para generar otro conjunto! Esta infinita inclusin y generacin de conjuntos junto a la
posibilidad de unir sus infinitas combinaciones y convertirlas en conjuntos a su vez, en conclusin:
esta infinita apertura garantiza la concepcin iterativa de formacin de conjuntos que subyace a los
infinitos cantorianos. Pues lo que haca la diagonal de Cantor era mostrarnos que es posible la
generacin de ordinales sin lmite concebible.
VI. Conclusin:
Tal como he tratado de mostrar en el apartado anterior, los axiomas de la teora de conjuntos de
Zermelo constituyen la primera articulacin de la concepcin iterativa de los conjuntos implcita en
las intuiciones de Cantor sobre el infinito. Lo que hacen estos axiomas es garantizar mediante
reglas la apertura ilimitada de los conjuntos infinitos (en Cantor, la generacin sin lmite de
ordinales).
Hay quien considera la axiomatizacin hecha por Zermelo una respuesta a las paradojas en que caa
la teora de conjuntos ingenua de Frege. A esto responden autores como Ignacio Jan 12 que, aunque
gracias a su rechazo del principio comprensin fregeano Zermelo nos salve de caer en muchas de
esas paradojas, su principal motivacin fue sistematizar ese infinito actual que defenda Cantor.
12
10
BIBLIOGRAFA:
Jan, I., (2004), De qu trata la teora de conjuntos?, en Enciclopedia Iberoamericana de Filosofa, Madrid, ed.
Trotta (2004), vol.27: Filosofa de la Lgica, pp. 247-275.
Lazzer, Sandra (2005), Consideraciones en torno a la naturaleza conjuntista de la semntica de la Teora de
Conjuntos, Anlisis Filosfico vol.25 (2):121-138.
Suppes, Patrick, Axiomatic Set Theory (Dover Books on Mathematics,1972).
Gonzalez Alvarez, J. (2011), La Fisica Y La Filosofia En La Alborada Del Siglo XXI [en lnea],
https://books.google.es/books?id=FvoxAwAAQBAJ&lpg=PA2&ots=dF79er8Y3o&dq=La%20Fisica%20Y%20La
%20Filosofia%20En%20La%20Alborada%20Del%20Siglo%20XXI%2C%20(2011)%2C%20Joaquin%20Gonzalez
%20Alvarez&hl=es&pg=PP1#v=onepage&q=La%20Fisica%20Y%20La%20Filosofia%20En%20La%20Alborada
%20Del%20Siglo%20XXI,%20(2011),%20Joaquin%20Gonzalez%20Alvarez&f=false , (consultado el 8 de mayo
2016)
Ferreirs, Jos, "The Early Development of Set Theory", The Stanford Encyclopedia of Philosophy (Winter 2012
Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/win2012/entries/settheory-early/>.
(consultado 20/04/2016)
Morscher, Edgar, "Bernard Bolzano", The Stanford Encyclopedia of Philosophy (Fall 2014 Edition), Edward N.
Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2014/entries/bolzano/>. (consultado 23/04/2016)
Irvine, Andrew David and Deutsch, Harry, "Russell's Paradox", The Stanford Encyclopedia of Philosophy (Winter
2014 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/win2014/entries/russell-paradox/>.
(consultado 23/04/2016)
Reck, Erich, "Dedekind's Contributions to the Foundations of Mathematics", The Stanford Encyclopedia of
Philosophy
(Summer
2016
Edition),
Edward
N.
Zalta
(ed.),
forthcoming
URL
=
<http://plato.stanford.edu/archives/sum2016/entries/dedekind-foundations/>. (consultado 25/04/2016)
Hallett, Michael, "Zermelo's Axiomatization of Set Theory", The Stanford Encyclopedia of Philosophy (Fall 2013
Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2013/entries/zermelo-set-theory/>.
(consultado 25/04/2016)
Bagaria, Joan, "Set Theory", The Stanford Encyclopedia of Philosophy (Winter 2014 Edition), Edward N. Zalta (ed.),
URL = <http://plato.stanford.edu/archives/win2014/entries/set-theory/>. (consultado 20/04/2016)
11
Brown, Robert G. (2007): Set Theory and the Laws of Thought [online].
https://www.phy.duke.edu/~rgb/Philosophy/axioms/axioms/node17.html (consulta 03/05/2016)
12