Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LGICA JURDICA:
Instrumento indislJen.sable para
el juez y el abogad.o litigante
Gu atenlala, 2010
340.1
R778
Impresin
Serviprensa S.A.
3a avenida 14-62, zona 1
PBX: 2245-8888
Correo electrnico: gerenciageneral@serviprensa.com
www.serviprensa.com
Guatemala, Guatemala
AUTORIDADES DE LA
UNIVERSIDAD RAFAEL LANDVAR
Rector
Vicerrectora Acadmica
Vicerrector Administrativo
Vicerrector de Investigacin y Proyeccin
Vicerrector de Integracin Universitaria
Secretaria General
Indice
Presentacin / xv
Prlogo / xix
Introduccin / xxiii
CAPTULO I
LGICA GENERAL
A. Definicin /3
1. Definicin nominal etimolgica /3
2. Definicin real / 4
B. Principios lgicos supremos /6
1. Principio de identidad / 6
2. Principio de no-contradiccin /7
3. Principio de tercio excluso (tercero excluido) /8
4. Principio de razn suficiente /8
C. Estructuras del pensamiento /10
1. Concepto /10
a. Definicin / 11
b. Comprensin y extensin /12
c. Propiedades /13
d. Divisin / 13
d.1. Por su extensin / 14
d.2. Por su comprensin / 16
d.3. Por sus relaciones / 17
e. Los predicables /18
e.1. Predicables esenciales / 19
e.2. Predicables no esenciales o accidentales / 20
f. rboles lgicos /21
2. Juicio / 22
a. Definicin / 23
b. Elementos / 24
Vll
Vl11
CAPTULO 11
LGICA MATEMTICA
A. Definicin /58
B. Lgica proposicional/59
1. Variables proposicionales /63
2. Constantes o conectivas lgicas y tablas de verdad / 64
a. Negador /64
b. Conyuntor /65
c. Disyuntor /65
d. Condicional o implicador /66
e. Bicondicional o equivalencia /67
3. Smbolos auxiliares /68
4. Frmula proposicional y reglas para su formacin /69
5. Funciones de verdad y clculo lgico: tautologa,
contradiccin y contingencia /71
6. Leyes lgicas y reglas de inferencia /76
C. Lgica de las clases /80
1. Definicin de clase /81
2. Denotacin de los conjuntos y su expresin simblica /82
3. Principio de extensionalidad de las clases /84
4. Relaciones entre conjuntos /84
5. Operaciones bsicas o elementales entre conjuntos /85
a. Unin /85
b. Interseccin /86
c. Diferencia /86
d. Complemento /86
6. Estructuras del pensamiento en lgica de clases /87
a. El concepto /87
b. El juicio categrico /87
c. El raciocinio en su expresin de silogismo categrico /91
D; Lgica de las relaciones /94
1. Juicios relacionales: elementos y expresin simblica /94
IX
Xl1
CONCLUSIONES /341
RECOMENDACIONES /349
LISTADO DE REFERENCIAS /351
A. Referencias bibliogrficas /351
B. Referencias nonnativas /354
C. Referencias electrnicas /354
D. Otras referencias /355
ANEXOS
Anexo 1.
Anexo 2.
Anexo 3.
Anexo 4.
Anexo 5.
Anexo 6.
Anexo 7.
Anexo 8.
Anexo 9.
Anexo 10.
Anexo 11.
Anexo 12.
Anexo 13.
Anexo 14.
Anexo 15.
XlII
PRESENTACIN
xv
Director
Instituto de Investigaciones Jurdicas
Universidad Rafael Landvar
Guatemala, septiembre de 2010
XVIl
PRLOGO
El razonamiento jurdico, tanto en su forma lgica como en su contenido de verdad y de identidad, es fundmnental para toda la actividad
judicial, y ms para el dictamen de una sentencia justa.
La investigacin del Lic. Fernando Javier Rosales Gramajo, estudia
las bases tericas de la lgica jurdica, y su aplicacin al proceso de elaboracin de las pruebas de los abogados litigantes y del juez encargado
de redactar la sentencia. Las dos partes, la especulativa y la normativa,
poseen su punto de encuentro en la necesidad de la vida real, que exige
la recopilacin de pruebas acerca de la responsabilidad de los individuos sometidos a juicio y la aplicacin de las leyes.
Era indispensable presentar la lgica como ciencia independiente,
que a su vez es necesaria, con10 estructura racional del discurso jurdico,
tanto especulativo como normativo. El recorrido histrico por la evolucin del razonamiento lgico, proporciona la prueba de las progresivas
conquistas que la han desarrollado, y al Inismo tiempo de la coherencia
entre los momentos histricos de esta disciplina. Slo existe una lgica,.:
no hay contradiccin ni discontinuidad entre la lgica aristotlica y su
desarrollo Medieval, el discurso del RenaciIniento y la lgica del Positivismo, lo cual revela la unidad y continuidad de las estructuras del
pensamiento humano y su valor general para todos los tiempos.
Desde el siglo XIX a nuestros das el proceso de formalizacin ha
ensanchado el horizonte de la lgica, derivando su abstraccin de la
matemtica, y al mismo tieInpo ofreciendo a la matemtica nuevos instrumentos de clculo y de creatividad racional. En el campo jurdico hay
aplicacin de la lgica silogstica en las leyes romanas, pero mil aos
antes hay lgica en el Cdice de Hammurabi y los siguientes.
La aplicacin de la lgica matemtica por Boole, Hilbert, Peano, Ber-~
trand Russell, Whitehead y Godel, perfecciona el uso de los smbolos"
y ampla la formalizacin; y termina en la llamada lgica matemtica
XIX
xx
XXI
INTRODUCCIN
La lgica jurdica "formal" es producto, en gran parte, del estudio
y aplicacin de la lgica aristotlica y la lgica matemtica en diversas
actividades importantes del derecho, la historia corrobora lo que se afirma.
En relacin con la lgica clsica, Savigny, citado por Norberto
Bobbio, resalt su admiracin por los jurisconsultos romanos, de quienes
apreci la aplicacin de la lgica general en el derecho, ya que manifest:
" ... el entero procedimiento de ellos adquiere una seguridad que no se encuentra
fuera de la matemtica, al grado de que puede decirse sin exageracin que ellos
calculan con sus conceptos ... "1.
Tan importante ha sido el empleo de esta ciencia formal, que marc
etapas histricas de las ciencias jurdicas y sociales, como el "Positivismo
jurdico" (siglo diecinueve), que propuso que los jueces deben resolver
en sentencia con el silogismo jurdico (expresin del razonamiento
deductivo), y el "Formalismo neo-kantiano" (desde principios del siglo
veinte), que aplic la lgica como herramienta para determinar la forma
del derecho.
Claramente, la expresin del raciocinio de los jueces no se agota
con un simple silogismo, porque no se puede mecanizar la funcin
jurisdiccional ni comprender en esa estructura todos los elementos a
considerar y sobre los que se debe pronunciar.
Hasta mediados del siglo veinte, con aplicaciones de la lgica
matemtica, dos autores importantes empezaron a hacerse notar: Ceorge
Hemick Von Wright y Eduardo Carda Mynez, quienes representan las
vertientes de la lgica dentica modal y no modal, respectivamente.
En las obras de este ltimo se aprecia en sus estudios sobre los
elementos del pensamiento jurdico, algunas de las aplicaciones de la
1
Esta expresin es, para Norberto Bobbio, una de las que utiliz Savigny para justificar
retrospectivamente la jurisprudencia de los conceptos. Bobbio, Norberto. Derecho y
lgica. Traduccin de: Alejandro Rossi, Mxico, Imprenta universitaria de la Univer-:. .
sidad Nacional Autnoma de Mxico (Centro de Estudios Filosficos), 1965, primera
edicin, pgina: 14.
XXll1
XXIV
3
4
xxv
2.
Ferrater Mora, Jos, y Hugues Leblanc. Lgica matemtica. Mxico, Editorial Fondo de
Cultura Econmica, 1994, duodcima reimpresin de la segunda edicin, pginas:
9-13 y 20.
Witker, Jorge, y Rogelio Larios. Metodologa jurdica. Mxico, McGraw-Hill interamericana
editores, Sociedad Annima, 1997, primera edicin, pginas: 3, 72 Y 73.
Velsquez Carrera, Jos Fernando. Introduccin a la lgica jurdica (anlisis comparativo
del modelo de Eduardo Garca Mynez con algunos otros de lgica jurdica contempornea). Guatemala, Editorial Estudiantil Fnix, 2002, tercera edicin, pgina: 8
Ibid., pginas: 7-9 y 15-24.
7
8
XXVI
2.
a.
b.
c.
11
Una entrevista estructurada limitara el objetivo del instrumento, porque habra que
sujetarse en base a una serie de preguntas previamente elaboradas (que tendran que
concebir las posibles respuestas para tener por suficientes las mismas), y, una entr:-evista no estructurada, por el contrario, carecera de una base slida que permitira
dar inicio, de manera uniforme, a todas las entrevistas.
XXIX
3.
4.
Sinttico, ya que luego de tratar cada elemento de estudio, se integraron los mismos para aprehenderlos en su totalidad, verbigracia:
el pensamiento jurdico como elemento de anlisis en determinadc
ejemplo o teora con el que se demostrar la utilidad de la lgica jurdica como instrumento indispensable para la realizacin de diversas
actividades del juez y del abogado litigante.
3.
4.
xxx
5.
6.
7.
8.
9.
XXXI