En esta obra, García Máynez expone los principios lógico-jurídicos supremos, pero no sigue el orden adoptado en los manuales de lógica. La primera parte del libro expone “Los principios supremos de la lógica jurídica” y la segunda aborda la “Axiomática jurídica”; en ellas analiza: los principios jurídicos de contradicción y el tercero excluido; el estudio sistemático de los casos de oposición contradictoria entre normas de derecho; los principios de razón suficiente e identidad; el fundamento ontológico de los principios lógico-jurídicos supremos; las reglas de conducta; el derecho subjetivo; lo lícito y lo ilícito; así como la definición positiva del derecho de libertad y el abuso del derecho, ocupándose por último de la axiomática jurídica. Siendo la doctrina jurídica tan rigurosa, y científica, como la lógica formal, el autor expone exhaustiva y sistemáticamente los axiomas capitales de la ontología formal del derecho; primero analiza los conflictos entre normas que pertenecen a un mismo ordenamiento jurídico, discutiendo a continuación los planteados por prescripciones antagónicas cuya razón de validez es diferente, asimismo examina los que surgen entre preceptos de un solo ordenamiento, analizando los existentes entre normas oriundas de una fuente común, para posteriormente estudiar a los que se dan entre preceptos derivados de fuentes distintas. Los principios apriorísticos de todo el derecho, expuesto en esta obra, son válidos tanto para el derecho como para cualquier legislador, y el lector se dará cuenta de que estos no se refieren a contenidos jurídicos concretos, sino a conexiones esenciales entre las dos formas de manifestación de consecuencias normativas (deber jurídico y derecho subjetivo) y entre las que puede asumir la conducta jurídicamente regulada; lo prohibido, lo ordenado, lo potestativo. De igual modo se percatará de que tanto los principios de la lógica jurídica como los axiomas de la ontología formal del derecho y las proposiciones que en éstos descansan no son normas, sino verdades de razón.