Documente Academic
Documente Profesional
Documente Cultură
es equivalente a
3
Siendo un conjunto de enunciados, el teorema sintctico de deduccin establece, en su
versin dbil, que si ,AB entonces AB; en su versin fuerte dice que ,AB si y slo
si AB. Por ello, cuando el conjunto es vaco, la versin fuerte del teorema sintctico de
deduccin establece la equivalencia entre la tesis AB y la tesis AB.
4
La prueba de que el teorema sintctico de deduccin, en su versin fuerte, es vlido para
un clculo lgico determinado no requiere ninguna tesis semntica (de la teora de modelos);
no necesita, en particular, hacer referencia a la verdad o falsedad de las frmulas del clculo. Se
trata de un metateorema sintctico (un teorema de la teora de la demostracin), que puede ser
probado para cualquier clculo de lgica clsica de primer orden (de lgica proposicional o de
lgica de predicados) en el que la regla modus ponendo ponens sea la nica regla de derivacin
y en el que sean teoremas las frmulas A (BA) y [A (BC)] [(AB) (AC)]
(frmulas, que son axiomas en la mayora de los clculos axiomticos de primer orden). Vase
Geoffrey HUNTER: Metalgica, traduccin de Rodolfo Fernndez Gonzlez, Madrid, Paraninfo,
1981, pp. 103-108, 192-196 y 200.
SOBRE LA CONCEPCIN LGICA DEL DERECHO 83
2. La nocin de eficacia
5
Carlos E. ALCHOURRN y Antonio A. MARTINO: Lgica sin verdad, en Theoria. Revista de
teora, historia y fundamento de la ciencia, n 7-8-9 (1987-1988), pp. 7-43, pp. 24-26 y 34-35.
6
Vase Carlos E. ALCHOURRN: Las concepciones de la lgica, en Carlos E. Alchourrn
(ed.): Lgica (Enciclopedia Iberoamericana de Filosofa, vol. 7), Editorial Trotta, Consejo
Superior de Investigaciones Cientficas, Madrid, 1995, pp. 11-47, pp. 24-26 y 41-42.
SOBRE LA CONCEPCIN LGICA DEL DERECHO 85
8
Georg Henrik VON WRIGHT: Is There a Logic of Norms?, en Ratio Juris, vol. 4, n 3,
(1991) pp. 265-283, pp. 270-271. Vase tambin Georg Henrik VON WRIGHT: Deontic Logic: A
Personal View, en Ratio Juris, vol. 12 (1999), n 1, pp. 26-38, p. 34.
SOBRE LA CONCEPCIN LGICA DEL DERECHO 87
Es cierto que si existiera una lgica de normas esta lgica nos per-
mitira controlar la racionalidad de la actividad del legislador. Pero de
ello no se sigue que si no existe una lgica de normas nada nos permite
controlar la racionalidad de dicha actividad.
Opino que la nocin de eficacia sirve para esa finalidad. Pues pode-
mos decir, por ejemplo, que si un legislador crea dos enunciados tales
que la eficacia de uno es incompatible con la eficacia del otro entonces
dicho legislador se comporta irracionalmente. Esta observacin, por
otra parte, no conduce necesariamente a una lgica de normas basada
en la eficacia. Ciertamente, si existiera una lgica de normas basada en
la nocin de eficacia, dicha lgica y, en ltima instancia, la nocin de
eficacia permitira controlar la racionalidad de la actividad legislativa.
Pero no me parece que sea verdadera la tesis inversa, esto es, la tesis
de que si la nocin de eficacia permite controlar la racionalidad de la
actividad legislativa, entonces existe una lgica de normas basada en
dicha nocin. Y ello al margen de que una lgica tal tendra las dificul-
tades puestas de relieve antes, al hablar de la posibilidad de una lgica
de normas basada en la nocin de eficacia.
9
Eugenio BULYGIN: Lgica dentica, en Carlos E. Alchourrn (ed.): Lgica, cit. (nota 6),
pp. 129-141, p. 140.
92 RAFAEL HERNNDEZ MARN
1. Exposicin
Supongamos que
12
Carlos E. ALCHOURRN y Eugenio BULYGIN: Fundamentos pragmticos para una lgica
de normas, traduccin de Eugenio Bulygin, en Carlos E. Alchourrn y Eugenio Bulygin:
Anlisis lgico y derecho, Madrid, Centro de Estudios Constitucionales, 1991, pp. 155-167, p.
159; Permisos y normas permisivas, en Carlos E. Alchourrn y Eugenio Bulygin: Anlisis
lgico..., cit., pp. 215-238, p. 219; Peligros de confusin de nivel en el discurso normativo.
Respuesta a K. Opaek y J. Woleski, traduccin de Eugenio Bulygin, en Carlos E. Alchourrn
y Eugenio Bulygin: Anlisis lgico..., cit., pp. 281-290, p. 284. Eugenio BULYGIN: Lgica
dentica, cit. (nota 9), p. 133.
96 RAFAEL HERNNDEZ MARN
13
Vase Carlos E. ALCHOURRN: Las concepciones de la lgica, cit. (nota 6), pp. 35-
36. Eugenio BULYGIN: Lgica y normas, en Isonoma, 1 (1994), pp. 27-35, pp. 31-32. Ota
WEINBERGER: Is and Ought Reconsidered, en Archiv fr Rechts- und Sozialphilosophie,
LXX (1984), pp. 454-474, p. 463.
SOBRE LA CONCEPCIN LGICA DEL DERECHO 97
es deducible la tesis
se deduce la tesis
De ah, en definitiva, que para los tres autores los enunciados (7) y
(8) sean equivalentes.
Puesto que, por otra parte, tambin los enunciados (6) y (7) son equi-
valentes [aceptada, naturalmente, la definicin (DF)], el resultado final
es la equivalencia entre los enunciados
2. Crtica
se deduce la tesis
Por otra parte, vimos antes que, aceptada la lgica de normas, de (8)
o J D es deducible D implica J. ste sera, pues, el argumento
de WEINBERGER para deducir de (4) y (5) la tesis
14
Ota WEINBERGER: Die normenlogische Basis der Rechtsdynamik, en U. Klug, Th.
Ramm, F. Rittner, B. Schmiedel (Hrsg.): Gesetzgebungstheorie, Juristische Logik, Zivil- und
Prozessrecht, Berlin, Heidelberg, New York, Springer, 1978, pp. 173-190, pp. 179-180.
100 RAFAEL HERNNDEZ MARN
(8a) Existe un x tal que x D & x es igual a Juan debe pagar im-
puestos.
ste es un enunciado de (presunta) transcripcin literal del conteni-
do del Derecho, dicho sea en trminos aproximados15.
El segundo es el enunciado
(6a) Existe un x tal que x D & segn x Juan debe pagar impuestos.
(II) Segn (la norma individual) Juan debe pagar impuestos Juan
debe pagar impuestos
[sta es una tesis analtica, deducible de
cualquier definicin, mnimamente adecua-
da, de la expresin segn la norma n, Juan
debe hacer x]
(IV) Existe un x tal que x D & segn x Juan debe pagar impues-
tos [de III]
Sobre el procedimiento para resolver dicha dificultad, puede verse mi libro El Derecho
18