Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
CAPITULO III
LGICA JURDICA
CAPTULO III
LGICA JURDICA
221 Norberto Bobbio va ms all de la significacin del trmino l/lgica" en sus distintas
relaciones histricas con el derecho, ya que con dichas concepciones jurdicas seala.
el destino de la ciencia jurdica, en el pensamiento occidental, con el desarrollo de la:'
lgica. Bobbio, Norberto. Op. cit., pginas: 9-20.
105
U)CIC .\ LII JI( . \: 11\1" f'/W ,\ 11 i " i() 1/\1 / I/';/'/ .N .'; \ /U.I . (1,11\., \ // lU I':"; y 1:/ . .\li(J( ;APU Unc.\\TF
106
11( ,1 '1'1\ \1. \ \ '1)1) , /1\ '11:.1\ }((1,c.;, \/,J ," C/' / \'\. I,l jU
107
/.,t.ll;/l'. \ j / I/\ // l / l'. 1: I\'ST /'i.! l\ " ',\f'() 1\'1)/ ',/, / ',\ L,, 'I/U" 1) \/<1 " 1/ ,,' /, r' /./ .. \/llle ;. \OU I.InC .1N'II:
108
J Ji' .1 /; \ \ .' /1 .1< !, ( lS. \U'; (:K \,\I . l/U
B. APLICACIN DE LA LGICA
MATEMTICA EN EL DERECHO
La curiosidad por la lgica Si111blica es la razn que explica,
segn Norberto Bobbi0 225, el resurgimiento de la lgica de los juristas a
mediados del siglo veinte, aunque ya se haba expresado su inters en
aos anteriores:
1. Rooney y Patterson, juristas all1ericanos, en sus artculos de 111il
novecientos cuarenta y uno (1941) y mil novecientos cuarenta y dos (1942),
respectivamente, mostraron su inters en la lgica moderna porque la
consideraban ms apropiada que la clsica para fundar las corrientes
antiformalistas que prevalecan en la jurisprudencia americana.
El error en dicha postura es clara: la lgica matemtica es una ciencia
formal que usa smbolos ms perfectos que la tradicional, por lo que no
puede justificar corrientes antiformalistas porque son contrarias a su
naturaleza.
2. Ulrich Klug en su obra Juristische logik, publicada en mil novecientos
cincuenta y uno (1951), fue el primer intento sistemtico de aplicacin de
la lgica moderna al razonamiento de los juristas, y;
3. Eduardo Carca Mynez en su trabajo Introduccin a la lgica jurdica,
tambin publicada en mil novecientos cincuenta y uno (1951), se enfoc
en los problemas de la lgica jurdica.
Las ventajas de la aplicacin de la lgica matemtica en la lgica
jurdica fue sealada por Ilmar Tammelo, citado por Norberto Bobbio,
quien en su obra Sketch for a symbolic juristic logic, publicada en mil
novecientos cincuenta y cinco (1955) expres que: "La lgica simblica,
siendo ms exacta y ms comprehensiva que la lgica tradicional, permite una ms
profunda penetracin racional en la experiencia jurdica ... Los instrumentos de
la lgica simblica parecen ser definitely superiores a los de la lgica tradicional
para descubrir y probar los errores de pensamiento, evitar las simplificaciones y
asegurar la autoconsistencia de las aserciones tericas de los juristas 226 11
109
L.t )(,/ C . \ JW : /J l /L , \ : ! \, .'; '/ 'W .'\1/ ' \ / l) 1\ '/l/ .'-, I ' / ',\ " . \U/J' 1'..'\1<,\ / / I LI/ / t / / ,lIkn" \ no u/ '/e; .\ Nn :
110
I./L rU"\ N.1NnL) 1: 11.'1L'': };{ )':\ }.C S ;,:,. \.\ I. I/C l
con el signo "p", "q", "r" u otro), y el segundo nivel con una letra
mayscula que simboliza la modalidad altica: "M" significa "posible";
y /IN", "necesario". Verbigracia, el juicio expresado con el enunciado:
l/El hierro es un lnetal, necesarimnente", se representa as: "Np", donde
/IN" simboliza la lnodalidad de la verdad "necesarimnente", y "p", el
juicio aludido con la proporcin "El hierro es un m.etal". La lnodalidad
es, conforme la teora de la rama de la lgica matelntica aplicada, un
operador mondico, pero su valor de verdad no depende del valor del
juicio representado con la variable proposicional.
Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo Guibourg 2:10,
profundizan con la aplicacin de la lgica proposicional el estudio de
la lgica modal, porque afirman que: 1. se pueden definir las dems
modalidades alticas con apoyo en el concepto de "posibilidad" y el uso
del negador, ya que si una proposicin no es posible, es imposible, y, si
no es posible que una proposicin no sea verdadera, es necesaria; 2. los
operadores mondicos de los conceptos de "posible" y "necesario" son
interdefinibles: Mp -N-p, que se lee: es posible "p" equivale a no
es necesario que no "p", por ejemplo: el juicio referido con el enunciado
/lEs posible que Luisa Santizo toque violn" equivale al aludido con la
proposicin "no es necesario que Luisa Santizo no toque violn". Existen
otras tres maneras de mostrar la interdefinibilidad de dichos operadores
mondicos, porque el negador puede ser externo (si se aplica al
operador mondico) o interno (si se aplica a la variable proposicional): a.
-M-p Np, que se lee: no es posible que no p, equivale a es necesario
que p; a. -Mp N-p, que se lee: no es posible que p, equivale a
es necesario que no p, y; b. M-p que se lee: es posible que
no p, equivale a no es necesario que p; y, 3. se puede simbolizar
las relaciones de oposicin entre juicios modales alticos: a. existe
relacin de contrariedad entre "Np" y "N-p"; b. se produce relacin
de contradiccin entre: "Np" y "M-p", Y "N-P" Y "Mp"; c. de genera
relacin de subcontrariedad entre "Mp" y "M-p"; y, d. se origina relacin
de subalternacin entre: "Np" y "Mp", Y "N-p" Y "M-p".
Lo importante del trabajo intelectual de George Henrick Van Wright
(filsofo finlands) consiste, como afirman Delia Teresa Echave, Mara
Eugenia Urquijo y Ricardo Guibourg 23 1, en que:
111
1 ()( ,1, '. \ 111/,1/ * . 1.. 1 /,11 ,\ u:.V I n 1'\11 )/S 1) ; \ 'S. \ 1: 1 1 l ' \1,. 'l 1'1. f 1I C' ') 1'/,. \ :( I( , 1I 11 ) U IIC: .\ J\ tI: