Analisis sociologico del derecho

1). SISTEMAS FORMALES.

Un sistema formal o un sistema axiomático. Es un artificio matemático compuesto de símbolos que se unen entre sí formando cadenas que a su vez pueden ser manipuladas segúnreglas para producir otras cadenas. De esta manera, el sistema formal es capaz de representar cierto aspecto de la realidad.
En las ciencias formales de la lógica y las matemáticas, así como enotras disciplinas relacionadas, como son la informática, la teoría de la información, y la estadística, un ‘’sistema formal’’ es una gramática formal usada para la modelización de diferentes propósitos.Llamamos ‘’formalización’’ al acto de crear un sistema formal, y se trata de una acción con la que pretendemos capturar y abstraer la esencia de determinadas características del mundo real, en unmodelo conceptual en expresado en un determinado lenguaje formal
En matemáticas, las pruebas formales son el resultado de sistemas formales, consistentes en axiomas y reglas de deducción. Los teoremaspueden ser obtenidos por medio de pruebas formales. Este punto de vista de las matemáticas ha sido denominado formalista; aunque en muchas ocasiones este término conlleva una acepción peyorativa. En esesentido David Hilbert creó la disciplina denominada metamatemáticas dedicada al estudio de los sistemas formales, entendiendo que el lenguaje utilizado para ello, denominado metalenguaje era distintodel lenguaje del sistema formal que se pretendía estudiar. Con otra denominación, el metalenguaje o lenguaje obtenido mediante la gramática formal se llama también, en ocasiones, lenguaje objeto.
Unsistema así es la reducción de un lenguaje formalizado a meros símbolos, lenguaje formalizado y simbolizado sin contenido material alguno; un lenguaje reducido a mera forma que se expresa mediantefórmulas que reflejan las relaciones sintácticas entre los símbolos y las reglas de formación y transformación que permiten construir las fórmulas del sistema y pasar de una fórmula a otra.
El...