Kelsen vs Hart y la teoría de la normatividad jurídica: un análisis a través del álgebra booleana

Este trabajo trata de demostrar la hipótesis de que algunos ámbitos del Derecho participan, más que de la ciencia social, de la ciencia pura. Uno de estos ámbitos es la Filosofía del Derecho, y, concretamente, la teoría de la normatividad, ya que se presenta como un área en la que los más laureados autores han utilizado su lógica como esqueleto de sus teorías.
En este marco, se realiza un experimento matemático-jurídico a través del análisis de los pensamientos de dos famosos filósofos del Derecho con opiniones contrapuestas: Hans Kelsen y Herbert Hart. Sus teorías de corte teórico y de corte social respectivamente han sido analizadas y comparadas, siguiendo una lógica axiomática y una metodología un tanto inusual. Esta metodología de comparación no ha sido más que el álgebra booleana, lenguaje matemático binario que inventó George Boole a finales del s. XIX y que ha sentado las bases de la computación moderna.
El objetivo, por tanto, ha sido el de demostrar que las diferencias entre los pensamientos de los autores se puede conceptualizar en lenguaje booleano básico.
En este sentido, se han analizado cuatro cuestiones principales de los pensamientos de ambos autores (la norma básica, la estructura de la norma…), que han dado lugar a unas comparaciones booleanas, y que consiguientemente han llevado al autor a presentar unas conclusiones de considerable interés para el mundo jurídico.

This paper attempts to demonstrate the hypothesis that some areas of Law participate, more than social science, in pure science. One of these areas is the Philosophy of Law, and, specifically, the theory of normativity, since it is presented as an area in which the most distinguished authors have used its logic as the skeleton of their theories.
In this framework, a mathematical-legal experiment is carried out through the analysis of the thoughts of two famous legal philosophers with opposing opinions: Hans Kelsen and Herbert Hart. Their theoretical and social theories respectively have been analysed and compared, following an axiomatic logic and a somewhat unusual methodology. This methodology of comparison has been none other than Boolean algebra, a binary mathematical language invented by George Boole at the end of the 19th century, and which has laid the foundations of modern computing.
The aim, therefore, has been to demonstrate that the differences between the authors' thoughts can be conceptualised in basic Boolean language.
In this sense, four main issues in the thoughts of both authors have been analysed (the basic rule, the structure of the rule...), which have given rise to Boolean comparisons, and which have consequently led the author to present conclusions of considerable interest to the legal world.