El otro día un compañero del trabajo me comentaba que la doble negación en el español (y en otros lenguajes también) da como resultado una afirmación.
Por ejemplo, “No hay nadie en casa” quiere decir que la casa esta vacía, pero por lógica, si hay ausencia de nadie, entonces tiene que haber alguien.
La conclusión de la charla fue que el lenguaje natural no es necesariamente coherente en cuanto a lógica, ya que basta con transmitir un mensaje y que la otra parte lo entienda.
Pero eso me recordó al tema de las leyes, donde al menos en la Argentina, las diferentes interpretaciones que se toman por falta de especificidad debilitan al sistema legal y su seriedad.
Y esto me trae a la cabeza una idea antigua, la de crear un sistema que permita escribir leyes. Estas leyes tendrían expresiones lógicas, tanto para ser aceptadas como para la validación del ingreso de nuevas leyes.
De este modo, se conseguiría escribir automáticamente leyes que no sean contradictorias, y facilitar la adición de casos particulares y excepciones.
También permitiría generar reportes personalizados de dichas leyes, y generar sobre la marcha la influencia de una ley sobre otras leyes, leyes que la heredan, etc.
Este sistema tendría soportar casos de prueba, y también debería ser extendido por los antecedentes judiciales que se vayan haciendo.
Creo que un invento de esta naturaleza sería un gran avance en lo que a legislación se refiere, como también en transparencia y organización de los estados.
Tal vez con los avances de la web semántica sea posible desarrollar un sistema de dichas características.
