Академический Документы
Профессиональный Документы
Культура Документы
1, 1955
TEORA DE LA DEDUCCIN
JURDICA
23. Anlisis detallado de algunos casos sencdlos de derivaci6n normativa.Ejemplos del derecho poeiuco
Hemos visto a grandesrasgos cul ha sido la trayectoria de la lgica jurdica
considerada como una tcnica especfica de derivacin normativa. Hemos
analizado cul esla estructurade la norma jurdica, y cmo,graciasal principio
del paralelismonormativo proposicional,es posible aplicar las tcnicas deductivas al campo de las normas positivas. Gracias a este principio, nos ha sido
posible analizar la estructura lgica de la proposicin jurdica. Hemos,comprobado que estaestructura,en su aspectoms general,es coligativa y que, por
o En el Congreso de Filosofa de San Marcos, realizado en Lima en el mes de agosto
de 1951, present una ponencia sobre lgica jurdica. En ella, entre otras cosas, deca que
para poder hablar con rigor de "lgica jurdica" era necesario elaborar un sistema formal
que permitiese analizarTos diversos tipos de deduccin que, en relacin a las normas, se
realizan en la prctica del derecho positivo. Ya en aquella poca haba llegado a algunos
resultados, y haba logrado formalizar determinados tipos "clsicos" de inferencia jurdica
como el contrario sensu, pero no haba an logrado una elaboracin sistemtica. Durante el ao de 1952 me dediqu a tal empresa. El resultado fu un libro de Lgica urdicci
en el que se aborda el problema de la "deduccin jurdica" con el espritu y la tcnica de la
lgica moderna.
"
'
Deseoso de llegar a todos los mbitos en los que existe inters por los temas de lgica
jurdica, me esforc desde un principio por situarme en un plano elemental, casi de divulgacin, de manera que el libro pudiera ser ledo por cualquier persona con formacin
filosfica, aunque no poseyese la rigurosa formacin tcnica que requieren los estudios de
lgica moderna. Con esta idea, inclu una seccn especial dedicada' a iniciar al .lector en
la teora de la "lgica coligativa" (teora de las funciones veritacionales o althicas, truth-,
functions, Wahrhetfunktionen), que es el captulo ms elemental de la lgica moderna y
que basta para hacer una serie de aplicaciones interesantes que den una clara idea al. lector de la estructura y del alcance de los procesos de "deduccin jurdica". Por esta razn
el libro, aunque ,sistemtico, pues estudia los principales tipos de deduccin jurdica, se
mantiene dentro de un plano elemental. Gracias a esta elementalidad pretende que todo'
, lector que examine cuidadosamente la seccin sobre lgica coligativ.a, quede capacitado
para comprender las aplcactones al raciocinio jurdico.
,
Desgraciadamente, debido a una serie de circunstancias que estara de ms mencionar
en estas lneas, apenas terminado el borrador del libro, me vi obligado a ocuparme de otros'
temas, especialmente de epistemologa, y desde entonces no he tenido ocasin de volverme a ocupar de la obra y no he podido revisar ni corregir la primera redaccin; por esto,
hasta la fecha no he podido tampoco publicarla. Pero gentilmente requerido por el ANUARIO DE FILOSOFApara hacer siquiera una publicacin parcial de los resultados obtenidos, me
he atrevido a enviar las pginas que siguen. Debido a las razones expuestas, algunos de
los desarrollos efectuados necesitan ser revisados, el estilo es muy imperfecto y se encuentran algunas repeticiones innecesarias. Para cumplir con mi ofrecimiento, he tenido que'
conformarme con enviar la redaccin primitiva. A pesar de ello, creo que la lectura del
presente texto permitir al lector formarse una clara idea de algunos de los resultados.
obtenidos y no dejar duda de que, hablando en un sentido moderno, ellos constituyen lID
sistema de "lgica jurdica".
[261 ]
262
TEORlA
DE LA DEDUCCIN
JURDICA
263
q. :J .r: :;):p 1\ q.
::J .r
o sea, si una disyuncin implica a una proposicin cualquiera, la conjuncin formada por las mismas proposiciones de la disyuncin tambin implicar
a dicha proposicin. Este principio es intuitivamente evidente. En efecto,
si p v q implica a r, quiere decir que basta que una de las proposiciones, p, q,
sea verdadera para que r tambin sea verdadera. Con mayor razn, cuando las
dos proposiciones, p, 2 sean verdaderas, r ser verdadera.
Dando a p, q, r sus significaciones, tenemos que si x puede otorgar un tesmento cerrado u olgrafo, podr, con mayor razn, otorgar un testamento
cerrado y olgrafo. Esta conclusin que es evidentsima y que la hacen constantemente todos los hombres de leyes, se basa en el principio de aplicacin."
El principio de aplicacin nos dice que si una proposicin implica a otra, y es
verdadera, la otra ser verdadera tambin. En simbolismo adecuado:
3 Sobre las relaciones entre norma y proposicin jurdica, y la estructura lgica de la
proposicin jurdica, ver, respectivamente, la Seccin Primera y la Seccin Tercera.
4 Para una mejor comprensin de lo que sigue, revisar la Seccin Segunda, especialmente el 10: "La tcnica de la deduccin."
264
y que, en consecuencia,existeuna norma que prescribela validez de los testamentosotorgadospor mudosque seana la vez cerradosy olgrafos.
Para comprobar que el antecedentede la anterior proposicin colgatva
es un principio lgico, no tenemosms que construir su esquema. Si se trata
de un principio, todoslos valoresde su esquemasernV.
p q r
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
V
F
V
F
y.
F
y
Y
V
V
V
V
V
V
V
'y
V
F
F
F
F
F
F
V
F
V
V
V
V
V
TEORA
DE LA DEDUCCIN
JURDICA
265
verdadero (puesto que toda proposicin jurdica que corresponde adecuadamente a una norma positiva es verdadera). Y, en consecuencia, segn el prncipio de aplicacin, el consecuente del principio tambin ser verdadero. Pero
si el antecedente es una proposicin jurdica, el consecuente tambin 10 ser,
porque tiene siempre las mismas proposiciones simples contenidas en el antecedente (que tiene una forma coligativa determinada), pero ordenadas de manera
diferente. Por consiguiente, habremos hallado una nueva proposicin jurdi'ca; una proposicin jurdica que se deduce de la anterior, es decir, del antecedente del principio. Y si tenemos una nueva proposicin jurdica, por el
principio del paralelismo normativo-proposicional," tendremos. la seguridad
de que ella habr de corresponder a una situacin de hecho en la que se
prescriben ciertas pautas de accin. Es decir, que ser la proposicin correspondiente a una norma determinada. Y, en esta forma, estrictamente lgica,
habremos pasado deductivamente de una norma a otra. Que es 10 que pre~
csamente se ha hecho en el ejemplo considerado.
Otro ejemplo. El arto860 del C. C.
Si amenaza ruina algn edificio u obra, puede pedirse
su reparacin o su demolicin.
De esta norma se desprende, de manera evidente, que en caso de pedirse
la demolicin no puede pedirse la reparacin, y viceversa, porque ambas modalidades se excluyen mutuamente. La consecuencia es, por lo tanto, lo contrario
del caso anterior. .En el caso del arto 683 el cdigo nos dice que el testamento del mudo puede ser cerrado u olgrafo, y del tenor de la norma se desprende que el testamento puede ser ambas cosas a la vez; en cambio, en el
caso del arto860,cuando un edificio amenaza ruina puede pedirse su reparacin
o su demolicin, pero no pueden pedirse ambas cosas a la vez. A pesar de que
ambas normas hacen uso de una disyuncin, en la primera puede pasarse de la
disyuncin a la conjuncin, pero no en la segunda. Esto se debe a que en aqulla la disyuncin es inclusiva, mientras que en sta es exclusiva. El razonamiento que nos permite llegar a esta conclusin es sencillsimo, prcticamente
evidente, pero, sin embargo, su forma lgica -aunque no es, por cierto, complicada- tiene caractersticas propias.
La proposicin jurdica correspondiente a la norma expresada en el
arto860 es una implicacin, en la que el consecuente es, a su vez, una disyuncin exclusiva.
La primera proposicin, o sea el antecedente, ser:
x es un edificio u obra que amenaza ruina (que simbolizaremos por "p")
7 Ver la Secci6n Primera, en donde se trata largamente de este principio, que es la
base de la aplicacin de la lgica al derecho.
266
F
V
V
F
F
V
V
F
V
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
F
V
V
V
V
F
F
F
V
F
F
F
Este principio nos dice que si una proposicin p implica a una disyuncin exclusiva, la misma proposicin implicar la falsedad de la conjuncin
de las proposiciones que integran la disyuncin exclusiva. Pero la proposicin p. ::::>
.q v r es una proposicin verdadera, puesto que corresponde a la
norma expresada en el arto 860 del C. c., por lo tanto, segn el principio de
aplicacin, la proposicin implicada por ella, a saber, p. ::::>.
,...,(p 1\ q), ser
tambin verdadera. Y podemos afirmar que si p es verdadera, o sea, que si x
es un edificio u obra que amenaza ruina, es falso que pueda 5edirsea la vez su
reparacin y su demolicin.
TEORfA DE LA DEDUCCIN
JURDICA
267
Como ya hemosmostrado,la maneracomo se emplea la frmula del principio de aplicacin no la emplearemosen el presenteejemplo,y dejamoscomo
un ejercicio al lector el hacerlo. En lo sucesivo, siempre que empleemosel
principio de aplicacin, que es, comohemosvisto,de fundamentalimportancia,
lo haremos notar. Pero slo mencionaremossu empleo sin desarrollar su
frmula, por ser sta,cuandolas proposicionesempleadasson algo compl.cadas,
muy larga. Pero si el lector quiere reconstruir en su totalidad el raciocinio,
puede siempre hacerlo siguiendo'un procedimientoque, aunque a veces labo,rioso, es, en esencia, muy amplio: reemplazar en el principio de aplicacin
p::::>
q. A .p: ::::>
:q, a p y q por las proposiciones ms complicadas' que les
corresponden,segn la estructura implicativa de la proposicin jurdica analizada.
24. Los argumentos clsicos.s-El argumento "a contrario sensu" como principo tpico de derivacin normativa
Como se desprendede los anlisis efectuadosen el captulo anterior, las
inferencias jurdicas, mediante las cuales de una norma se deriva deductivamente otra norma,se realizan en la prctica del derecho positivo. No se trata
de esquemasartificiales, de formas cerradaspor el afn terico de aplicar determinadasestructuraslgicas a un campoajenoa la lgica, sino de procedimientos
reales, efectuadoscotidianamentepor el juez, el jurista, el abogadoy en general por todo aquel que de una manera u otra tiene que dedicarse al conocimiento de los textos legales. No se trata, pues, de una manera moderna de
enfocar el conocimiento de las normas,sino que los procedimientoslgicos se
han aplicado en forma ingenua y espontneadesde que la vida jurdica surgi
como actividad organizada, es decir, desde los tiempos de los viejos juristas
romanos. Los mtodosque permiten deslindar la estructura de estosprocedimientosdeductivoss son modernos,puestoque antesde su aplicacin tal tarea
haba sido imposible de realizar. Pero lo deslindadocomo tal, el procedimiento
deductivo, como sucede en la mayora de los procesoslgicos, se realiz siempre en forma intuitiva. Esto puede comprobarsesi se analizan con criterio lgico
los famososargumentosclsicostan empleadospor los juristas romanos,que se
hallan diseminados en el enorme monumentodel Corpus Iuris Civilis, especialmente en el Digesto y en las Instituta. Los "argumenta" se emplearonen
la prctica del derecho con la finalidad fundamental de facilitar la interpretacin y la aplicacin de la ley. Surgieron en forma espontnea,como producto
de la sabidura jurdica de los romanos. Por esta razn sus variedades y sus
aplicaciones son mltiples, y la mayora constituyen preceptos prcticos aislados, basados en los principios jurdicos y en las doctrinas imperantes en la
poca. No tienen mucha relacin unos con otros y no existenreglas fijas para
su aplicacin. Pero lo interesante es que entre ellos existen algunos que tie-
268
FRANCISCO
MIR QUESADA
nen un sentido fundamentalmente 16gico,que son verdaderos principios deductivos, mediante los cuales se pueden realizar derivaciones normativas de tipo
coligativo. ~stos son, a nuestro entender, el argumento "a contrario sensu", el
"a definitione" y el "ab absurdo"."
El argumento "a contrario sensu" es de todos el ms conocido. Sus primeras aplicaciones se pierden en los orgenes de la jurisprudencia y su aplicacin
se realiza en la cotidianidad misma de la vida jurdica. Casi no hay tratado de
Derecho en que no se emplee el argumento "a contrario sensu" para interpretar el sentido y el alcance de una norma. Quienes lo implican no tienen por
lo general clara conciencia de que se trata de un procedimiento lgco, y
que 10 que estn haciendo es, 'en realidad, deducir una norma de otra. Pero
al aplicarlo consiguen sus fines, que es resolver un problema jurdico, con una
precisin y un rigor que slo puede ser alcanzado cuando intervienen procedmientas l6gicos.
En el Corpus Iuris Civilis se encuentran muchos ejemplos de contrario
Sensu expuestos por los grandes maestros. Pero parecen ser Paulus y Ulpianus
los que lo aplicaron de manera ms sistemtica." Del tenor de los ejemplos
clsicos y del anlisis de las aplicaciones modernas se desprende que el contrario sensu consisti en pasar de una norma a otra, por medio de ciertas relaciones entre la afirmacin y la negaci6n de los contenidos. Si una norma se
refiere explcitamente a algo, contrario sensu se excluye aquello a lo que no
se refiere; y viceversa, si una norma excluye explcitamente algo, se incluye
aquello que no est excludo. As, en el caso del servicio militar obligatorio, la
ley dice que quien es peruano, tiene de 21 a 50 aos y no est exceptuado
por la ley, debe hacer su servicio militar. Contraro sensu se desprende que las
mujeres no estn obligadas a hacer el servicio militar obligatorio. ~ste es un
~asoen que, partiendo de una inclusn.: se llega a una exclusin. El art. 949
del C. C. nos dice que si un edificio se destruye sin culpa del propietario, ste
no est obligado a reconstruirlo. De donde, contrario sensu, se desprende que si
'destruye por su culpa, s est obligado a reconstruirlo. De una exclusin, se
deriva una inclusin. Hay, pues, dos clases de argumento a contrario sensu,
que podemos llamar, respectivamente, contrario sensu excluyente y contrario
8 Entre los otros argumentos pueden citarse los siguientes: "a forlior',
"a consiliis vel
oppositis", "ab impossibili", "ab otymologia", "ab ordine", "a simi!i", "a Tatione lef!_is",
etc. El argumento "ab impossibili" es, de todos los citados, el nico que tiene valor lgico,
pero slo puede ser interpretado modalmente.
9 Un interesante ejemplo de Paulus se encuentra en la seccin del Digesto, que versa
sobre el testimonio de la mujer adltera: "Ex ea quod prohibet lex Julia de adulteriis testimonium dicere condemnatam mulerem, colligitur, etiam mulieres testimonii in judicio
dicendi fus habere," Digesto, Libro XXII, Tt. VI, cap. 18. Otro ejemplo tpico nos ofrece
Ulpianus, sobre el testimonio de la mujer en los testamentos: "Mulier testimcmium dicere in
testamento quidem flan poterit, alias autem posse testem esse mulierem, argumento est lex
Julia de adtilteriis, quae adulterii damnatam testem produci cel dicere testimonium oetat.
Digesto, Libro XXVIII, Tt. I, cap. 20, 6.
269
270
FRANCISCO
MIR QUESADA
rio sensu,es necesarioaceptar ciertos presupuestossobre la tcnica de la legislacin, sobre el estilo, sobre las finalidades de la codificacin, etc.lO
10 No es este el caso del C. C. Pero la jurisprudencia ha adoptado el hbito de interpretar la conclusin obtenida mediante. el proceso deductivo del "contrario sensu" como
una obligacin de "indemnizar". La interpretacin adoptada por la jurisprudencia en nada
contradice la deduccin obtenida por medio del "contrario sensu", porque la indemnizacin
se exige precisamente para que, si as lo desea el usufructuario, se pueda reconstruir el
edificio.
Es frecuente en la prctica del derecho que los resultados de los raciocinios deductivos
sean modificados por interpretaciones jurisprudenciales o por errores interpretativos de los
jueces. Es tambin frecuente que en un mismo cdigo una norma constituya el punto de
partida para efectuar una deduccin determinada, y que el resultado de esta deduccin
sea contradicho por otra norma. Algunos juristas, basndose en estos hechos, llegan a la
conclusin de que no puede hablarse de lgica jurdica y que en el derecho positivo
no existe algo semejante a un razonamiento riguroso. Nos parece que los que as piensan
confunden totahnente el plano de la lgica con el plano de la hermenutica, y que creen
que la formalizacin del raciocinio jurdico significa la reduccin del conocimiento jurdico
a una especie de logicismo radical, vaco de todo contenido y de toda significacin. Pero
esto es desconocer totalmente el sentido de la formalizacin lgica. Formalizar significa
sencillamente analizar una proposicin en sus elementos constitutivos. Formalizar coligativamente una proposicin jurdica es, pues, indicar cules son sus elementos coligados. Si se
hace esto, se presenta a la proposicin jurdica corno una proposicin coligativa, y por este
solo hecho es posible derivar deductivamente de ella otras proposiciones coligativas, es decir,
otras normas jurdicas. Que una vez efectuada esta derivacin se interpreten los resultados
de tal o cual manera, o que la formalizacin coligativa en el punto de partida no corresponda al sentido que quiso expresar el legislador porque la tcnica empleada por ste fu
deficiente, no tiene nada que ver con la lgica. Ello slo significa que, adems de elementos
lgicos, intervienen elementos extralgicos (hermenuticos) que complican en forma
extraordinaria el anlisis del conocimiento jurdico. Pero nadie puede negar que, a pesar
de esta complicacin, el elemento lgico interviene constantemente. En principio, toda proposicin jurdica puede formalizarse coligativamente, porque de otra manera las proposiciones jurdicas no tendran estructura y no seran proposiciones, seran, sencillamente, conjuntos ininteligibles de sonidos. Por el hecho de poder ser formalizada coligativamente se
pueden efectuar una serie de derivaciones deductivas rigurosamente determinadas. Y en la
prctica de la vida jurdica estas derivaciones se efectan constantemente,como lo muestran
los anlisis que hemos efectuado. Que los resultados de estas derivaciones sean con frecuencia interpretados jurisprudencialmente y que la sentencia prescriba algo diferente de lo que
hubiera podido esperarse segn el resultado del raciocinio, no tiene nada que ver con la
validez de dicho raciocinio. El hecho es que ha habido un razonamiento y que ese razonamiento ha llegado a determinada conclusin, que ha sido interpretada posteriormente de
tal o cual manera. Por otra parte, en muchos casos, la conclusin no se interpreta en un
sentido diferente, y la prescripcin final es tal como queda indicado en el trmino del .
razonamiento. La lgica no puede pretender inmiscuirse en campos que no le corresponden.
Su nica finalidad es formalizar los procedimientos, deductivos que permiten pasar de la
verdad de unas proposiciones a la verdad de otras. Estos procedimientos existen en la prctica del derecho positivo y la lgica jurdica debe, pues, formalizarlos. Que adems existan
otros tipos de actividad en la prctica del derecho, que al lado de la deduccin jurdica
existe la interpretacin, que la interpretacin puede incidir sobre un resultado deductivo
y modificarlo, etc., son aspectos importantes del conocimiento jurdico que deben ser tratados en una investigacin general sobre el conocimiento jurdico. Pero esto no tiene nada que
ver con la lgica. La tarea de la lgica jurdica es concreta y perfectamente delimitada:
existen en la prctica del derecho positivo determinados tipos de razonamiento deductivo
y es menester evidenciarlos mediante una adecuada tcnica de formalizacin. Eso es lo
que hemos tratado de hacer, en forma muy elemental, en la presente investigacin.
TEORlA
DE LA DEDUCCIN
JURDICA
271
272
VF
FV
F
F
V
V
F
F
F F
.V
r--
-p:p-q
12
TEORA DE LA DEDVCCIN
JURDICA
273
_ p p,..., q. :,::).p:pq
13
PP
q. :::> ,..., P :p q
- p ~ q. :,::)
.p ~_-_ q
Hay, pues, como se ve, cuatro formas lgicas posibles de contrario sensu.
25. Los argumentos clsicos. El argumento "ab absurdo"
definitione"
y el argumento a
El argumento "ab absurdo" tiene la importancia de ser uno de los argumentos clsicos cuya estructura es puramente lgica. Su aplicacin no nece-.
sita, como en el case del contrario sensu, de una interpretacin referente a la .
tcnica de la codificacin. Es un principio que se puede aplicar universalmente a cualquier norma o interpretacin normativa que conduzca a consecuencias
absurdas.t" En general puede decirse que el "ab absurdo" tiene dos aplicaciones. En la primera se aplica a la norma considerada como un todo: una
norma que lleva a consecuencias absurdas no puede ser vlida; en la segunda
Se aplica a las consecuencias de la norma; de una norma no puede derivarse
deductivamente otra que produzqa una situacin absurda. La estructura lgica de las dos aplicaciones es exactamente igual. La nica diferencia estriba
en el contenido de la aplicacin. En el primer caso .se aplica a un contenido
total; en el segundo, a uno parcial.
Una proposicin es absurda cuando de ella se pueden derivar deductivamente dos proposiciones contradictorias. Pero, segn un principio lgico muy
conocido, de una proposicin verdadera no pueden derivarse dos proposiciones
contradictorias. Luego una proposicin absurda es falsa.
El esquema del argumento "ab absurdo" es, por consiguiente:
274
FRANCISCO
MIR QUESADA
Las aplicaciones del argumento son mltiples en la vida jurdica, y constantemente, ya sea en los procesos de interpretacin o en los de redaccin
legal, se sostiene que debe rechazarse tal o cual consecuencia porque nos
llevara al absurdo. Pero por lo general la aplicacin es del segundo tipo. Es
muy raro que en una codificacin se encuentre una norma cuya proposicin
jurdica correspondiente sea absurda, es decir, que sea en s misma una contradiccin. Pueden encontrarse dos normas contradictorias -en cuyo caso, por
el principio de contradiccin, como lo sostena ya Cicern- debe eliminarse
una de ellas; pero es casi imposible que una burda contradiccin interna escape
alojo avezado del legislador.
Como ejemplo del segundo tipo, puede considerarse la interpretacin incorrecta del inciso 5Q del arto1450. Este inciso se refiere al derecho de retracto
del propietario de las tierras colindantes, y dice:
Tendrn derecho de retracto:
59. El propietario de la tierra colindante, cuando se trate de la venta de una finca
rstica cuya cabida no exceda de tres hectreas, o cuando aqulla y sta reunidas no excedan de diez.
p.::) .q v r
15 Esta interpretacin se plante y se discuti en el Seminario de Derecho Civil del
59 Ao de la Facultad de Derecho de la Universidad Catlica.
TEORtA
DE LA DEDUCCIN
JURDICA
275
dice:
P::J r. A .,_, (p ~ r): ::J :p.::J
.1'
A ""' r
p. ~ .r A .....r
lo que es absurdo. En este caso hemos deducido la invalidez de una norma, par
276
FRANCISCO
MIR
QUESADA
Sin considerar la mala redaccin de la norma, que es totalmente redundante, vemos que 'la proposicin jurdica correspondientea la definicin normativa es una implicacin del tipo: Si'x es poseedor,entoncesx ejerce por lo'
menosuno de los poderesinherentesa la propiedad. Simbolizando el antecedente por "p" y el consecuentepor "q", tenemos:
P::lq
Panl saber si el que ha vendido un bien puede ser co~sideradocomo su
poseedor,nos bastar conocer la definicin de la propiedad expresadaen el
art. 850:
El propietario de un bien tiene derecho a poseerlo, percibir sus .Irutos, reivindicarlo y
disponer de l dentro de los lmites de la ley.17 .
17 Obsrvese que entre los articulas 824 y 850 existe un crculo vicioso, pues en el
primero se define la posesin en relacin con la propiedad y en el segundo se define 'la propiedad en relacin con la posesin. En este caso se puede hacer una interesante aplicacin
TEORA
DE LA DEDUCCIN
}URtDICA
277
P :::>q .. /\ .q:::> r
No tenemosms que aplicar el principio fundamental de la transitividad
de la Impllcacnr'f
p:Jr
O sea,dando sus respectivassignificacionesa "p" y "r":
"Si x es poseedor,entoncesx ejerce los derechosde percepcin de frutos,
de reivindicacin o de venta." Y aS,basndoseen la definicin de posesin
y de propiedad, concluimos que el que ha vendido un bien, dentro de las condiciones presupuestaspor la ley, puede ser consideradocomo su poseedor.
Veamos ahora otro ejemplo en el cual la estructura deductiva presenta
ligeras diferencias. Se trata de saber si una nave puede hipotecarse. Para resolver el problema,partimos del arto1010del C. c.:
Pueden hipotecarse los inmuebles que pueden venderse.
278
FRANCISCO
MIR QUESADA
es la finalidad primordial de toda definicin. Segn el arto 812, las naves son
bienes inmuebles. Adems, segn el art. 586 del C. Cm.,19los buques mercantes constituyen una propiedad que se puede transferir, es decir, pueden ser
vendidos.
El arto 1010 es una implicacin, cuyo antecedente "p" es "x es inmueble
vendible", y cuyo consecuente "q" es "x puede hipotecarse". Tenemos as,
como punto de partida,
En cuanto a los artculos 812 C. C. Y 586 C. Cm., nos permiten, para los
fines deductivos que nos hemos propuesto, enunciar una sola proposicin, implicativa desde luego, cuyo antecedente "r" ser "x es una nave", y cuyo consecuente ser "p" (es decir, "x es un inmueble vendible") puesto que, por
definicin, una nave es un inmueble, y adems, segn el arto 586, las naves
son bienes disponibles, lo que, en sentido implcito, puede tambin considerarse como una propiedad jurdicamente definitoria. El consecuente ser, pues:
"x es inmueble vendible".
Tenemos entonces dos proposiciones implicativas:
p::::>
q. 1\ .r::::>
p
Segn un prncpo lgico, parecido al que nos sirvi para efectuar la
derivacin deductiva en el caso anterior, tenemos:
p ::::>
q./\ .r ::::>
p: ::::>:r
::::>
q
Dando significaciones, tenemos que "s: es una nave" implica a "x puede
hpotecarse", lo que permite resolver la cuestin planteada por la afrrnatva.i"
Aunque, desde un punto de vista puramente estructural, este principio
es diferente del anterior, desde el punto de vista de su significado lgico es
equivalente, porque la conjuncin es una coligacin conmutativa. Es decir,
que si es verdad que p " q, entonces tambin es verdad que q 1\ p. Por lo
tanto, en lugar de p ::::>
q. 1\ .r::::>
p, se puede poner r ::::>
p. 1\ .p::::>
q, lo que nos
da, segn el principio del primer caso:
r ::::>
p. /\ -P ::::>
q: ::::>
:r ::::>q
19 C.
TEORA DE LA DEDUCCIN
JURDICA
279
De esta manera ambos tipos de argumento "a defnitone" pueden reducirse a una misma forma general.21
26. El proceso deductivo en las normas enumerativas
Con los anlisis anteriores se ha mostrado cmo ciertos procesos deductivos de tipo muy determinado se encuentran en la misma base del conocimiento jurdico, utilizndose en el ejercicio cotidiano del derecho positivo.
Pero no debe creerse que las posibilidades de anlisis deductivo se agotan en
las figuras clsicas. Estas han sido nuestro punto de partida, porque su consagracin tradicional nos brindaba especial ocasin para mostrar la postividad de los procesos deductivos. Sin embargo, el lector ya habr entrevisto
una sencilla consecuencia que se deriva de la mera teora de la proposicin
jurdica: si la proposicin jurdica tiene estructura coligativa, todas las posibilidades deductivas aplicables en general a las proposiciones coligativas se
aplicarn en forma directa a las proposiciones jurdicas. Como hemos podido
observar en la seccin referente a la lgica asertrica coligativa, estas posibilidades son infinitas. Y as es en efecto. El jurista, el abogado, el juez, en
el acto de conocer las normas para su correcta aplicacin efectan de manera
espontnea una serie de derivaciones normativas, una compleja multitud de
deducciones, basadas todas en los principios de la lgica coligativa. Algunas
de ellas son tan sencillas que se realizan de manera intuitiva, lo que no impide, como tambin hemos visto, que tengan una estructura coligativa definida; otras son ms complicadas y ofrecen al anlisis interesantes posibilidades.
Hacer un estudio exhaustivo de este tipo de derivacin normativa (que
no sera sino un primer plano dentro de las posibilidades deductivas de derivacin, puesto que, adems de los principios coligativos, tenemos los funcionales que son mucho ms complejos) sera demasiado largo y complicado dentro de los marcos que nos hemos impuesto en este trabajo, cuya finalidad es
nicamente dar una idea de los procesos ms simples de derivacin normativa. Por eso en lo que sigue nos limitaremos a dar ejemplos de los tipos de
derivacin ms simples y ms frecuentes, de ciertos tipos deductivos muy especiales, que se prestan con facilidad al anlisis y que muestran la eficacia
del anlisis coligativo para el tratamiento de problemas jurdicos positivos.
Uno de los casos ms frecuentes de derivacin normativa mediante la
aplicacin intuitiva de principios coligativos es la que se realiza en el caso
de lo que hemos llamado normas enumerativas. Hemos visto que existen dos
21 No debemos olvidar, sin embargo, lo que dijimos al comienzo del anlisis de este
argumento; que tena formas tan complejas que no podan analizarse por medio de tcnicas
puramente coligativas. No debe creerse, en consecuencia, que la frmula expuesta es la
frmula general del argumento "a definitione". Slo puede considerarse como 1'1 frmula
general dentro de la dimensin coligativa.
280
FRANCISCO
MIR QUESADA
Este artculo es, como la gran mayora, de ndole mplicativa, Pero para
su formalizacin coligativa requiere por lo menos cinco proposiciones. La situacin se torna de esta manera ms complicada que en los casos anteriores, en los que hemos considerado a lo ms tres proposiciones. Por eso para
analizarlo vamos a valernos de un artificio, y a suponer que slo existen dos
condiciones de incapacidad, las dos enunciadas en los incisos 10 Y 20 antes
citados.
Sobre esto podr consultarse el cap. 18.
Esta forma de argumentar nos recuerda el argumento "a fOrion'. En realidad los
argumentos clsicos -por lo menos hasta donde llega nuestra informacin- no han sido
jams debidamente analizados, de manera que es difcil saber a ciencia cierta hasta dnde
llegan sus lmites. El argumento "a [ortiori" es en s bastante vago, y no cabe la menor duda
de que en muchas de sus aplicaciones, como puede verse en el Digesto, tiene un fundamento puramente extralgico. As Ulpiano dice: est enim perquam ridiculum, eum, qui
minorbus poenae causa prohibtus st, ad maores adspisare; maioribus tamen prohibitus
minores petere non prohibitur. Digesto. Libro XL VIII. Tt. XXII. Cap. 7, 22.
Clsicamente el argumento "a [ortiori" ha sido concebido sobre esta aplicacin de
Ulpiano, que aunque aparentemente es lgica, es, sin embargo, totalmente extralgica porque la gravedad de la pena puede variar en casos de emergencia, como ha sucedido, por
ejemplo, en diversas legislaciones en el caso del trfico de estupefacientes, en que por delitos
penados en la legislacin comn con penas menores fueron sancionados con penas mayores. El "a fortori" presupone toda una teora de la pena y de las jerarquas jurdicas, que
trasciende el plano de lo lgico. Pero, desde luego, nada impide dar una definicin generalizada del "a [ortiori" (en el sentido de que cuando la ley prohibe en general, prohibe
tambin en particular) que incluyendo la casustica clsica incluyese tambin el. caso de
las normas enumerativas. Creemos que sera muy interesante analizar en forma rigurosa
cul es el sentido exacto de todos los argumentos clsicos y tratar de deslindar de esta
manera todas sus posibilidades y sus limitaciones.
22
23
TEORlA DE LA DEDUCCIN
JURDICA
281
P v q. ::.r
Se trata de saber si una persona, que adems de ser menor de 16 aos
adolece de enfermedad que lo priva de discernimiento, es tambin absolutamente incapaz. La respuesta es evidente, pero es evidente porque se basa
precisamente en un principio lgico, que nos dice que todo lo implicado por
una disyuncin lo es tambin por una conjuncin:
p v q',::l .r: ::l:P A q. ::l.r
Mediante este principio y el principio de aplicacin, se llega a la conclusin de que si x es menor de 16 aos y est ademsprivado de discernimiento
por causa de enfermedadmental, es absolutamenteincapaz. Hemos efectuado as una derivacin normativa completa. No debemos dejarnos engaar
por la evidencia y por la simplicidad aparente del raciocinio. Desde luego
que el razonamientoes patente,y que no se necesitaninguna formacinlgica
para realizarlo. Es un raciocinio que realizan todos los das, sin darse casi
cuenta, los hombresque intervienen en la positividad de la vida jurdica. Pero
eso mismo indica cun necesariaes la teora para mostrar los fundamentosde
la prctica, fundamentosque muchas veces revelan dificultades y complicaciones totalmente insospechadasy que en ciertos casos pueden obligar a corregir procedimientosya establecidos.
Una vez esclarecido el raciocinio para el caso de tres proposiciones,se
puede generalizar para el caso de cualquier nmero de proposiciones. Su fundamentacin por medio de los esquemasse hace algo ms laboriosa,pero, en
la prctica, con un poco de paciencia y de cuidado puede siemprerealzarse.v24
282
FRANCISCO
MIR QUESADA
S.
:J .t
S. :J .t: :J
:p A. q A. r A. s . :J .t
:J
:r: :J :P
A. q A. r...
:J
:r
283
Una personapretende haber constitudo un hogar de familia. Para comprobar la verdad de su aseveracinse examinanlos documentos,y se comprueba que el hogar est inscrito en el registro de la propiedad, pero que no ha
sido aprobado judicialmente. Se llega a la conclusin de que el hogar de familia no ha sido constitudo. Este raciocinio es sencillsimo, lo que no impide
como en el casoanterior que tengauna estructuracoligativa muy determinada
y que, para fundamentarse,requiera de algunas transformacionesinteresantes. El punto de partida es el art. 467del C. c.:
Para la constitucin del hogar de familia se requiere:
19 Que sea aprobada judicialmente;
29 Que sea inscrita en el registro de la propiedad.
-p
Ahora bien, cuando dos proposicionesson equivalentes,se puede reemplazar una por otra. Por lo tanto,
si -(q
/\ r) ::::> -p
284
FRANCISCO
MIR QUESADA
La Formacoligativa de la proposicin jurdica correspondientea esta norma es exactamenteigual a la de la anterior, con la diferencia de que, en el
consecuente,tiene una proposicin ms. Se puede poner, por lo tanto:
p. ::::>
.q /\ r 1\ s
Pero
y
p. ::::>
.q /\ r /\ s: ::::>
: """ (q /\ r /\ s). ::::>.
"" p
......(q/\ r /\ s) ::::>
--p:=:
-qv-rv.._s.
:::>._p
Luego, podemosafirmar:
-qv-rv_s.::::>._p
y de la misma manera, como en el caso de las normas negativas de enumeracin taxativa,podemosllegar a la frmula general:
p. ::::>
.q /\ r /\ ......
/\ m
TEORA DE LA DEDUCCIN
jURlDICA
285
puede pagar cumpliendo por completocon una de las prestaciones. Y nos hace
sospecharque por el hecho de haber cumplido por completo con una de ellas,
queda liberado de las restantes. Esto se comprueba con el arto 1194 que nos
dice que, una vez hecha la eleccin por el deudor.i" la prestacin elegida se
considerarcomo la nica debida desde el principio. Esta ltima afirmacin
nos hace ver que la disyuncin es exclusiva,pues'una vez cumplida una pres~
tacin, quedan excludas las restantes.
Procediendocomo en casosanteriores (por razones metodolgicas) partremos del caso hipottico de una obligacin alternativa con dos prestaciones.
El antecedente"p" ser: "x est obligado alternativamentea la prestacin A
y a: la prestacin B"; el consecuenteser una disyuncin exclusiva, con dos
proposiciones,"q" o sea "x. debe cumplir la prestacinA", y "r" o sea "x debe
cumplir la prestacin B". La frmula coligativa ser, en consecuencia:
p. :::>.q v r
Ahora bien, esta estructura coligativa nos permite efectuar una deduccin
muy importante,porque nos muestra la redundancia del arto 1195 del C. C.
que nos dice:
El deudor perder el derecho de eleccin cuando, de las prestaciones a que alternativamente estuviera obligado, slo una fuese realizable.
286
FRANCISCO
MIR
QUESADA
El caso general es muy sencillo, pues basta aplicar ia frmula a n proposiciones. Desgraciauamente desde el punto de vista de la tcnica de los
esquemas la fundamentacin de la frmula se torna algo complicada por el
enorme nmero de combinaciones entre los valores de verdad y de falsedad
que deben ser realizados. Pero tericamente nada impide hacerlo." Existe
adems otra dificultad: que la disyuncin exclusiva, a diferencia de la iriclusiva y de la conjuncin, no es asocatva." Por lo tanto, no se puede prescindir, como en aqullas, de la puntuacin. Esto hace que las frmulas para ms
de tres o cuatro prestaciones sean sumamente engorrosas, y que la frmula
general necesite de un simbolismo adecuado para su expresin rigurosa. Para
evitar complicaciones no la pondremos aqu, y slo daremos ejemplos de aumento progresivo de prestaciones. As, para el caso de tres prestaciones la
frmula ser:
p: ::j:q. v .r v s
Para el caso de cuatro prestaciones, tendremos:
p: ::J :q V r. v .5 v t 30
Y as sucesivamente.
El principio lgico aplicable en estos casos ser el mismo, pero generalizado a tres, cuatro o ms prestaciones. En el caso de tres prestaciones, el principio es ya aparentemente complicado, pero su estructura coligativa es tan
simple como en el caso de dos.
p:::J
r: 1\ : -- r /\ --~.::J.p::> q
28. Otros tipos de deduccin [uridica=El paso de la disyuncin a la conjuncin.-La implicacin inversa.-El "contrario sensu" compuesto
Con los ejercicios analizados, pertenecientes todos al derecho positivo, ha
quedado esclarecido el aspecto esencial de la lgica jurdica. En ellos hemos
visto cmo, empleando principios lgicos coligativos, es posible partir de normas positivas, y llegar deductivamente a otras normas no explcitamente ex28 En los casos en que se desea fundamentar una frmula totalmente general, es decir, para n casos en que n es un nmero indeterminado, el clculo de las proposiciones en
su aspecto teoremtico.
29 Sobre el significado de la asociatividad, podr verse la nota final del cap. 10.
30 Puede parecer, que en el caso de la segunda frmula, la exclusin no est suficientemente expresada, porque la disyuncin se hace por pares. Pero esto basta para expresar
la naturaleza de la alternacin. En efecto, si se separan por medio de una disyuncin exclusiva, q v r y s v t, si se realiza la una ya no puede realizarse la otra. Y si se realiza,
digamos q v r, al realizarse q ya no puede realizarse r, de manera que la realizacin de q
excluye la realizacin de todas las dems.
TEORA DE LA DEDUCCIN
JURDICA
287
p v q.:::>.r
288
FRANCISCO
MIR QUESADA
Es evidente que del tenor de este artculo se deriva que, si los padres de
un menor no "han prestado su consentimiento,ste no podr contraer matrimonio. Aparentementeeste razonamiento, que se realiza constantementeen
la prctica del derecho, es una aplicacin directa del principio de no contradiccin. Pero si as fuera, la negacin se aplicara a toda la expresin,lo que
no es el caso, porque se aplica a la vez al antecedentey al consecuente. En
realidad se trata de un principio lgico, que no es el de contradiccin, sino
el de la "implicacin inversa". Y su aplicacin, aunque desde el punto de
vista intuitivo es evidente, no es tan simple desde el punto de vista lgico,
porque la formalizacin coligativa del artculo presenta cierta dificultades. A
primera vista el antecedente (la condicin jurdica) es el consentimiento
de los padres del menor, el consecuente (la consecuenciajurdica) es la posibilidad del menor de contraer matrimonio. Esta interpretacin es inexacta
TEORA DE LA DEDUCCIN
JURDICA
289
porque, si as fuera, al ser verdadera la proposicin que enuncia el consentimiento de los padres,debera de serlo tambin la que enuncia la posibilidad
de casarsedel menor. Pero esta implicacin no es siempre verdadera,porque,
ademsdel consentimientode los padres (y ademsde los requisitos generales
presupuestosen todo cdigo, como nacionalidad,domicilio, etc.), se requieren
otras condiciones. AS, es posible que los padres hayan dado su consentimiento, pero que los menores que pretenden contraer matrimonio sean parientes
consanguneoscolaterales de primer grado. Entonces el mero consentimiento
no implicara la posibilidad de contraer matrimonio. Para que la implicacin
sea verdaderahay que agregar,conjuntivamenteal consentimiento,el cumplimiento de las condiciones que muestranla inexistencia de los impedimentos.
Esto es correcto lgicamente. Pero del sentido estricto del texto se puede
despr;nder una interpretacin coligativa ms simple. Porque si bien el consentimientono es una condicin suficiente, es, en cambio, una condicin necesaria (el mismo texto lo dice: los menoresnecesitan del consentimiento).
y si es una condicin necesaria,est implicada por la otra proposicin, por la
proposicin que enuncia la posibilidad de contraermatrimonio. Si enunciamos
estaproposicin en relacin a un sujetoindeterminado,tendremos:
El menor x puede contraermatrimonio.
y si enunciamosla anterior proposicin en relacin al mismo sujeto,podemosponer:
290
TEORtA
DE LA DEDUCCIN
291
JURDICA
p 1\ q.:p .r
Por lo tanto, contrario sensu, se podr poner:
""' (p 1\ q).:p . ""' r
Pero, como ya hemos visto,
(p 1\ q)
== ""' P v,.."
MIR
QUESADA