1

Tema I

INTRODUCCIN A LA
LGICA FORMAL
2
Concepto de Lgica Formal
"Es aquella parte de la teora de la ciencia en que se
formulan las reglas de razonamiento necesarias
para la construccin de cualquier ciencia. [Dicha
teora es formal...] puesto que ella indica cmo, a
partir de proposiciones que estn dadas de
antemano, se pueden extraer otras que no lo estn,
sin que para esto sea necesario tomar en cuenta el
significado material de las proposiciones. Por ello
[...] brinda un sistema de reglas que nos permite
distinguir entre argumentaciones vlidas y no
vlidas
KLUG, Ulrich (1990) Lgica Jurdica. Temis, Bogot. p. 1-2
3
Concepto de Lgica Jurdica
"Es la teora de las reglas lgico-formales
que llegan a emplearse en la aplicacin del
derecho.

KLUG (1990: 8)

4
Importancia de la Lgica para la
Magistratura
"En la fundamentacin de cualquier sentencia
judicial se utilizan las reglas de la lgica - jurdica.
Siempre se argumenta, es decir, se derivan
consecuencias. Pero las leyes lgicas tomadas en
cuenta en tales casos han sido utilizadas hasta
ahora en forma inconsciente o, por lo menos, no
reflexiva; [aunque paradjicamente...] entre los
juristas, no es raro notar un singular recelo,
revestido de superioridad frente a la lgica".

KLUG (1990: 8-9).
5
Principios de la logica clasica
(bivalente)
Principio de Identidad:
Algo es igual a s mismo, y una proposicin a s
misma. Contra este principio pueden atentar los
problemas de ambigedad o vaguedad del
lenguaje.

Principio de no contradiccin:
Es imposible afirmar y negar un atributo
respecto a un mismo objeto en la misma
circunstancia.
6
Principios de la logica clasica
(bivalente)
Principio de tercio excluido:
Cuando dos proposiciones estn unidas por
una disyuncin exclusiva,, que representa
su oposicin antagnica, no existe trmino
medio. Es cierta una afirmacin o su
contraria.

MIXAN, Florencio (1998,) Lgico para Operadores del
Derecho. Trujillo, BLG. p. 12-20.
7
Inferencia Lgica
"La inferencia es un proceso discursivo que
partiendo de uno o ms juicios (denominados
premisas) y aplicando los cnones lgicos
pertinentes, conduce a obtener un nuevo juicio
llamado conclusin". Las inferencias pueden ser
inmediatas, si la conclusin se obtiene de una
sola premisa, como en el caso de premisas
contrarias. Las inferencias pueden ser Mediatas
cuando emplean dos o ms premisas para obtener
la conclusin.
MIXAN (1998: 41-47)
8
Concepto de Validez Deductiva
...la nocin de argumento lgico puede definirse
de la siguiente manera: Tenemos una implicacin o
una inferencia lgica o una argumentacin vlida
(deductivamente), cuando la conclusin
necesariamente es verdadera si las premisas son
verdaderas

[Tomando de QUESADA, Daniel (1985) La Lgica y su filosofa.
Introduccin a la Lgiaca. Barcanova, Barcelona].
ATIENZA, Manuel (1991) Las Razones del Derecho. Teoras de la
Argumentacin Jurdica. CEC, Madrid. P.31.
9
Ejemplo de validez deductiva
Todos los poetas son imbciles.
El ministro es un poeta.
Por tanto, el ministro es un imbcil,

ATIENZA (1991:27)


10
Silogismo categrico (clsico)
Todos los M son P
Todos los S son M
Luego, todos los S son P


11
Silogismo Hipottico
La inferencia condicional se efecta teniendo
como premisas una proposicin condicional,
conformada por un antecedente y un
consecuente. Se clasifica en:

Modus Ponens:
P - Q
P
Luego Q
12
Silogismo Hipottico
Modus Tollens

P - Q
-Q

Luego -P
Hiptesis Neta

P - Q
Q ->R

Luego P -> R
13
Ejemplo de silogismo hipottico
Si alguien mata ser condenado.
Pedro ha matado a Juan.
Por tanto,
Pedro ser condenado
14
Razonamiento incorrecto
Causas especficas de inferencias incorrectas
son:
- Inexistencia de conexin entre las premisas:
La conclusin no es tal porque no se deriva
de las premisas (non sequitur).
- Error o infraccin de reglas de inferencia:
Vician el raciocinio a pesar de que la tesis
materia de demostracin sea verdadera
(falacias).

MIXAN (1 998: 69).
15
Ambigedad (homonimia)
"Resulta de emplear una palabra o smbolo sin
la debida especificacin de su acepcin para el
caso por lo que el destinatario de la
comunicacin puede entenderla en uno u otro
sentido".

MIXAN (1 990: 70).
16
Proposicin Anfibolgica
"Resulta por defecto de sintaxis, por error de
puntuacin. Esta deficiencia determina que la
proposicin sea tambin entendida en ms de un
sentido".

MIXAN (1 998: 70).

17
Falsa Causa
"Se comete la incorreccin cuando se afirma
una conclusin sealando como causa de un
suceso a algo que, en realidad no es tal. [As...]
es frecuente fijarse mecanicistamente en la
mera sucesin temporal de acontecimientos y
considerarlos como concatenados causalmente,
cuando en realidad son acontecimientos
totalmente independientes".

MIXAN (1 998: 73).
18
Falsa Oposicion Lgica
Se incurre en ella "cuando en un debate o
discusin se imputa al oponente una
afirmacin o negacin que l no ha formulado
ni siquiera implcitamente, y acto seguido se
esgrimen argumentos para refutar esa
afirmacin o negacin".

MIXAN (1 990: 79)
19
Peticion de Principio
Consiste en tomar, disimuladamente, como
principio de demostracin una proposicin carente
de evidencia. Se forma un crculo vicioso cuando
la demostracin recproca de dos proposiciones se
produce arguyendo una como fundamento de la
otra y viceversa.

MIXAN (1990: 80)
20
Sustitucin de la Tesis
Se produce cuando se suplanta total o
parcialmente el tema, la tesis en debate o la
respuesta a la pregunta formulada.

MIXAN (1990: 81)
21
CONCEPCIONES SOBRE
EL SILOGISMO JURIDICO
22
Logica de Predicados
(silogismos)
"Desde el punto de vista de la lgica tradicional,
se describe la forma bsica del razonamiento
jurdico como una aplicacin de la conocida figura
silogstica denominada, desde la Escolstica,
modos brbara [el mismo que dice ... ]:

Todos los M son P
Todos los S son M
Luego, todos los S son P"

KLUG (1990:61)
23
Teora del Silogismo Judicial
"Es la tesis segn la cual la decisin judicial es
el resultado de la subsuncin de un hecho bajo
una norma jurdica. La premisa mayor est
constituida por la norma jurdica que establece
un hecho (caso genrico) que debe tener o
tiene, segn las diferentes formulaciones,
determinadas consecuencias jurdicas.

24
Teora del Silogismo Judicial
(contina)
La premisa menor es una proposicin factual segn
la cual el hecho (caso individual) ha tenido lugar en
un determinado momento y lugar y pertenece a la
clase de supuestos previstos por la norma que
constituye la premisa mayor. La conclusin es la
decisin judicial, en la que el caso concreto se
vincula a las consecuencias jurdicas establecidas
por la norma jurdica".

ITURRALDE, Victoria (1991 ) "Sobre el Silogismo Judicial" En: Anuario de
Filosofa del Derecho. VIII.
25
El silogismo segn Larenz
El silogismo de determinacin de la
consecuencia jurdica, para este autor, se
representa as:

-Para todo caso de S rige C
-H es un caso de S
-Para H rige C

ITURRALDE 1991
26
El silogismo segn
Wrblewsky (1)
El autor entiende el silogismo jurdico
como un esquema de razonamiento,
considerando que es una manera adecuada
de justificar la decisin judicial como una
decisin racional. De su tipologa,
presentamos tres variantes:
27
1) Silogismo de Subsuncin

El hecho F tiene la consecuencia C 1
El hecho del caso F se ha producido
efectivamente.
El hecho del caso F tiene la
consecuencia C1
El silogismo segn
Wrblewsky (2)
28
2) Silogismo Decisional simple:

El hecho F tiene la consecuencia Cx
El hecho del caso F se ha producido
efectivamente
El hecho del caso F tiene las consecuencias
C1 o C2

El silogismo segn
Wrblewsky (3)
29
3) Silogismo de eleccin de consecuencias

Las caractersticas A1, A2, Ax del hecho F
implican la eleccin de la consecuencia C1,
C2, Cx.
El hecho del caso F est caracterizado por
Ax.
El hecho del caso F tiene la consecuencia
El silogismo segn
Wrblewsky (4)
30
Teora Explicativa del
Silogismo (1)
... significa que el silogismo puede servir
para explicar que el juez tom una
determinada decisin...
Desde este punto de vista, la accin del juez se
considera un acto creativo y la comprensin
de dicha accin consiste en la descripcin de
ese acto...
31
Teora Explicativa del
Silogismo (2)
...el juez es considerado como un agente que
intenta alcanzar ciertos fines y que tiene a su
disposicin cierta informacin. En base a esto
intentar descubrir un medio o herramienta (el
silogismo) que garantice la realizacin de sus
fines, y la decisin debe estar de acuerdo con el
sistema de fines subyacentes al sistema jurdico".

ITURRALDE 1991
32
Teora Descriptiva del Silogismo
Jurdico
... significa que de hecho las decisiones
judiciales se justifican a travs del silogismo. La
verdad o no de
esta afirmacin puede determinarse por el anlisis
emprico de las sentencias judiciales".

ITURRALDE 1991

33
Teora Normativa del Silogismo
Jurdico
... la teora del silogismo jurdico constituye una
directiva dirigida a los jueces acerca del cmo
deben aplicar el derecho. Bajo (esta teora ... )
muchas veces subyace una prescripcin del
siguiente tenor: la aplicacin judicial debe estar de
acuerdo con el esquema silogstico porque a travs
del mismo se garantizan valores jurdicos como los
de legalidad, seguridad, certeza jurdica, etc.,
evitndose, al mismo tiempo cualquier posibilidad
de creacin judicial del Derecho.

ITURRALDE 1991
34
Teora del silogismo como medio
de control racional
"Podramos decir que en el nico sentido en que
la teora del silogismo jurdico podra tener
alguna virtualidad es (como ... ) medio de control
de la racionalidad de la decisin; y admitir como
requisito de la racionalidad interna de la decisin
judicial el respeto de las reglas del silogismo:
Ahora bien, hay que decir, en primer lugar, que
supone admitir una tesis prescriptiva:
35
Teora del silogismo como medio
de control racional (continua)
que el silogismo es un requisito sine qua non
para calificar una decisin judicial
comoracional. En segundo trmino, presupone
la virtualidad del silogismo ( ... ) para tratar las
sentencias judiciales ...

ITURRALDE 1991

36
LIMITES DE LA LOGICA EN
EL ANALISIS JURIDICO
37
Critica al silogismo teorico

... la lgica formal a la que se apela como
esquema de la decisin judicial, y el silogismo
terico en particular, tratan con proposiciones, es
decir, con enunciados susceptibles de verdad o
falsedad. Y las normas no pertenecen a la
categora de proposiciones, por lo que no pueden
ocupar el lugar de premisas de una decisin
judicial. [Sin embargo ...] un silogismo... tendra
como premisa mayor una proposicin normativa
acerca del derecho vlido y, como premisa menor,
otra proposicin acerca de unos determinados
hechos (...)
38
Critica al silogismo teorico
(continua)
En ambos casos no se trata de normas, sino de
proposiciones normativas. La premisa mayor
podra decirse que es susceptible de verdad o
falsedad atendiendo a las prescripciones del
ordenamiento jurdico sobre validez normativa; y
la menor atendiendo a los criterios de verdad
jurdica. Por ltimo, la conclusin tendr el
carcter de una verdad lgica derivaba de la
verdad de las premisas".

ITURRALDE 1991
39
"[No obstante...] lo que se establece en una
sentencia judicial es una norma de accin,
prescriptiva, y por tanto no susceptible de
verdad o falsedad. Por tanto, si alguna forma
de inferencia se aplica a las decisiones
judiciales, sta no puede en ningn caso servir
para dar cuenta del proceso real de toma de
decisin..."

ITURRALDE 1991
Critica al silogismo teorico
(continua)
40
Critica a la Funcin de
coartada"del silogismo
"A travs del silogismo la decisin judicial
tiende a presentarse no como una cadena
intermedia de la decisin final, sino como la
nica consecuencia posible y correcta de las
premisas".

ITURRALDE 1991.
41
Critica a la Funcin de
Coartada" del silogismo
Si el resultado no atractivo, dado por ejemplo un
particular texto jurdico, es presentado sin
embargo como lgicamente obligatorio...
entonces e est cometiendo un error de
razonamiento (...) Esto significa que el argumento
es considerado (injustamente) como vlido en un
sentido absoluto, y que la conclusin se presenta
(injustamente) como lgicamente obligatoria...
De esta forma la lgica recibe una autoridad que
no merece".
42
Crtica al Enmascaramiento" del
silogismo
... cuanto ms se estructura la motivacin segn el
modo deductivo, tanto menos emergen los rasgos
esenciales en la justificacin de una decisin que se
asume no es el resultado automtico de una serie de
pasos formales; atribuyndole de esta manera un
estatus de certeza y automaticidad a la toma de
decisin. Sobre todo, tienden a ocultarse los
momentos en que se efectan elecciones
interpretativas y la enunciacin de los juicios de
valor y de apreciaciones subjetivas del juez".

ITURRALDE 1991
43
Critica a la Plenitud del
Silogismo
En principio, la teora del silogismo plantea que
el razonamiento judicial se agota en la
construccin de las premisas y la necesaria
deduccin de la conclusin, siendo sta la
decisin del juzgador. Sin embargo, usualmente
la conclusin no es la decisin final, completa y
mandataria, sino slo un eslabn en el proceso
sentenciador.
44
Critica a la Plenitud del
Silogismo
La decisin final se toma despus de construir
una cadena de silogismos, en la que se va
determinando progresivamente, con mayor
precisin, la consecuencia jurdica que se
atribuir los hechos del caso.

ATIENZA 1991: 40-42
45
Insuficiencia de la Lgica para la
Justificacin Judicial
...Si el nico mecanismo para el control
racional de [las decisiones judiciales] fuera la
lgica formal deductiva (...), entonces habra
muchos aspectos del mismo de los que no se
podra dar cuenta. Pues la lgica no dice nada
sobre cmo establecer las premisas; tampoco
sobre cmo pasar de las premisas a la
conclusin, sino tan slo si un determinado paso
est o no autorizado; slo proporciona criterios
formales de correccin;
46
Insuficiencia de la Lgica para la
Justificacin Judicial
No considera como argumentos vlidos aqullos
en el que el paso de las premisas a la conclusin
no es necesario, sino meramente plausible; no
permite explicar satisfactoriamente algunos de
los argumentos ms tpicamente jurdicos como
el argumento por analoga (...); no determina la
decisin como tal, sino, en el mejor de los casos,
el enunciado normativo que es la conclusin el
silogismo judicial".

ATIENZA (1992: 1018)
47
Corolario
"La vida del derecho... no ha sido slo
lgica, sino tambin experiencia".

ATIENZA (1992: 1018)