PRINCIPIOS DE LA ONTOLOGÍA FORMAL DEL DERECHO Y SU EXPRESIÓN SIMBÓLICA, LOS - 1.ª ED. 2010

Advertencia preliminar

Los principios de la ontología formal del derecho y su expresión simbólica
I. Procederes jurídicamente lícitosy jurídicamente ilícitos, y clases correspondientes
II. La clase "I" como complemento de "L"
III. La clase de los procederes jurídicamente regulados como suma lógica de "L" y de "I"
IV. La clase de los procederes jurídicamente ordenados, subclase de "L"
V. La clase de los procederes jurídicamente libres, subclase de "L"
VI. L, como clase producto
VII. L, como clase producto
VIII. Conceptos de clase universal y clase nula
IX. El producto lógico de "L" y "L1" es el complemento de la suma de sus respectivos complementos
X. El producto lógico de "L" y "L2" es el complemento de la suma de sus respectivos complementos
XI. La suma de las clases "L" y "L" es el complemento del producto de sus respectivos complementos
XII. Los axiomas de la ontología formal del derecho y su expresión simbólica
XIII. Proposiciones relativas al axioma 1
XIV Proposiciones relativas a los axiomas 2 y 3
XV Proposiciones relativas al axioma 4
XVI. Proposiciones relativas al axioma 5
XVII. Relaciones entre las clases E2 y E"2

Apéndices
I. La axiomática jurídica y el derecho de libertad 1945
II. Libertad, como derecho y como poder 1939

Por grande que sea la esfera de libertad de los órganos jurídicos, para el desempeño de sus tareas están forzados a ajustarse a determinados principios generales de índole axiologica, lo mismo que a un cúmulo de exigencias de orden práctico, impuestas, en gran medida, por las necesidades del momento. Y dado que el derecfio es imperativo-atributivo, y a él sólo pertenecen los preceptos que además de obligar facultan, las disposiciones del legislador únicamente son jurídicas cuando poseen la estructura lógica propia de la regulación bilateral.

Observando las legalidades, válidas para todo derecho, aunque ajenas al albedrío del legislador. García Máynez consideró el hecho de crear una serie de axiomas de los cuales cabría desprender, con el apoyo de operaciones lógicas elementales, esos principios apriorísticos. Así, formuló diez axiomas ontológico-jurídicos; pero, advirtiendo la equivalencia en varios de ellos, eliminó las tautologías con lo que el número de postulados se redujo a la mitad. Sabiendo que las proposiciones tenían que ser demostradas matemáticamente se dio a la tarea de ver si era posible expresar por medio de fórmulas los teoremas de la ontología formal del derecho y en caso de que esos teoremas fueran susceptibles de expresión logística ¿cuál sería la utilidad del simbolismo?

Recurrió a la comparación de sus axiomas con los de la ontología general y el resultado fue positivo, como se demuestra en este libro que contiene algunos ejemplos de fácil comprensión, pero señalando que las aplicaciones más valiosas pueden ser las concernientes al problema hermenéutico y a la integración de las lagunas. Esta obra además incluye el ensayo Libertad, como derecho y como poder, aparecido en 1939, dada su relevancia, puesto que representa el punto de partida de los trabajos del autor sobre ontología formal del derecho.

David A. Rincón