[escepticos] Sobre el criterio de existencia

[Pepe Arlandis]

El 9 de octubre de 2008 2:17, Eloy Anguiano Rey
<eloy.anguiano en gmail.com>escribió:

>
> > Este universo U es algo así como "El conjunto de todos los conjuntos" de
> la
> > teoría intuitia de conjuntos, es un ejercicio de lógica elemental
> > trasladarle la paradoja de Russell con lo que  ... A TOMAR POR CULO EL
> RESTO
> > DE LA EXPOSICIÓN
>
> Para nada pepe, no es el conjunto de todos los conjuntos. No defino nada
> más que un conjunto y su negación. La paradoja de Russell no es ni mucho
> menos aplicable.


Pues entonces debes decirme el error del siguiente argumento:

Para lo que sigue detrás es necesario distinguir los conceptos de
pertenencia e inclusión que no son equivalentes en la teoría de conjuntos. 1
es un elemento del conjunto C={0,1,2,3,4,5,6,7,8,9,} pero 1 es distinto del
conjunto cuyo único elemento es 1 es decir 1 es distinto de {1} 1 pertenece
a C mientras que {1} es un subconjunto de C o {1} está incluido en C.

Tal como definiste U, el conjunto de todas las ideas es un elemento de dicho
conjunto,  y el conjunto de todas las ideas es una idea. Un conjunto propio
es un conjunto que no es elemento de sí mismo por ejemplo el abecedario
castellano es un conjunto que no se contiene a si mismo como elemento porque
un abecedadio no es una letra, y un conjunto impropio es un conjunto que es
elemento de si mismo, como puede ser el conjunto de todas las ideas.
Consideremos en U el conjunto P de todos los conjuntos propios de U ¿P es
propio o impropio?
Si P es propio, por definición de P, es elemento de si mismo, luego es
impropio, si P es impropio no es elemento de si mismo, luego por la
definición de P; P es un elemento propio. Ya tenemos una contradicción
deducida de la existencia de U, luego TODAS LAS PROPOSICIONES QUE PUEDAS
ENUNCIAR son verdaderas su U existe.
saludos pepet