Derecho como ciencia

¿Qué es la ciencia?
Para los seguidores del racionalismo (entre los que sobresalieron el francés René Descartes, el holandés Baruch Spinoza y el alemán Gottfried Wilhelm Leibniz) la principal fuente y prueba final del conocimiento era el razonamiento deductivo basado en principios evidentes o axiomas. En su Discurso del método (1637), Descartes inauguró el nuevo método que podía permitiralcanzar la certeza y el fundamento de la racionalidad. Para los principales representantes del empirismo (especialmente los ingleses Francis Bacon y John Locke) la fuente principal y prueba última del conocimiento era la percepción. Bacon inauguró la nueva era de la ciencia moderna criticando la confianza medieval en la tradición y la autoridad, y aportando nuevas normas para articular el métodocientífico, entre las que se incluyen el primer grupo de reglas de lógica inductiva formuladas. En su Ensayo sobre el entendimiento humano (1690), Locke criticó la creencia racionalista de que los principios del conocimiento son evidentes por una vía intuitiva, y argumentó que todo conocimiento deriva de la experiencia, ya sea de la procedente del mundo externo, que imprime sensaciones en la mente,ya sea de la experiencia interna, cuando la mente refleja sus propias actividades. Afirmó que el conocimiento humano de los objetos físicos externos está siempre sujeto a los errores de los sentidos y concluyó que no se puede tener un conocimiento certero del mundo físico que resulte absoluto.

Ciencia formal y ciencia fáctica
No toda la investigación científica procura el conocimientoobjetivo. Así, la lógica y la matemática —esto es, los diversos sistemas de lógica formal y los diferentes capítulos de la matemática pura— son racionales, sistemáticos y verificables, pero no son objetivos; no nos dan informaciones acerca de la realidad: simplemente, no se ocupan de los hechos. La lógica y la matemática tratan de entes ideales; estos entes: números, puntos, rectas, ángulos, etc., tantolos abstractos como los interpretados, sólo existen en la mente humana. A los lógicos y matemáticos no se les dan objetos de estudio: ellos construyen sus propios objetos. Es verdad que a menudo lo hacen por abstracción de objetos reales (naturales y sociales); más aún, el trabajo del lógico o del matemático satisface a menudo las necesidades del naturalista, del sociólogo o del tecnólogo, y espor esto que la sociedad los tolera y, ahora, hasta los estimula. Pero la materia prima que emplean los lógicos y los matemáticos no es fáctica sino ideal.
Por ejemplo, el concepto de número abstracto nació, sin duda, de la coordinación (correspondencia biunívoca) de conjuntos de objetos materiales, tales como dedos, por una parte, y guijarros, por la otra; pero no por esto aquel concepto sereduce a esta operación manual, ni a los signos que se emplean para representarlo. Los números no existen fuera de nuestros cerebros, y aún allí dentro existen al nivel conceptual. Los objetos materiales son numerables siempre que sean discontinuos; pero no son números; tampoco son números puros (abstractos) sus cualidades o relaciones. En el mundo real encontramos 3 libros, en el mundo de la ficciónconstruimos 3 platos voladores. ¿Pero quién vio jamás un 3, un simple 3? o al conjunto de números primos. La lógica y la matemática, por ocuparse de inventar entes formales y de establecer relaciones entre ellos, se llaman a menudo ciencias formales, precisamente porque sus objetos no son cosas ni procesos, sino, para emplear el lenguaje pictórico, formas en las que se puede verter un surtidoilimitado de contenidos, tanto fácticos como empíricos. Esto es, podemos establecer correspondencias entre esas formas (u objetos formales), por una parte, y cosas y procesos pertenecientes a cualquier nivel de la realidad por la otra. Así es como la física, la química, la fisiología, la psicología, la economía, y las demás ciencias recurren a la matemática, empleándola como herramienta para...