Nada

La nada se define como ausencia e inexistencia de cualquier objeto.1​ Según el contexto, existen varios conceptos de nada. La necesidad de este concepto es un escollo para el realismo ingenuo y el empirismo, porque, a ese respecto, en la realidad no existe equivalente. En el sentido común la palabra «nada» se usa para referirse a la ausencia de objetos determinados en un lugar y tiempo concretos.

La nada en ontología

Diversos filósofos y teólogos han estudiado el concepto de nada (no confundir con inexistencia). El concepto de nada varía ampliamente entre las diversas tradiciones filosóficas y culturas, especialmente la occidental y la oriental. Así, en el budismo, el Shunyata es el estado vacío de la mente.

La raíz etimológica de «nada», res nata, es contradictoria del significado actual, pues significa cosa nacida. Quizás este —para muchos—[cita requerida] insospechado y contundente hecho justifique las tal vez permanentes e irreconciliables concepciones antagónicas, y la reificación no incurra ya en falacia.

En contraste, en la filosofía griega la idea de la nada surgió con los problemas de la negación del ser, de la conservación del ser y de la imposibilidad de afirmar la nada. En particular, Parménides creyó que del «no ser» (la nada) no se puede hablar. Epicuro y Lucrecio aseveraron que la materia no se puede crear de la nada, ni destruir a nada, postulados posteriormente negados por el pensamiento cristiano. En el siglo XX el empirismo lógico sostuvo que todo ocupándose de la nada es un contrasentido, un mal uso sintáctico del lenguaje. De este modo se descalificó toda especulación acerca del problema.2​

En las teorías de la asociación y de la asamblea de Mario Bunge se formalizan el concepto ontológico de nada como individuo nulo, que se designa mediante el símbolo {\displaystyle \Box }{\displaystyle \Box }.3​ En la teoría de la asociación, el individuo nulo es el elemento neutro del conjunto {\displaystyle ~S}{\displaystyle ~S} de individuos sustanciales con la operación binaria {\displaystyle ~\circ }{\displaystyle ~\circ } de asociación.

Por definición, al ser el elemento neutro de un monoide conmutativo,

{\displaystyle ~x\circ \Box =\Box \circ x=x}{\displaystyle ~x\circ \Box =\Box \circ x=x}, donde {\displaystyle ~x\in S}{\displaystyle ~x\in S}.

En la teoría de la asamblea, el individuo nulo es el elemento neutro aditivo del conjunto {\displaystyle ~S}{\displaystyle ~S} de individuos sustanciales con dos operaciones binarias, una {\displaystyle ~{\dot {+}}}{\displaystyle ~{\dot {+}}} de yuxtaposición y otra {\displaystyle ~{\dot {\times }}}{\displaystyle ~{\dot {\times }}} de superposición, y una operación unaria {\displaystyle ~'}{\displaystyle ~'} de elemento inverso. Por definición, al ser el elemento neutro aditivo de un álgebra de Boole,

{\displaystyle ~x{\dot {+}}\Box =x,x{\dot {\times }}\Box =\Box }{\displaystyle ~x{\dot {+}}\Box =x,x{\dot {\times }}\Box =\Box } y {\displaystyle ~x{\dot {\times }}x'=\Box }{\displaystyle ~x{\dot {\times }}x'=\Box }, donde {\displaystyle ~x\in S}{\displaystyle ~x\in S}.En la teoría de la asamblea, el individuo nulo es el elemento neutro aditivo del conjunto {\displaystyle ~S}{\displaystyle ~S} de individuos sustanciales con dos operaciones binarias, una {\displaystyle ~{\dot {+}}}{\displaystyle ~{\dot {+}}} de yuxtaposición y otra {\displaystyle ~{\dot {\times }}}{\displaystyle ~{\dot {\times }}} de superposición, y una operación unaria {\displaystyle ~'}{\displaystyle ~'} de elemento inverso. Por definición, al ser el elemento neutro aditivo de un álgebra de Boole,

{\displaystyle ~x{\dot {+}}\Box =x,x{\dot {\times }}\Box =\Box }{\displaystyle ~x{\dot {+}}\Box =x,x{\dot {\times }}\Box =\Box } y {\displaystyle ~x{\dot {\times }}x'=\Box }{\displaystyle ~x{\dot {\times }}x'=\Box }, donde {\displaystyle ~x\in S}{\displaystyle ~x\in S}.

En ambas teorías el concepto de individuo nulo permite formular con precisión varios teoremas de conservación. Por ejemplo:

Ningún individuo sustancial se asocia destructivamente con otro. Si {\displaystyle ~x\neq \Box }{\displaystyle ~x\neq \Box }, entonces no existe {\displaystyle ~y\in

...