Professional Documents
Culture Documents
LGICA GENERAL
CAPTULO 1
LOGICA GENERAL
,
DEFINICIN
1.
12 Juan Jos Sanguineti expresa que las definiciones pueden ser nominales, si expresan
el significado de un trmino, o reales, si expresan la esencia de la cosa. Sanguineti,
Juan Jos. Op. cit., pginas: 85-88.
13 Moro, Mario. Pensamiento, lenguaje y accin. Guatemala, Impresos Industriales, 19781.
pgina: 13.
14 Benlloch !barra, E., y, C. Tejedor Campomanes. Op. cit., pgina: 23.
1/
2.
Definicin real
/J
15
16
17
18
19
20
l~ tI S ,\ U',
21
22
Principio de identidad
Antonio Conzlez, al discernir entre lgica y teora del conocimiento, afirma que ambas se ocupan de la correccin del pensamiento: la gnoseologa desde la perspectiva
de su verdad, la relacin entre la inteligencia humana y la realidad, y la lgica desde
la perspectiva de su validez, porque prescinde de los contenidos de la inteligencia
humana para atender las leyes formales que rigen los razonamientos. Lo anterior
constituye el fundamento para sostener que en la actualidad la lgica general, como
disciplina formal, no busca dirigir el entendimiento al conocimiento de la verdad,
entendida sta como la conformidad del pensamiento con la realidad. Conzlez,
Antonio. Op. cit., pginas: 109 y 113.
25 Aristteles. Op. cit., pgina: 167.
26 Mario Moro manifiesta que la forma ontolgica de este principio es: liTado ser es lo que
es". Moro, Mario. Op. cit., pgina: 6l.
27 Eduardo Carda Mynez, jurista, estudia paralelamente a cada forma del pensamiento
jurdico los elementos que constituyen el objeto de estudio de la lgica clsica, y expresa que la forma ontolgica de este principio es: "Todo objeto es idntico a s mismo ".
Carda Mynez, Eduardo. Introduccin a la lgica jurdica. Mxico, Editorial Fondo de
Cultura Econmica, 1951, primera edicin, pgina: 168.
24
I.J! .
/l
2. Principio de no-contradiccin
Mario Moro determina que este principio consiste en: "Dos juicios,
de los cuales uno afirma lo que el otro niega, no pueden ser simultneamente
verdaderos "31.
Padilla M., Luis Alberto. Introduccin a la lgica jurdica. Guatemala, Editorial Universitaria, 1984, reimpresin de la edicin de 1980, pgina: 17.
29 La letra "p" es una variable proposicional, por lo que representa una proposicin
determinada en dicha frmula que simboliza el principio de identidad. Este tipo de
expresiones se estudiarn en la lgica matemtica.
30 Gonzles, Ani.onio. Op. cit., pgina: 141.
31 El mismo filsofo dice que la formulacin ontolgica de este principio es la siguiente:
"El ser en cuanto ser, no puede no ser". Moro, Mario. Op. cit., pgina: 61.
28
l. 1.. )e; 1( ' \ I Uf\! / 1/<. \: f'\J :., I .: 11,\ !I , f\j ('1 / I\i 1Ih /'1 /'J>' \ /i U 1~ \ 1\ ,'\ f' / 1 LIJ O! Y U, / \ l H)C; ; lf )() U n G \\" /l'
33
34
35
36
Eduardo Carda Mynez manifiesta este principio con uso de ciertos elementos del
lenguaje simblico, desde la perspectiva ontolgica, de la siguiente forma: IINingn
objeto puede serl al mismo tiempol P y no PII. Carda Mynez, Eduardo. Introduccin a la
lgica jurdica. Op. cit. Pgina: 168.
Moro, Mario. Op. cit., pgina: 62.
Eduardo Carda Mynez, con algunos elementos del lenguaje formal, afirma que el
principio de tercero excluido en su formulacin ontolgica es: ITodo objeto tiene que
ser necesariamente P o no P". Carda Mynez, Eduardo. Introduccin a la lgica jurdica.
Op. cit., pgina: 168.
Moro, Mario. Op. cit., pgina: 62.
Dicho filsofo del derecho formula este principio, de manera ontolgica, aS: liTado
tiene su razn suficiente". Carda Mynez, Eduardo. Introduccin a la lgica jurdica. Op.
cit., pgina: 168.
L/(' ,
c /,' . \ ,\ 'I
\ /()
Concepto
39
40
41
42
10
Benlloch !barra, E., y, C. Tejedor Campomanes. Op. cit., pginas: 25, 26 Y 33.
Moro, Mario. Op. cit., pgina: 2l.
El acto de concebir se denomina concepto formal, y es objeto de estudio de la psicologa,
en tanto que lo aprehendido en dicho acto se llama concepto objetivo, y es objeto de
estudio de la lgica. Milln Puelles, Antonio. Fundamentos de filosofa. Espaa, Editorial
Rialp, 1981, onceava edicin, pgina: 95.
Los signos, que representa algo distinto de s, se suelen clasificar en naturales y artificiales. Los primeros son definidos como aquellos en los que la relacin del signo con
el objeto significado resulta de la naturaleza misma del signo, y los segundos, como
aquellos en los que la relacin del signo con el objeto significado es convencional. De
estas definiciones se afirma que el trmino es signo artificial del concepto, porque el
lenguaje es convencional, y el concepto es signo natural del objeto, por la naturaleza
de aqul. Benlloch !barra, E., y, C. Tejedor Campomanes. Op. cit., pgina: 33.
a. Definicin
Los filsofos cuyas doctrinas se han analizado conciben al concepto
de la siguiente luanera:
a.lo Benlloch Ibarra, Tejedor Campomanes 46 y Mario Mor0 47
manifiestan que el concepto es la representacin intelectual de un objeto,
abstracta y universal; y,
Garca Mynez, Eduardo. Lgica del concepto jurdico. Mxico, Editorial Fondo de
Cultura Econmica, 1959, pginas: 13-22.
44 Padilla M., Luis Alberto. Op. cit., pginas: 26 y 27.
45 Sergio Custodio s reputa el concepto como la suma de las notas esenciales o comunes
de la cosa con las dems de su especie, porque lo define como " ... el producto mental
de un proceso lgico que consiste en sintetizar las caractersticas comunes de una clase de objetos,
relaciones, procesos o fenmenos ... ". Custodio, Sergio. Op. cit., pgina: 21.
46 Benlloch Ibarra, E., y C. Tejedor Campomanes. Op. cit., pginas: 25 y 26.
47 Moro, Mario. Op. cit., pgina: 21.
43
11
LelC /C',\ JUlU/l:. \: l \:-; / W / :\J ~ ,\ 'j'U l.\'I.J /Spr ,\ (", IUIJ ' V\K.\ u U / '/ y U .. \I3Uc; .. \J )() Un C \ N'/'I-,
b. Comprensin y extensin
La comprensin del concepto tambin es denominada por Mario
Moro como" contenido" o por Sergio Custodio como "intensin".
Benlloch Ibarra, E. y Tejedor Campomanes definen la comprensin
del concepto como el conjunto de notas o propiedades que constituyen
la esencia representada por un concepto50 . Ejemplo: el concepto referido
por el trmino "hombre" contiene las notas "substancia", "cuerpo",
"animado", "sensitiva", "animal" y "racional"51. En este punto Eduardo
Carda Mynez52, siguiendo a Wundt, y Luis Alberto Padilla53 agregan
que el concepto tiene otra caracterstica esencial, que es su conexin con
otros conceptos, la cual se evidencia con su comprensin. En el ejemplo
citado: "substancia", "cuerpo", "viviente", etc., son palabras que aluden
otros conceptos.
Carca Mynez, Eduardo. Lgica del concepto jur(dico. Op. cit., pginas: 22 y 23.
Padilla M., Luis Alberto. Op. cit., pgina: 27.
Benlloch Ibarra, E. y C. Tejedor Campomanes. Op. cit., pgina: 27.
Las notas que contiene un concepto son el gnero supremo, gneros subalternos,
gnero prximo y diferencia especfica. Ver rboles lgicos en la pgina 24.
52 Carca Mynez, Eduardo. Lgica del concepto jur(dico. Op. cit., pginas: 32 y 33.
53 Padilla M., Luis Alberto. Op. cit., pgina: 28.
48
49
50
51
12
Propiedades
d. Divisin
Los conceptos se dividen por razn de su extensin, comprensin y
relaciones entre s57
54
55
56
57
13
confuso, si el concepto se distingue de los dems a bulto (el concepto de "len" como
el concepto de "cuadrpedo"); y, c. distinto, si se conoce a perfeccin (el concepto
de "len" como el concepto de "animal irracional"). Benlloch Ibarra, E. y C. Tejedor
Campomanes. Op. cit., pgina: 29.
58 Los conceptos universales han generado profundas discusiones filosficas en torno a
su existencia. Varias corrientes filosficas han tratado el tema de la siguiente manera:
a. el realismo exagerado, iniciado por Platn, sostiene que las palabras y conceptos
universales son naturalezas eternas, inmutables e inteligibles que subsisten con independencia de los individuos que pueden poseerlas; b. el realismo moderado, que
inici Aristteles, afirma que los conceptos universales son una propiedad de nuestros
conceptos, y que existen de manera individualizada en las cosas; c. el nominalismo
predica la universalidad nicamente de los trminos o palabras, negando tal carcter
a los conceptos y a las esencias, porque solo existen seres o propiedades individuales;
y, d. el conceptualismo admite que los universales son conceptos aplicables a la experiencia para unificarla pero sin que implique una estructura inteligible de las cosas.
Sanguineti, Juan Jos. Op. cit., pginas: 50 a 55. Este problema ha sido compilado por
Jos Antonio Robles, desde la postura del realismo y la de sus crticos. Robles, Jos
Antonio (compilador). El problema de los universales (el realismo y sus crticos). Mxico,
Editorial de la Universidad Nacional Autnoma de Mxico, 1980, primera edicin.
59 Mario Moro clasifica los trminos por razn de su significacin en categoremticos,
si tienen significado propio, y sincategoremticos, si tienen significado slo si estn
unidos a otro trmino. Entre los trminos sincategoremticos estn los artculos, los
adjetivos y los pronombres. Moro, Mario. Op. cit., pgina: 26. A dicha clasificacin
tambin corresponde otra de los conceptos por el mismo criterio, las cuales son
denominadas por Edmund Husserl, citado por Eduardo Garca Maynez, como significaciones categoremticas y sincategoremticas. Garca Mynez, Eduardo. Lgica
del concepto furdico. Op. cit .. pginas: 107-112.
14
15
muy complejo acompaiiado de ulla imagen sellsible"62; y, ii. Mario Moro duda la
existencia de conceptos singulares partiendo de la definicin de concepto
(es un elelnento abstracto)63.
La solucin del problema indicado corresponde a la filosofa de
la lgica, por lo que slo se indicar que la denominacin "concepto
singular" es incompatible, ya que por definicin el "concepto" es
universal, no singular.
62
63
64
65
66
67
16
17
Los predicables
68
18
19
"
:!
g:herb; y, i.2. Propiedad especfica: conviene solo 'a una' esp'cieHe' m':,tno
'g~iifo.
:'
;,
, ,' ;', ,Qe lo anterior es notorio que entre los predicables existan rel;l.ciones:
,Y-J;l.)ghero ,FHnprende varias especies, divididas s~g:n lqsdifer~Ps\as
especficas entre stas, particin que se puede segllir forIl)~lapd<?: bqp'~q
llS especies nfimas, las cuales ya no admiten divisin porque slo
~omprenden 'ihdividuos (no existe otra especie inferidr :o 'de in~~os
~~tnsion). Pero el inicio de los gneros no es infinito~ e'xist~rl ' ghrds
75
.76
No es lo mismo una caracterstica esencial que una necesaria: por :la,primera:un ser
e~ laque es, y la segunda es una caracterstica que est presente en el ser, pero no por
ella es el ser. Benlloch !barra, E., y, C. Tejedor Campomanes. Op. cit., 'pgina.; ao.
generalsimos finitos 77, sobre el cual no hay gnero ll1s extenso, es decir,
que no estn contenidos en un concepto superior. De estas relaciones
surgen los rboles lgicos, que a continuacin se analizarn.
rboles lgicos
"... En cada categora hay dertos t.rminos que son generalsimos, otros
especialsimos; luego, entre estos dos extremos, los ms genricos y los ms
especficos, hay 'otros 'Mrm,inos que son a la vez gen eros' y ,especies. El trmino
generalsimo es aquel por 'encima del cual no pede habr 'gnero que le supere;
el trmino especialsimo es aquel p@r bajo del cual no puede haber especie que
le sea inferior ... La sustancia es gnero. Por bajo de ella est el cuerpo; por bajo
del cuerpo, el cuerpo animado bajo el cual est el animal; por bajo del animal, el
animal racio1(al bajo e~ pual est el hombre; bajo elhombfe, Scrates, Platn, y
todos los }zombn!.s ,en particular ... "78.
: ,:'; " " ,
"- "
'(
"
:- ! !.
\:
f \ .. '
,;
"
77 Porfirio afirma que los gneros generalsimos son diez: sustancia, cantidad, cualidad,
relacin, accin, pasin, lugar, tiempo, situacin y hbito. Estos gneros son las categoras que desarrolla Aristteles en su tratado designado Categoras. Aristteles. Op.
' ! ,',al
'
't",., 'p
'
8, ,f!': ,', .. I
"
,
"glrta:
, '1: '
78 .!lbid;; pgina:7. ,,'
,,:,,; " "i ,";' ,, ',
,; , ;' ,
79,' ;; E<liborad 'del estudio de La 'isagbge' de 'Porfirio y la representacin del rbol1gico _
,,' ! Pol:l '~enIlochlbarra y Tejedor Campomanes, Fuentes: a .. Aristteles ~ Gp, cit., pginaS: '
5-18; y, b. Benlloch !barra, E., y C. Tejedor Campomanes. Op. cit., pgina: 32. '
' J'"
', "
' J,'
'
21
1(,
SUBSTANC IA
(gnero supremo)
I
CORP\EA
(diferencia genrica)
INCORP'tEA
(diferencia genrica)
CUERPO
(gnero subalterno)
I
ANIMAtO
(diferencia genrica)
---------::1.,
..
ANIMADO
(gnero sU9alterno)
SENSIBLE
(di ferencia .!o::g_en__ri_c-,a):.-.-_ _---::1.
..
RACIONAL
(diferencia genrica)
f
HOMBRE
(especie)
2.
NO ANIMADO
(diferencia genrica)
NO SENSIBLE
(diferencia genrica)
ANIMAL
(gnero prximo)
I
IRRACIONAL
(diferencia genrica)
MUJER
(especie)
Juicio
80
22
El acto por el cual el entendimiento une o separa dos ideas o conceptos, mediante la
afirmacin o la negacin, se denomina "juicio psicolgico", y es objeto de estudio de
la psicologa, pero el pensamiento que resulta de dicho acto se designa "juicio lgico",
y es objeto de estudio de la lgica. Benlloch !barra, E., y, C. Tejedor Campomanes.
Op. cit., pgina: 37.
I,}( ',
a. Definicin
Esta forma del pensamiento ha sido definida de la siguiente
manera:
a.1. Mario Moro: "Juicio es la operacin mental con la cual afirmamos
negamos algo "85;
23
L.O C /C '\ I U 1\/1 .I/<":/ \: / N" /'1, LI,\H, N ro /N U l:'; rf.N,'i/ \I3U, e'lf\A /:J. JLlJ j
Elementos
b.
alg0 89 .
' ! '
" b.i;' Cncepto~predicado: ' es 'e iconcepto ' quee 'atribuye o niega al
'
"
' ''': :':
co.ncepto.-sujeto.90
, 'b.3. C6ncepfo.:.cpula: es el-conepto que determn~ la' telacin de
conveniencia o no. co.nveniencia:entre' elcoric~ptC~)~sujkt6) y'el :corteptd~'
pre di cad O-c (los une :'oios segJi'ega);' La,cpulaLse ; e~i>resa Iport el.:verbo
se:r.,:" Este .elemento denQta como. ,afirma Eduafdo' Garca ,Mynez~I, las
relaciones entre concepto.-sujeto y concepto-predicado desde.el punto,,d e ,
vistl5ie su ext~n~in y ,coPlp'rens~.n. Pes.4 e;e l prime~q~ ,el co.n<;:~ptplsujeto
~st c~l1}prendido ~n l,l,'~xte~sin. del cot;l;ceptC?,~'pr~di~a?9, p,~ro.; ~,e~d~ el
segundo el conce'pto-predicado. est co.ntenid() , e~ ,el co.D;cepto-suNto." '
,"
\ I
l'
'
'
.'
j'
'
._
'
. . I
.,
1 ,
:"
1 ,
'
.'
,':.
."
'
, , '
:,
'
'
, l . ,:
. '
'
..
'
",'
,:
.. 1 ' : . .
:"
.'
.'
. .
'
~to.s
. . '
'
.~
Enu.lllera~os
I ..
"
"
se
"1
24
J(
'1
:',. "'Adems de ' la funcin del concepto-cpula de unir s'e patar 'l
codce'pto-sujeto y el concepto-predicado, los filsofos y/o lgicos sealan
que la misma tiene una funcin enunciativa, la cual consiste, como
expresan Benlloch Ibarra y Tejedor Campomanes92, en la correspondencia
entr,e lq, q~~ d,i~e el juicio y la realidad. Es por esta ltima funcin del
cOJ,1;t~p~o-:~?pllla;,que motiva la calificacin del juicio en verdadero y falso,
la
algunos lgicos modernos sealan que la lgica clsica:b.l. ha
estudia la verdad en el sentido que interesa a la teora del conocimiento;
y, b.2. se le vincula con la ontologa y la grmntica, debido al uso de un
L~ngHqj~:ll.ptura.l, por ~l cual se clasifica los juicios en base aun moQ.elo
gr;~~ti.cat. y, p~ pretende que los lnismos reflejan la estructura ,de }a,
r~,aHd.ad93~, ;Enefecto( como se estableci al definir la lgica gen~ra~ , y.
al d.esa'r rollar los principios lgicos supremos de no-contradjc.c in
y"d~! : r,a,z:n suficiente, la verdad lgica no es la correspondencia o .la
conformidad del pensamiento con la realidad de las cosas, no o1:Jstapt~
que tal fue su acepcin, ya que la lgica, como ciencia formal, encuentra
81.1 ve'rdad en la congruenCia, coherencia o ausencia de contradkcin en el
peh$aini~rlt' mismo.
.,
por que
,'.
"
1 : 1'.'
,\'
25
1. ()G1C.\ I WUfJll , \: //\/ -; nW,\ II .NIO /\j / )/ ..; /J/-:N." /11./ /',W '\ /:1. I Ll/ j Y t:I . . . \ I3UC:Af.lU U//G i \Y /T
c.
Divisin
Los juicios se dividen por razn de su cantidad, cualidad, el conceptocpula o forma de relacin entre concepto-sujeto y concepto-predicado,
y su modalidad.
95
96
26
97
98
99
100
27
11
101 Algunos filsofos y/o lgicos, como Benlloch !barra y Tejedor Campomanes, efectan
otra divisin de los juicios en: a. simples; y, b. compuestos. Son simples los juicios en
los que se atribuye un concepto-predicado a un concepto-sujeto, e incluye los juicios
categricos. Y son compuestos los juicios siguientes: b.l. copulativos, en los que el
concepto que une los dos juicios gramaticalmente es la conjuncin copulativa y ";
b.2. disyuntivos, en los que el concepto que une los dos juicios gramaticalmente es
la conjuncin disyuntiva "o"; y, b.3. condicionales, en los que el concepto que une
los dos juicios gramaticalmente es la conjuncin condicional "si ... entonces .. ". Esta
divisin es ms completa, empero, se utiliza la clsica que los divide en categricos,
hipotticos y disyuntivos porque se estudiarn los silogismos con el mismo nombre,
ya que utilizan por premisa mayor proposiciones que significan juicios de esos tipos.
Benlloch !barra, E. y C. Tejedor Campomanes. Op. cit., pgina: 39.
/l
28
cA Por la modalidad
Esta divisin del juicio hace alusin, como manifiesta Alejandro
Pfander, citado por Eduardo Carda Mynez, a la manera de la enunciacin, la expresin del grado de certeza del juicio102 Por el modo los
juicios pueden ser:
c.4.l. Apodcticos: son los juicios en los que el concepto-predicado
necesariamente se atribuye o se separa del concepto-sujeto (por
naturaleza). En este tipo de juicios el grado de certeza est potenciado,
o como afirma Alejandro Pfander, citado por Eduardo Carda Mynez: el
juicio tiene una pretensin exaltada de verdad103 Por ejemplo, los juicios
representados con las proposiciones: el hombre" es necesariamente" un
ser racional y todo animal "no es" cuadrpedo, necesariamente.
c.4.2. Asertricos104 : son los juicios en los que el concepto-predicado
efectivamente se predica o se excluye del concepto-sujeto. En este tipo de
juicios el grado de certeza es pleno. Verbigracia, los juicios aludidos cop los
enunciados: Homero "es efectivamente" el autor de la Ilada y los aviones
"no son efectivamente" medios de transporte sin fallas tcnicas.
c.4.3. Problemticos: son los juicios en los que el concepto-predicado
posiblemente conviene o no al concepto-sujeto. En estos juicios el grado
de certeza no es pleno, sino atenuado. Por ejemplo, los juicios expresados
con las proposiciones: Mario" es acaso" arquitecto y Mario "no es acaso"
ingeniero.
102 Carda Mynez, Eduardo. Lgica del juicio jurdico. Op. cit., pgina: 152.
103 Ibid., pgina: 154.
104 Luis Alberto Padilla designa a esta forma del pensamiento como "juicios de existencia" I
porque en los mismos se verifica una simple constatacin. Padilla M., Luis Alberto.
Op. cit., pgina: 50.
29
e.
105 Benlloch Ibarra, E., y, C. Tejedor Campomanes. Op. cit., pgina: 40.
106 'Moro, Mario. Op. cit., pgina: 31.
30
En suma, dos juicios son opuestos si teniendo los mismos conceptosujeto y concepto-predicado, difieren en cualidad, en cantidad o en
ambas.
31
Contrarias
Contra
dictorias
Subalternas
Subalternas
Contra
1
Algn hombre es bueno
108
109
110
111
32
dictorias
Sub-contrarias
o
Algn hombre no es bueno
e.3. En el caso de los juicios sub-contrarios, los dos juicios pueden ser
verdaderos, pero no los dos falsos, porque en el caso que fuera falso el
juicio particular negativo, su juicio contradictorio, el universal afirmativo,
sera verdadero (por aplicacin de la regla estatuida en la literal "e.l~'
que se funda en el principio lgico supremo de no-contradiccin) , y
en consecuencia sera verdadero el juicio particular afirmativo (por
aplicacin del principio" de la verdad del universal se deduce la verdad
de la particular").
33
Razonamiento
113 Algunos filsofos resumen estas reglas de la siguiente manera: a. en materia necesaria
los juicios afirmativos son verdaderos y los negativos falsos; b. en materia imposible los juicios negativos son verdaderos, los afirmativos son falsos; y, c. en materia
contingente los universales son falsos y los particulares verdaderos. Ibid., pginas:
18 y 19.
114 Razonar es objeto de estudio de la psicologa y el razonamiento de la lgica. Benlloch
Ibarra, E., y, C. Tejedor Campomanes. Op. cit., pgina: 44.
115 Diez Calzada, Jos A. Iniciacin a la lgica. Espaa. Editorial Ariel, Sociedad Annima,
2002, primera edicin, pgina: 14.
116 Sanguineti, Juan Jos. Op. cit., pgina: 128.
34
a. Definicin
La naturaleza del razonamiento se ha determinado de la siguiente
manera:
a. Luis Alberto Padilla: "El razonamiento es una operacin lgica por
medio de la cual, a partir de uno o ms juicios, se deriva la verdad o falsedad ...
de otro distinto
117
l/
1/
118
1/
119
y,
117
118
119
120
35
b.1. Deductivo
Es el tipo de razonamiento que de una verdad universal se infiere una
particular o singular, o que del gnero se deriva algo respecto a la especie
o el individuo, o que del todo se infiere algo respecto a sus partes, en fin,
es un tipo de razonamiento que parte de algo general para concluir algo
menos general. Se citarn ejemplos al estudiar el silogismo, en la literal
c" de este captulo.
11
b.2. Inductivo
Es el tipo de razonalniento que Aristteles describe as: " ... De la
36
37
123 Benlloch Ibarra, E., y C. Tejedor Campomanes. Op. cit., pginas: 51 y 52.
124 Este filsofo, como nota histrica, expresa que el razonamiento inductivo completo
se desarroll con Aristteles, pero el incompleto desde Francis Bacon. Moro, Mario.
Op. cit., pginas: 48 y 49.
38
b.2.2. Objeciones
Lo que se objeta de los conocnientos obtenidos por el razonaJniento
inductivo es su lin1itada validez, pues a pesar de que filsofos como
Stuart Mill, citado por Mario Moro 125, justifican o fundan la induccin en
el principio de la "uniformidad de la naturaleza" (que equivale, segn
Mario Moro, al postulado de la existencia de un orden natural y de leyes
naturales), los cientficos da a da muestran que lo que se crea que era ley,
o lo que supona que una cosa era por esencia, resulta siendo algo distinto
de lo concebido. Esta realidad ha generado, como indica el ltimo filsofo
citado, el reconocimiento de: i. la relatividad de las leyes cientficas;
ii.los alcances del mtodo inductivo como el medio para aproximarse al
"orden objetivo de la naturaleza"; y, iii. la tarea filosfica de resaltar los
lmites del mtodo y el conocimiento cientfico.
La discusin filosfica que se genera con los sealamientos adversos
u objeciones al empleo del razonamiento inductivo como mtodo para
formular leyes y determinar la esencia de las cosas, tiene un fondo que
concierne a la metodologa o lgica especial y la teora del conocimiento,
y no a la lgica general, porque corresponde a la primera perfeccionar el
mtodo cientfico, y a la segunda, el conocimiento mismo: su origen, su
posibilidad, su esencia, as como su correspondencia con la realidad de
las cosas.
c. Silogismo
col. Definicin
El silogismo se ha definido de diversos modos:
c.1.1. Aristteles, su autor, precis su naturaleza como
una
enunciacin, en la que, una vez sentadas ciertas proposiciones, se concluye
necesariamente en otra proposicin diferente, slo por el hecho de haber sido
aqullas sentadas. Cuando digo slo por el hecho de haber sido sentadas las
primeras proposiciones, quiero decir que a causa de ellas resulta probada la otra
proposicin ... //126;
JI
39
Ll)C K> \ j Ll RiWL \: /N.C; nW,\.HN I O IN il /SPI-.NS. \U/.l. eAF:' .'1 u jLlF / y 1I. \Li UC,.\I)U un(;. \.\' I'I-:
la
C.1.4. Otros filsofos lo definen como: " ... un conjunto de tres juicios, el
ltimo de los cuales se saca la relacin que existe entre los otros dos"129.
Entre las primeras tres definiciones citadas existen similitudes, y
entre stas con la ltima hay diferencias: i. similitudes: i.l. Aristteles,
Benlloch Ibarra y Tejedor Campomanes afirman que el silogismo es una
enunciacin o expresin verbal de un razonamiento de tipo deductivo,
aunque Aristteles no manifieste explcitamente el ltimo elemento en
su definicin, pero del estudio de su tratado de Primeros analticos es
obvio que se refiere a dicha especie de razonamiento; y, i.2. Mario Moro
tambin coincide, aunque con otros trminos, con la definicin de los
filsofos citados en la literal"i.l." de este prrafo, porque al expresar el
razonamiento deductivo se le est formulando y dotando de estructura
lgica; y, ii. diferencias: ii.1. en la denominacin de los elementos del
silogismo: Aristteles es el nico que acierta en nombrarlos como
proposiciones, porque si el silogismo es la enunciacin, formulacin o
expresin verbal del razonamiento deductivo, el mismo no est integrado
de juicios; y, ii.2. en la cantidad de proposiciones que integran el silogismo:
La ltima definicin es limitada, ya que por el basto contenido y formas
del razonamiento deductivo es absurdo reducir el mismo a slo tres
juicios, y en consecuencia es equivocado generalizar que el silogismo
consta solamente de tres proposiciones.
Analizado lo anterior, se define el silogismo como la enunciacin o
expresin del razonamiento de tipo deductivo, el cual est conformado
de varias proposiciones, de las cuales una es inferida de las otras que le
sirven de fundamento por su relacin; la primera se llama conclusin y
las otras premisas.
128 Benlloch !barra, E., y C. Tejedor Campomanes. Op. cit., pgina: 45.
129 Hermanos maristas. Op. cit., pgina: 20.
40
Ll l ~ ,
c.2.1. Categrico
41
U )C; /(',. \ fLII~ ii l/C \: / N..; n ':' W II ,N / (l/ N / )/</' tN:-; W L I~ '\ /U \ : .1 L// /' Y J.'J . / \ 13U CA f)() U i C .. \,YIF
Con base en las letras expresadas para representar los trminos del
silogismo, ste tiene la siguiente forma o estructura: .
Premisas:
Mayor:
Menor:
Conclusin:
MesP
S es M
S es P
de nullo Todo lo que se dice del universal hay que afirmarlo de cada individuo; y
todo lo que se niega del universal hay que negarlo de cada individuo ... 132
1/:
1/
42
' j)(}
I , l 1'11..1;
44
c.2.4. Entinema
El entinema es el tipo de silogismo que se conforma de dos
proposiciones que representan juicios de tipo categrico; la prime~a
proposicin es una premisa, ya sea la mayor o la menor, y la otra es ra
45
I.L)C /l '/\ JLI1U /L,' , \: 1 \,c; 'J'I~ I. f .II" JLX/U I,\ 'J) /.', I'F ,\", .. II: L./.' I ~, \ K,' \ 1.1. Uf !
c.2.6. Dilema
Es el tipo de silogismo que se integra de cuatro proposiciones: la
primera es una proposicin que representa un juicio de tipo disyuntivo;
la segunda y la tercera juicios de tipo hipottico, que tienen por prtasis
cada una de las alternativas contenidas en el juicio de tipo disyuntivo, y
por apdosis otro juicio distinto con el mismo significado; y la cuarta, la
conclusin, que es el consiguiente de los juicios hipotticos. Las primeras
tres proposiciones son las premisas. Verbigracia:
Premisas:
Tu hermano est sano o est enfermo.
Si tu hermano est sano, entonces que agradezca a Dios por
darle salud.
46
d. Figuras
Aristteles en su tratado Primeros analticos estudi las figuras del
silogismo y las describi aS:
d.1 La primera figura: " ... Cuando tres trminos estn entre s en tal
relacin, que el ltimo est en la totalidad del medio y el medio est o no en la
totalidad del primero, es de necesidad que se forme silogismo completo con los
extremos. Llamo medio al trmino que, estando l mismo encerrado en
otro, encierra l igualmente otro trmino, y se hace entonces medio por
su misma posicin. Los extremos son el trmino que est contenido en otro
trmino y el trmino que contiene igualmente otro trmino ... "134 (lo resaltado
en negrillas es propio).
d.2 La segunda figura: "Cuando un mismo trmino se atribuye de
una parte a todo el primer trmino, y de otra no se dice en manera alguna del
segundo, o bien cuando a la vez se atribuye a los dos por entero, o no se dice de
ninguno de los dos, tiene lugar lo que llamo la segunda figura. Llamo medio
en esta figura al trmino que se atribuye a los otros dos. Llamo extremos
a los trminos a que el medio es atribuido; extremo mayor el que est colocado
cerca del medio, y extremo menor el que est ms distante del medio ... "135 (lo
resaltado en negrillas es propio).
47
/( le /( ::'\ I U/W )/( '... \: /N,')' I /W 1\/1 ::V!U / N I .l/el/'/:: \ '.'1 .. \UU m/\.-I 1:/, I LI 1:>' Y l':! , ,IUUC.' \ Uli TJ/le. \1\ /'/::
Premisas:
Mayor: M- P
Menor: S - M
Conclusin:
S - P
e.
Premisas:
Mayor: P- M
Menor: S - M
Conclusin:
S- P
Premisas:
Mayor: M-P
Menor: M - S
Conclusin:
S-P
Premisas:
Mayor: P-M
Menor: M- S
Conclusin:
S-P
Modos
48
AAA, EA E, Alt
EIO
EA E, AEE, EIO,
AOO
BARBARA
CELARENT
DARII
FERIO
CESARE
CAMESTRES
FESTINO
BAROCO
DARAPTI
FELAPTON
DISAMIS
DATISI
BOCARDO
FERISON
BAMALIP
CALEMES
DIMATIS
FESAPO
FRESISO
49
u )c; IC \ j 11/, 1/ )1(,, 1: 1NS'IIW IVI : rlJ'jO 1,"-lLl l.';j'L \IS, In 11 I ~,'\ I\ / \ :, I U f/: y f:'L . \ IH,)(; .. \f)U une.I/VfI:
Ejemplos:
Del modo DARII (primera figura):
Premisas
Todos los argumentos lgicos son vlidos.
Mayor:
Algunos argumentos jurdicos son argumentos lgicos.
Menor:
Conclusin: Algunos argulnentos jurdicos son vlidos.
Del modo CESARE (segunda figura):
Premisas
Ningn acto del juez es un acto de parte procesal.
Mayor:
Todo acto del demandante es un acto de parte procesal.
Menor:
Conclusin: Ningn acto del demandante es un acto del juez.
Del modo FERISON (tercera figura)141:
Premisas
Mayor:
Ningn sofista es creble.
Algn sofista es abogado.
Menor:
Conclusin: Algn abogado no es creble.
D. APLICACIONES DE LA LGICA GENERAL
141 Tomado literahnente de Juan Jos Sanguineti. Sanguineti, Juan Jos. Op. cit., pgina: 138.
50
51
142 Prez, Luis Enrique. "Confusin mental de un poltico hiperverstil". Siglo Veintiuno.
Guatemala, 5 de junio de 2004, pgina: 11. Ver anexo 1.
143 Prez, Luis Enrique. "Confusin conceptual de un magistrado". Siglo Veintiuno.
Guatemala, 16 de julio de 2005, pgina: 15. Ver anexo 2.
52
f /\ \.'l E1~
I?OSilLE S GJ\AJ\:/A. /O
53