[escepticos] Sobre el criterio de existencia

[Pepe Arlandis]

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

>
> > Veamos en la demostración utilizo:
> > Defines un Universo U dentro del cual puedo definir el conjunto de todas
> las
> > ideas; dicho conjunto es un conjunto impropio, luego en tu Universo U
> > existen conjuntos impropios, análogamente defino qué son conjuntos
> propios
> > como por ejemplo el conjunto de participantes en esta lista, que no es un
> > participante en la lista, tu universo U permite definir el conjunto de
> los
> > conjuntos propios como elemento de U y por pertenecer dicho conjunto a U
> > llegamos a una contradicción. Conclusión por el principio de no
> > contradicción U no es admisible en Matemáticas. El que sea la clase de
> todas
> > las ideas una idea solamente es un ejemplo para que se entiendan los
> > conceptos, pero es irrelevante en el razonamiento. Si hubiera evitado
> todo
> > lo anterior y hubiera empezado (olvidandome de las ideas y conjuntos de
> > ideas) por: "un conjunto es propio si no es elemento de si mismo" y a
> partir
> > de ahí como el conjunto de todos los conjunts propios es un ente real o
> > imaginario el resto de la demostración es válida.
>
>
> Joder, que no, que tu razonamiento no tiene nada que ver con el que
> planteo. No, un conjunto no es un ente, ni real ni imaginario.

Primero si un conjunto no es un ente, necesito la explicación del motio por
el que un objeto matemático no es un ente.
Segundo. Los detalles sobre si son entes o seres es irrelevante frente a lo
que te expongo. Te basas en un conjunto U que no existe. No existe el
conjunto de todos los entes imaginarios y reales porque su existencia
implica contradicción por lo tanto toda demostración basada en dicho
conjunto deja de ser válida, al margen de que un conjunto sea un ente o un
reptil vestido de lagarterana.
saludos pepet