Pues amplíalo, héctor.

------------------------------------------------------------------------

Yo por otro lado quiero una representación de conjuntos que resuelva lo que podría llamar "la gran paradoja", porque es una de las que más cosas abarca, sino la más.

En tu diagrama la realidad es todo: Lo existente y lo no inexistente, no hay lugar para otra cosa. ¿No? Tal vez no son las cosas inexistentes sino el estado de cosas inexistentes, pero bah, esos estados son cosas.

Bueno, está el conjunto del todo o de la realidad, entonces, el cual implica todo.

Y si dicho conjunto implica todo, el conjunto de lo lógico está dentro suyo, y el de lo ilógico también.

Pero se supone que dicho conjunto es lógico, por lo tanto estaría dentro de un conjunto lógico.

Pero eso es un problema porque el conjunto está dentro, no puede estar dentro y fuera.

¿Cómo sería la representación de esto, o cómo se resuelve?

Posiblemente, como quizá dijo héctor, hay cosas que escapan a la lógica, es decir, que no son lógicas ni ilógicas. Pero claro, no es una solución que me guste.