El conjunto vaco

Existe adems, un nico conjunto que no tiene elementos al que se le llama conjunto vaco y que se denota por . Es decir

el conjunto vaco es el nico conjunto que no contiene elementos.

La caracterstica importante de este conjunto es que satisface todos los elementos posibles que no estn contenidos en l, es decir .

El conjunto vaco, a pesar de contener nada, sigue siendo algo en s mismo: un conjunto. Esta distincin es importante si situamos a los conjuntos en un contexto. Por ejemplo, si imaginamos a los conjuntos como bolsas, capaces de contener distintos elementos, el conjunto vaco sera aquella bolsa sin elementos dentro; pero aun as seguira siendo una bolsa. Es por esto que el conjunto potencia siempre contiene al conjunto vaco. Todo conjunto es subconjunto de s mismo, por lo tanto, el conjunto vaco es vaco en el sentido de su cardinalidad (que es igual a 0) y no en el sentido de su identidad. El cardinal indica el nmero o cantidad de elementos de un conjunto. El concepto de nmero cardinal fue inventado por Georg Cantor, en 1874. Primero estableci el concepto de cardinalidad como una herramienta para comparar conjuntos finitos. Por ejemplo, los conjuntos {1,2,3} y {2,3,4} no son iguales pero tienen la misma cardinalidad, llamada tres.

El principio de identidad es una ley lgica que, junto al principio de no contradiccin y al principio del tercero excluido, constituye las bases de la lgica aristotlica clsica. Definicin: Toda proposicin es idntica a s misma y slo a s misma. El principio de identidad indica que A = A. Cabe notar que toda reflexin supone el principio de identidad, que es una tautologa.

Hegel, sin embargo, en su filosofa general y especialmente en Ciencia de la lgica someti al principio de identidad a una crtica radical. El quid de su punto es que hay un pasaje desde la primera A a la segunda en la proposicin A = A. La identidad no es evidente en s, es afirmada. La segunda A est afuera de la primera. La identidad contiene dentro de s diferencia. Wittgenstein tambin coment respecto al axioma de identidad que A~A: A implica a no-A. Ms bien, para todo A debe haber tambin algo que no es A.