Lógica, vacío y sexuación: el problema del sentido

 El campo de la lógica suele ser considerado especialmente difícil, lo que encierra una paradoja: su especificidad no radica en la acumulación de sentido, sino en su drenaje. Esto abre una pregunta clave: ¿qué resulta más problemático, la falta de sentido o su exceso? Es en este punto donde Jacques Lacan propone una orientación hacia la simpleza, no como reducción, sino como efecto de depuración.

Con frecuencia se tiende a unificar los diversos abordajes lógicos que Lacan desarrolla a lo largo de su enseñanza, como si conformaran un campo homogéneo. Sin embargo, es fundamental subrayar que estos se sostienen en una diferencia estructural, ligada a un momento decisivo en la historia de la lógica: la irrupción de la modernidad y, particularmente, el giro introducido por Georg Cantor con la teoría de conjuntos.

Este movimiento moderno implica un vaciamiento que rompe con las bases ontológicas y sustancialistas del pensamiento medieval. Tal transformación no solo afecta a la lógica, sino también a las nociones de saber y verdad. Lacan se sirve de este vaciamiento para interrogar los límites de lo atributivo en la sexuación del sujeto.

Desde su punto de partida en Sigmund Freud, esta indagación se orienta hacia el impasse de lo femenino en el ser hablante. En este sentido, la diferencia sexual no se reduce a identidades ni a figuras imaginarias, sino que se plantea como un problema lógico, articulado en términos de valores.

Si distinguimos dos grandes momentos —lo atributivo y lo cuantificacional—, entre ambos se despliega un amplio trabajo de elaboración. Lacan recurre a múltiples tradiciones lógicas —filosóficas y matemáticas, antiguas y modernas, previas y posteriores a Gottlob Frege— en busca de una formalización capaz de cernir lo real en tanto imposible.

Pero esta tarea exige sostener la potencia del vaciamiento moderno, lo que inevitablemente desestabiliza cualquier intento de homogeneizar el campo de la lógica. Allí donde se busca unidad, lo que se impone es la diferencia.