Académique Documents
Professionnel Documents
Culture Documents
UNIVERSIDAD AUTNC
DIRECCION GENERA
UNIVERSIDAD AUTONOMA DE NUEVO LEON
RECTOR
ING GREGORIO FARIAS LONGORIA
DIRECTOR
DE ING. JUAN E. MOYA BARBOSA
_______________________
IJ/ d l d L L K j 1
/ j / , o
' .te U rt Z. y <r*/ ^ 4
( ~ > . i t , . I S t S 'S
-S c s^ i
12-2
INTRODUCCION
A LA LOGICA.
; DE BIBLIOTECAS
UNIVERSIDAD AUTONOMA DE NUEVO LEON
PREPARATORIA NUM. 3
INDICE
LA LOGICA PR O PO SICIO N A L.
LOGICA DE FUNCIONES
LOGICA DE CLASES
DIRECCION GENERA
.
LOGICA
DE NUEVO LEON-
DE BIBLIOTECAS
V s>
UNIVERSIDAD AUTON
DIRECCION GENERA
LOGICA
PRIMERA UNIDAD
OBJETIVO DE UNIDAD:
I. LA LOGICA.
I. LA LOGICA.
LA LOGICA
1. Definicin
9
Perro , 1.753 n o es divisible po r 19, lo que usted dice es im po
sible porque es una contradiccin , son ejem plos de las tres estructuras o
form as a que aquellos pensam ientos pueden reducirse. De la prim era, digo
que es un concepto; de la segunda que es un juicio; de la tercera que es un
razonam iento. Puede observar ms, y distinguir, en los juicios, los casos en
que digo que algo es tal o cual cosa, de los casos en que digo que algo no -
es tal o cual cosa. Sigo prescindiendo del contenido de mis pensam ientos,
para observar slo su form a, esquem a o estructura. El estudio de esas fo r
mas o estructuras constituye el objeto de la lgica. Ya, perro no interesa
en cuanto es el pensam iento con que pienso un determ inado anim al, ni -
Napolen gan la batalla de M arengo icomo un pensam iento en que
pienso un hecho histrico, ni x 2 = y 2, por lo tan to x = y com o un pensa
m iento en que pienso el porqu de una igualdad entre dos cantidades in
determ inadas. Todo eso es el contenido de mi pensam iento; es lo q u e .....
pienso. Eso no constituye el objeto de la lgica sino de las distintas cien
cias particulares: la zoologa, la historia, la m atem tica. Por eso decimos
que la lgica estudia las estructuras del pensam iento.
Hechas estas aclaraciones, puede decirse, tam bin, que la lgica es
la ciencia que estudia el pensam iento en cuanto tal. Y tam bin puede de
cirse, ms brevem ente, que la lgica estudia el pensam iento, aunque con
viene aclarar que la lgica no estudia qu es el pensam iento, sino cm o -
es, qu form as o estructuras tiene.
10
i el que puedo distinguir varios pensam ientos: Napolen . gan etc
" lo que usted diee es im posible, porque es una contradiccin , tam bin o
i.n pensam iento en el que puedo distinguir varios pensam ientos. \ Napo
len a pesar de su aparente sim plicidad, es igualmente una estructura
compleja: es un pensam iento en el que puedo distinguir, analizndolo, mu
cho pensam ientos. Cuando pienso N apolen , tengo una s in t is Cual-
quier estructura es una relacin entre un to d o y sus elem entos. La lgica, qut
estudia la estructura del pensam iento, es ciencia de relaciones. Pensar es
establecer relaciones; una relacin establecida es un pensam iento. Toda* -
las ciencias se proponen establecer relaciones entre los objetos que cada -
una de ellas estudia; la historia, entre ciertos hechos, la qum ica e n tr e ......
otros- la m atem tica, entre ciertos entes. Las ciencias establecen r e la c io -
I ero la lgica estudia las relaciones mismas. Hay por eso, ademas de
nes, pero gi . j j , una e ias ciencias en cuanto cada
na tl o l * relaciones. Hay. en otras p rfa b ra ,
una de eUas estam ece c ie n r estructura del pensam iento, una
adems de u n . l o j c . ' pensam iento de rada
11
Pero to d a ciencia descansa en la lgica y necesita de ella c u a n d o __
qiiiere justificar la legitim idad de las relaciones que establece. Los m atem
ticos, los fsicos, los bilogos, cuando discuten la validez de las relaciones -
que establecen en sus respectivas ciencias, se convierten en lgicos, es decir
hacen lo que no haban hecho: estudiar la estructura de su propio.pensa__
m iento.
3. Lgica y Psicologa.
12
espritu tuviese otra naturaleza. Nada sabem os ni podem os saber sobre las
leyes del espritu de un ngel o de Dios.
En cierto sentido puede considerarse a Descartes com o precursor
del psicologismo contem porneo. Descartes escribi: No m e atrevo a d e
cir que Dios no puede hacer una m ontaa sin valle, o que 1 ms 2 no sean
3, sino que me ha dado un alma hecha de m anera que no puedo concebir
lo de otra m anera . Leibniz replicaba: Eso no me satisface. Lo que impli
ca contradiccin es im posible , es decir, absolutam ente imposible para to
da inteligencia.
Contra el psicologismo se invocan las siguientes razones: 1. La psi
cologa carece de rigor: no puede, pues, constituir la base de una disciplina
rigurosa com o es la lgica. La vaguedad de la psicologa, que hasta carece
de leyes, slo p odra servir de base a otra ciencia igualmente vaga. Las le
yes lgicas, que no son vagas, no pueden, pues, basarse en la psicologa.
2. La psicologa es una ciencia natural: observa los hechos y saca eonclu
siones: sus verdades son verdades a posteriori, es decir, dem ostradas des
pus de observar los hechos. (Estos son los argum entos invocados por el
filsofo Husserl en sus Investigaciones Lgicas , escritas a comienzos de
este siglo). Las verdades de la lgica no se dem uestran; son a priori, vli
das sin dem ostracin. No se dem uestra que A no es A es falso; al contra
rio, para dem ostrar que cualquier afirm acin es falsa, me basta m ostrar
que se reduce a la form a A no es A.
13
o tra; por ejem plo: que la sensacin creciese en la misma progresin que el
excitante.
4. Lgica y sociologa.
Hay una nica lgica posible? No hallamos, en el hom bre m ism o, dife
rentes lgicas? Ha pensado siem pre el hom bre de acuerdo con las mismas
leyes lgicas? Un mismo hom bre no piensa, en diferentes situaciones de
su v id a,c o n lgicas diferentes?. Lossocilqgqs han intentado dem ostrar -
que las supuestas leyes eternas de la lgica son sim plem ente u n resultado
d e ja c o a cc i n cp ie el grupo social ejerce sobre el individuo En los pue......
blos llam ados prim itivos puede observarse todava la existencia de una -__
m entalidad prelgica . Para nosotros, la distancia que hay de A a B es la
misma que hay de B a A, ya sea que se le recorra en un sentido o en o tro,
se trata de una sola distancia. Pero para algunos prim itivos no es ilgico
aceptar que as com o hay dos sentidos pueda haber dos distancias, una -
m ayor que la otra. De la misma m anera, esa m entalidad prelgica adm i
te que un hom bre puede estar en dos lugares diferentes al mismo tiem po.
Esa m entalidad prelgica ten d ra cierta semejanza con la m enta
lidad del hom bre que suea, para quien tam poco es ilgico que algo sea
lo que es y al m ism o tiem po sea otra cosa: que esa persona con quien se
suea sea el amigo X y al mismo tiem po el enemigo Y. Para esa m entalidad
del prim itivo, com o para la del hom bre que suea, las leyes lgicas pueden
no regir, quedar suspendidas, sin que eso resulte ex tra o y hasta sin que -
siquiera se advierta esa suspensin. Para esas m entalidades to d o es posible:
que 2 ms 2 sea igual a 5 sin dejar de ser igual a 4, que un hecho se p ro __
duzca sin causa que lo determ ine. No ser el pensam iento del hom bre
que suea un resabio del pensam iento ilgico de sus antepasados primi-
14
tivos? Nie tach e sostuvo algo semejante a esto ltimo.
El pensamiento y sus leyes -sostiene la corriente que podemos lla
mar feociologista - depende del grupo social. Este es el que impone al
pensamiento las normas a que debe sujetarse; y esas normas no son sino
las que han demostrado, a travs del tiempo, ser eficaces. El grupo social
para mantener su cohesin, impone no slo 'tales o cuales ideas, sino tam
bin y principalmente las normas a que debe sujetarse el pensamiento in
dividual. Las leyes lgicas no seran, entonces, leyes de un pensamiento
universal", sino leyes que el grupo va forjando. El hombre piensa de acuer
do con las leyes con que piensa, porque es integrante de un grupo y no
porque haya leyes eternas del pensamiento abstracto.
15
5. Lgica y matemtica.
16
niean nada; a lo cual contest Frege que quien usa palabras o signos matemticos pre
tende que significan algo, y nadie espera que de signos vacos sutja algo provisto de sig-
DflCa La matemtica, por otra parte, no trabaja exclusivamente con formas vacas.
Aunque no es slo eso, es ciencia de las relaciones numricas: se refiere a los nmeros, -*
prescinde hasta de esa referencia, y de toda referencia|a objetos, y estudia simplemente
estructuras, entonces deja de ser matemtica para convertirse en lgica. Pues la lgica -
no se refiere a los nmeros ni a ninguno de los objetos de que ha venido hablando la
matemtica, pero se refiere, s, a la estructura del pensamiento. Si la matemtica estu
dia esa estructura, entonces deja de ser matemtica, para ser lgica. La confesin de
ello est en los ttulos de las obras mismas, escritas por quienes quieren reducir la lgi
ca a la matemtica: en esos ttulos se habla, corrientemente, de ^lgica moderna , no -
de matemtica moderna . Y el mismo Bertrand Rusell ha escrito dos trabajos titula
dos, uno Cmo llegar a ser matemtico y otro Cmo llegar a ser lgico; y no di para -
la matemtica la misma definicin que para la lgica: defini a la primera como arte
de calcular ; a la segunda como arte de inferir .
El gran matemtico y lgico Frege advirti contra los peligros del aislamiento
en que se hallaban y agen hallndose filsofos y matemticos. Los matemticos -d e
ca-, en cuanto encuentran expresiones como concepto , juicio , relacin , pien-
san'.'methaphysica sunt, non leguntur/; y los filsofos, al ver una frmula, exclaman
mathemtica sunt, non leguntur/. El antimatematismo de ciertos filsofos y el anti
metafisicismo de ciertos matemticos, en muchos casos se debe nicamente a ese non
leguntur , a ese no hay que leer a que se refera Frege. El ejemplo de Leibniz,
gran matemtico y gran filsofo, basta para mostrar la posibilidad y hasta la necesidad
de leer. Los matemticos, celosos de la independencia de su disciplina, han llegado,
sin embargo, en su actitud antimetafsica, a declarar: "Es necesario tener el coraje y -
hasta la presuntuosidad... de decir que la nica metafsica de las matemticas son las -
matemticas mismas, como ellas mismas son su propia tcnica y su propia esttica 1
Pero los matemticos modernos, cuando hablan de metafsica se refieren
especialmente a la lgica tradicional y a sus problemas. Y precisamente gracias a que
se han venido refiriendo a esa lgica y a esos problemas, y los han tenido en cuenta -
en sus investigacione*, se ha podido producir el acercamiento debido al cual la lgica
se ha hecho ms matemtica, pero la matemtica se ha hecho, a su vez, ms lgica. -
como lo reconoce Bertrand Rusell. 2
6. Lgica y gramtica.
16
niean nada; a lo cual contest Frege que quien usa palabras o signos matemticos pre
tende que significan algo, y nadie espera que de signos vacos sutja algo provisto de sig
nificado. .
La matemtica, por otra parte, no trabaja exclusivamente con formas vacas.
Aunque no es slo eso, es ciencia de las relaciones numricas: se refiere a los nmeros, -*
prescinde hasta de esa referencia, y de toda referencia|a objetos, y estudia simplemente
estructuras, entonces deja de ser matemtica para convertirse en lgica. Pues la lgica -
no se refiere a los nmeros ni a ninguno de los objetos de que ha venido hablando la
matemtica, pero se refiere, s, a la estructura del pensamiento. Si la matemtica estu
dia esa estructura, entonces deja de ser matemtica, para ser lgica. La confesin de
ello est en los ttulos de las obras mismas, escritas por quienes quieren reducir la lgi
ca a la matemtica: en esos ttulos se habla, corrientemente, de ^lgica moderna , no -
de matemtica moderna . Y el mismo Bertrand Rusell ha escrito dos trabajos titula
dos, uno Cmo llegar a ser matemtico y otro Cmo llegar a ser lgico; y no di para -
la matemtica la misma definicin que para la lgica: defini a la primera como arte
de calcular ; a la segunda como arte de inferir .
El gran matemtico y lgico Frege advirti contra los peligros del aislamiento
en que se hallaban y agen hallndose filsofos y matemticos. Los matemticos -d e
ca-, en cuanto encuentran expresiones como concepto , juicio , relacin , pien-
san'.'methaphysica sunt, non leguntur/; y los filsofos, al ver una frmula, exclaman
mathemtica sunt, non leguntur/. El antimatematismo de ciertos filsofos y el anti
metafisicismo de ciertos matemticos, en muchos casos se debe nicamente a ese non
leguntur , a ese no hay que leer a que se refera Frege. El ejemplo de Leibniz, -
gran matemtico y gran filsofo, basta para mostrar la posibilidad y hasta la necesidad
de leer. Los matemticos, celosos de la independencia de su disciplina, han llegado, -
sin embargo, en su actitud antimetafsica, a declarar: "Es necesario tener el coraje y -
hasta la presuntuosidad... de decir que la nica metafsica de las matemticas son las -
matemticas mismas, como ellas mismas son su propia tcnica y su propia esttica 1
Pero los matemticos modernos, cuando hablan de metafsica se refieren
especialmente a la lgica tradicional y a sus problemas. Y precisamente gracias a que
se han venido refiriendo a esa lgica y a esos problemas, y los han tenido en cuenta -
en sus investigacione*, se ha podido producir el acercamiento debido al cual la lgica
se ha hecho ms matemtica, pero la matemtica se ha hecho, a su vez, ms lgica, -
como lo reconoce Bertrand Rusell. 2
6. Lgica y gramtica.
18
puramente formal, esto es, sin ninguna referencia al significado . (Phosophy and lo
pea! V ^ re79r^ tantes ortodoxos del crculo de Viena insistieron en esa posicin
que quera excluir de la lgica toda intervencin del aigmfic.do de laa palabras o de
las oraciones; pero el mismo Camap termin por aceptar, siguiendo en esto a los
cos contemporneos de la escuela de Varaovia, que se poda, en la construccin de un
sistema lgico, prescindir totalmente de ese significado . Reconoca, asi, que entre la
gramtica y la lgica existe aquella diferencia fundamental que antes haba negado.
Para Camap, la lgica, que es ciencia estrictamente formal, no estudia ningn
obieto: esunrisTema desprovisto de todo objeto,vaco de todo objeto, vaco de todo
contenido Esto implica una concepcin estrecha de qu es un objeto . La lgica se
refiere a algo, estudia algo ; ese algo que estudia, aunque se trate de simples formas va
cas, es el objeto que la lgica estudia. La lgica tiene un objeto propio, que es de n
dole diferente al de las dems ciencias. Estudia relaciones, y las relaciones son sus ob
jetos, aunque esos objetos no sean las cosas del mundo fsico.
7. Lgica y Biologa.
19
que todas las ciencias estudian contenidos de conciencia: nada puedo afirmar en histo
ria, en matemtica, en biologa, en fsica, si no parto de algo que se da en mi concien
cia, pues cualquier cosa que afirme tengo que pensarla. Pero eso es renunciar a toda
distincin y confundirlo todo.
8. Lgica y fsica.
20
imitacin' de las relaciones que nos presenta el mundo fsico.
Lo que Gonseth hace, en definitiva, es presentar bajo una frmula de apa------
riencia desconcertante ("la lgica es fsica), una vieja concepcin segn la cual las le
yes de la lgica derivan exclusivamente de los sentidos. Renueva, as, la posicin lla
mada sensismo, a la que nos referimos al tratar los problemas de la teora del conoci
miento.
A) Qu es el pensam iento.
B) Las estructuras del pensam iento.
C) Los problem as del pensam iento.
D) Cmo se establecen las relaciones del pensam iento.
ILfij\j11 I MjnI 11
"1 VEBITATIS
2. La estructura lgica que
($ )
i tficos, la lgica: ( X )
u n iv e r s id a d a u t o n i
N) Russell.
O) Cam ap.
P) Descarti
GENERA
22
5. La relacin de la lgica que establece el pensam iento y sus leyes de
penden del grupo social", es con la ciencia llam ada: ("R. )
Q) Biologa.
R) Sociologa.
S) Fsica.
T) Psicologa.
6 . Ciencia que estudia las relaciones abstractas form ales: ( v>J '
l) Fsica.
V) Psicologa.
W) M atemticas.
X) Sociologa.
Y) F sica.
7) Gram tica.
A) Matemtica.
B, Psicologa.
C)
D)
Hecho biolgico.
A cto inconsciente. VO LEON
F.)
F)
Hecho psicolgico.
Acto subconsc iente.
"(gr
, DE BIBLIOTECAS
9. El sensismo es una posicin segn la cual las leyes de la lgica derivan
de: (I )
G) Un hbito psicolgico.
H) La percepcin del yo pensante.
ttJp
Vlijo'l '
an ii
8. (C )
X . >/' id l> I
9. (I)
'
DI CCION GENERA
24
LOGICA
PRIMERA UNIDAD
OBJETIVO DE UNIDAD:
II. EL CONCEPTO.
OBJETIVOS DE APRENDIZAJE:
II. EL CONCEPTO.
G) Un hbito psicolgico.
H) La percepcin del yo pensante.
ttJp
Vlijo'l '
an ii
h*l nw i
= ! ' h'.-r . r n ~ n i l n
8. (C )
id l> I
9. (I)
DI CCION GENERA
LOGICA
PRIMERA UNIDAD
OBJETIVO DE UNIDAD:
II. EL CONCEPTO.
OBJETIVOS DE APRENDIZAJE:
II. EL CONCEPTO.
E L CONCEPTO
26
V m ayor q u e . En estos conceptos, el pensam iento no reduce el obje
to a un esquem a, porque los objetos a que se refiere son, ya, esquemas, es
tructuras, form as. T odos los conceptos son (pensam ientos de objetos f o r
males; pero en unos casos el concepto prescinde de notas del objeto, y so
lo aprehende algunas de ellas, y en otros las aprehende todas. Pero en uno
y otro caso, el concepto es pensam iento de una estructura, es decir de una
Por otra parte, debemos, sin embargo, advertir que el concepto es, en s mismo,
impensable. Podemos, por razones didcticas, considerarlo como se diese aislado^
s i
bem os form ular juicios verdaderos en que ese concepto haga de predica
do E s e e s La com prensin del concepto est dada por
u n h o m b r e . . .
28
concepto! es obra de Scrates. Muchos de los dilogos de Platn m uestran
a Scrates interrogando a su? interlocutores acerca de la com prensin de -
lo? concepto?, o del significado de los trm inos con que se los expresa.
Scrates exiga que se le contestase a la pregunta Qu es una abeja? , -
qu es una figura? , y no que se le diesen sim plem ente ejemplos.
Esos tres conceptos guardan relacin entre ellos tam bin desde el
punto de vista de la extensin. Figura tiene ms extensin'que "trin-
guio , porque todo lo que designo con el trm ino tringulo , puedo
designarlo tam bin con el trm ino figura ; e issceles tiene ms ex te n
sin que tringulo , porque to d o lo que designo con el trm ino issce
les, lo puedo designar con el trm ino tringulo . La extensin de eso-
conceptos va dism inuyendo. (Lo cual no quiere decir que haya menos
figuras que tringulos, y m enos tringulos que figuras, pues tan to las figu
ras, como los tringulos, com o los issceles, son infinitos). Si tengo la se
rie de conceptos anim al , m am fero , h om bre , sucede lo mismo: la>
notas de los conceptos van aum entando, y las referencias que hacen a o b
jetos se van restringiendo. La com prensin sera entonces el conjunto.de
notas esenciales que configuran un concepto.
29
Ejemplo: mamfero: m ayor extensin y m enor comprensin que perro.
perro: m enor extensin y m ayor comprensin que mamfero.
30
ha sostenido este criterio, expresado en la llamada ley de continuidad de lo?
conceptos: No puede haber especie ltim a ni especie ms prxim a; aunque
tengamos una nocin que apliquem os inm ediatam ente a los individuos, pue
de haber, sin em bargo, respecto a esa nocin, diferencias especficas que no
bajam os notado o tenido en cuenta. No hay nocin ltim a sino com parad
\aniente y para el uso: slo tienen, por consiguiente, valor convencional,
porque se ha convenido no descender m as".
Se llama gnero supremo, al gnero que no puede convertirst en -
especie. En rigor, slo hay un gnero suprem o, que es el concepto de
objeto . No hay nada que no sea objeto; no hay ningn gnero del cual
objeto' sea una especie, pues objeto es, en su ms am plio sentido, todo
lo que pueda ser pensado. Pero puede entenderse por gnero supremo el
concepto de m ayor extensin (y, por lo ta n to , m enor com prensin) que
aparezca en una determ inada ciencia. As, por ejem plo, ser vivo" ser el
gnero suprem o en biologa; anim al , en zoologa; vegetal , en bot
nica.
4 Clases de conceptos.
C onceptos Positivos, Negativos y Privativos. Conceptos positivo'
son tos que indican un ente o cualidad; negativos los que indican la ausen
ca de ese ente o cualidad: Blanco , no blanco ; m oral , "am oral .
Una clase especial de trm inos negativos est constituida por los trm ino?
privativos, que indican una ausencia donde hubiera podido darse una p re
sencia: sordo , ciego .
Los conceptos se expresan m ediante trm inos que pueden referir
se a un objeto o a la ausencia de un objeto. A un concepto que sim boli
zamos con A, puede hacerse corresponder un concepto sim bolizado por
n o -A . En el lenguaje esa correspondencia se traduce m ediante proposi
ciones inseparables: m o ral, am oral ; fin ito , in fin ito . En algunos
casos, el trm ino que se refiere al objeto no tiene correspondiente que se
refiera a su a u s e n c ia p e ro eso vara segn las lenguas: en castellano no
formamos palabra? para referirnos a la ausencia de un objeto, cuando esa
palabra es un sustantivo: si se trata de adjetivos calificativos, unas veces -
tenem os la palabra para indicar la cualidad (blanco ), pero no para in d i
car su ausencia; y otras veces tenem os la palabra para la ausencia de la
cualidad, pero n o para la presencia ( im pertrrito ). Y lo mismo sucede
con las palabras que cum plen otras funciones gramaticales. En otros ca
sos, la palabra parece indicar una privacin o ausencia, pero si se la some
te a anlisis, puede advertirse que indica una doble ausencia que equivale
a u n a presencia: infin ito , por ejem plo; esa palabra traduce la nega
cin, in, de u n a lim itacin, finito (igualm ente; i-lim ita d o "). Para deci
dir si u n concepto es negativo, privativo o positivo, no basta el anlisis de
la6 palabras. Tam bin en este problem a es indispensable saber qu s e ......
piensa cuando se recurre a una palabra.
32
5 Los predicables.
Diferencia _______
[Racional Irracional | Diferencia
especfica ----------
especie especial sima Hombre o nfima
33
La relacin de subordinacin de la substancia considerada como gnero supre
mo a los gneros y especies inferiores hasta llegar al individuo, se estudia en el si------
guente Arbol de Porfirio.
Gnero y especie son, como sabemos, conceptos relativos. El gnero (ani
mal , por ejemplo), comprende especies (hombre, caballo), es comn a varias
especies y comn , por lo tanto, a los sujetos (Scrates , Platn ; eseldeterminado
caballo, ese otro) que caen bajo las especies.
Las especies tienen notas comunes, que son las del gnero a que pertenecen, -
pero se distinguen entre s por notas que constituyen su diferencia: El hombre (es
pecie) es un animal (gnero) racional (diferencia) . La diferencia y el gnero consti
tuyen la esencia del sujeto, es decir, las notas que hacen que el sujeto sea un indivi
do de la especie a que pertenece. (Scrates es animal racional : es decir, hom-
bre).
La propiedad o, tambin lo propio, es la nota que caracteriza al sujeto, pero -
que no le es esencial, aun cuando derive de su esencia. La risa, por ejemplo, es pro
piedad del hombre. (La propiedad se ha entendido de muy diversas maneras: como -
nota exclusiva del sujeto de que se trata: por ejemplo, la risa que es exclusiva del----
hombre: como nota no exclusiva del sujeto: por ejemplo, la condicin de bpedo,
que es propia pero no exclusiva de l).
El accidente es el predicable que no resulta necesariamente de la esencia.----
Puede ser inseparable o separable del sujeto al que se le atribuye. Griego , por ejem
po, es predicable de Scrates como accidente inseparable, ya que es accidente
constante o permanente de l. Estar sentado, por ejemplo, es accidente separable
de Scrates , pues es condicin suya no permanente.
Los predicables fueron objeto de anlisis y discusiones por la importancia que
tenan para el problema de las definiciones, ya que, como veremos, intervienen en
ellas.
34
A l TOEVALU ACION
A) Juicio.
B) Razonam iento.
C) Silogismo.
D) / Concepto.
E) Grfica circular.
F) Hay grficas de barras.
G) Histograma.
H) Pictograma. ^
I) Com prensin.
J) Gnero.
K) Extensin.
L) Especie.
1
en cuanto a su com prensin?: <*>
Hom bre
Animal
M) Arbol O) Racional
L d B S b l io t e Mueble m oderno
Mueble
N) C ientfico P) O bjeto
Sabio
Sabio Mexicano
La relacin de subordinacin de la substancia considerada como gnero supre
mo a los gneros y especies inferiores hasta llegar al individuo, se estudia en el si------
guente Arbol de Porfirio.
Gnero y especie son, como sabemos, conceptos relativos. El gnero (ani
mal , por ejemplo), comprende especies (hombre, caballo), es comn a varias
especies y comn , por lo tanto, a los sujetos (Scrates , Platn ; eseldeterminado
caballo, ese otro) que caen bajo las especies.
Las especies tienen notas comunes, que son las del gnero a que pertenecen, -
pero se distinguen entre s por notas que constituyen su diferencia: El hombre (es
pecie) es un animal (gnero) racional (diferencia) . La diferencia y el gnero consti
tuyen la esencia del sujeto, es decir, las notas que hacen que el sujeto sea un indivi
do de la especie a que pertenece. (Scrates es animal racional : es decir, hom-
bre).
La propiedad o, tambin lo propio, es la nota que caracteriza al sujeto, pero -
que no le es esencial, aun cuando derive de su esencia. La risa, por ejemplo, es pro
piedad del hombre. (La propiedad se ha entendido de muy diversas maneras: como -
nota exclusiva del sujeto de que se trata: por ejemplo, la risa que es exclusiva del----
hombre: como nota no exclusiva del sujeto: por ejemplo, la condicin de bpedo,
que es propia pero no exclusiva de l).
El accidente es el predicable que no resulta necesariamente de la esencia.----
Puede ser inseparable o separable del sujeto al que se le atribuye. Griego , por ejem
po, es predicable de Scrates como accidente inseparable, ya que es accidente
constante o permanente de l. Estar sentado, por ejemplo, es accidente separable
de Scrates , pues es condicin suya no permanente.
Los predicables fueron objeto de anlisis y discusiones por la importancia que
tenan para el problema de las definiciones, ya que, como veremos, intervienen en
ellas.
34
A l TOEVALU ACION
A) Juicio.
B) Razonam iento.
C) Silogismo.
D) / Concepto.
E) Grfica circular.
F) Hay grficas de barras.
G) Histograma.
H) Pictograma.
I) Com prensin.
J) Gnero.
K) Extensin.
L) Especie.
Q) Individuales
R) Generales.
S) Positivos.
T) Co
social, guar-
( V)
m o /j
:.! !v>i>
C) Contradictorios.
D) C ontrarios
E) Privativos.
F) Negativos.
DIRECCIOl GENERA
36
9 En la expresin Mario Bunge es un cientfico argentino , el concep
to argentino es un predicable: (H )
G) Propio.
H) Accidental.
I) Diferencia.
J) Gnero.
K) Pieza de ajedrez.
L) Alfil.
M) Cuadros de su color.
N) Mueve diagonalm ente.
RESPUESTAS A LA AUTOEVALUACION
( B )
BK
U M m i
UNIVERSIDAD AUTONI
,*?iYtIW}V5 R> 0*rt\>K] \T
DIRECCION GNERAj
LOGICA
PRIM ERA UNIDAD
OBJETIVO DE UNIDAD:
A. LA CLASIFICACION Y LA DEFINICION.
OBJETIVOS DE APRENDIZAJE:
\Q T C A VJNWERSVT ABVA.
El alumno, por escrito en su cuaderno y sin error, en el tem a:
m. LA CLASIFICACION Y LA DEFINICION.
INSTRUCCIONES:
YA 7 ' / . - lN J T , / V f . . I J ' : V M ::
jos objetivos anteriores, los podrs lograr estudiando cuidadosam ente *el
bro de LOGICA, Cap. 3 , pp. 40 - 47 inclusive.
39
Oni i rJ rj \ }..< ,-;;-
>
UNIVERSIDAD AUTN
b. ir
DIRECCIN GENERA
LOGICA
PRIM ERA UNIDAD
OBJETIVO DE UNIDAD:
A. LA CLASIFICACION Y LA DEFINICION.
OBJETIVOS DE APRENDIZAJE:
\Q TCA - U N W E R S tT ARVA.
El alumno, por escrito en su cuaderno y sin error, en el tem a:
m. LA CLASIFICACION Y LA DEFINICION.
INSTRUCCIONES:
39
UAIMWI MI
CA PITU LO 3
f-, *>-ii
,CION
40
La operacin lgica inversa, llamada clasificacin, consiste en mos
trar los gneros en que estn contenidas las especies. O btenidas las espe-
cies, puedo, descubriendo sus notas com unes (su com prensin com n),
formar el concepto del gnero, que es el concepto de esas notas comunes.
Tengo los conceptos de m am fero , ave , "p ez , reptil , batracio ,
y obtengo el concepto vertebrado ; pero para ello, necesito, al mismo -
tiempo, m ediante la observacin, obtener el concepto invertebrado . .....
Vertebrado e invertebrado se reunirn, luego, bajo el gnero ani......
mal . (Tam poco una clasificacin puede obtenerse por simple anlisis de
los conceptos: es necesario, para clasificarlos, observar sus notas, y com -
. pararlos entre s).
La divisin y la clasificacin son los dos sentidos de una misma or
denacin de conceptos. Del gnero a las especies, tenem os la divisin; de
las especies al gnero, la clasificacin.
I - ' it <
<
2. Condiciones de una clasificacin. H
U)
CE
UJ
Podemos hablar, ahora, de las condiciones que debe reunir esa o r __ >
denacin de conceptos. Por com odidad, nos referim os a esa ordenacin z
Z3
llamndola clasificacin.
Toda clasificacin debe ser completa. En cada gnero han de inclu Lli
irse todas las especies com prendidas en l: no debe quedar, fuera de l a ..... 0
clasificacin, ningn residuo.
Adem s toda clasificacin debe ser tal que entre los individuos de
1
una misma especie haya ms semejanza que entre los de una especie y los
de otra; y , po r lo m ism o, entre dos especies de un mismo gnero ms se
mejanza que entre una especie de un gnero y una especie de otra. (Los
quirpteros vuelan; pero esa semejanza que tienen con las aves es m enor -
que la que tienen con los m am feros. Los cetceos son animales acuticos;
pero esa semejanza que tienen con los peces es m enor que la que tienen
con los m am feros.)
Toda clasificacin debe ser hecha, siempre que sea posible, segn
notas positivas, y no segn notas negativas. Invertebrados es un concep
to negativo; pero se recurre a l, porque no es posible hallar la n o ta posi
tiva que diferencia a los invertebrados de los vertebrados.
41
3. Valor de la clasificacin.
II. LA DEFINICION
4. La definicin.
42
tenor definicin del alma est m al, si no adm ite que el alma sea una sus
tancia; y ofrecer esta o tra definicin: El alma es una fuerza consciente
de s misma ).
En todos estos casos la definicin es un juicio en que se e n u n c ia .....
que es el sujeto, y no sim plem ente algo que el sujeto es. Si digo El hom
bre es un anim al , no tengo una definicin del hom bre, aunque es cierto -
que el hom bre es un anim al. Pero tengo su definicin si digo que es u n .....
animal racional . La definicin aclara el concepto definido, al hacer e x
plcito lo que en l est im plcito, y al mismo tiem po delim ita la esfera de
ese concepto de m anera que no pueda confundirse con o tro. Si digo que -
el hom bre es un anim al , no aclaro com pletam ente el concepto hom
bre, ni delim ito la esfera que ese concepto abarca. Tam bin del p e r r o .....
puedo decir que es un anim al^.
Por ser el desarrollo de la com prensin de un concepto, la defin.....
cin es un juicio que sigue siendo verdadero, si su sujeto pasa a ser predica
do y su predicado a ser sujeto. El hom bre es un animal racional : Un
animal racional es h om bre . T odo hom bre es un anim al racional y to d o
animal racional es hom bre. Podemos decir que en la definicin tenem os
una ecuacin de conceptos: sujeto y predicado tienen la misma extensin:
siempre que aparezca el sujeto puedo reem plazarlo por el predicado y vi
ceversa.
5. Tipos de definicin.
44
Es necesario y conveniente recurrir a definiciones genticas siem pre
que lo que interese, desde el punto de vista de la ciencia de que se tra ta, ~
sea precisamente le proceso o gnesis, pues las definiciones no son juicios
aislados, sino integrantes de sistemas de conocim ientos, dentro de los cua
les deben facilitar la bsqueda de las relaciones, que es en lo que consiste
el pensar.
POR CONVENCION. Algunas orientaciones de la ciencia contem por
nea sostienen que toda definicin es convencional, en el sentido de que
no hay nunca, un objeto dado cuya esencia se encargara de dar a conocer
la definicin. En el lenguaje cientfico se conviene, con absoluta libertad,
lo que una palabra significa, sin que se presuponga nada con respecto a un
hecho ajeno a la defincin, exterior a l. Se trata, por ejem plo, de resolver
si ciertos virus son o no seres vivos, pero los virus sern o no seres vivos, v
se los definir o no com o tales, segn qu se convenga entender por vida.
Por ello, un buen lenguaje cientfico debe com enzar por dar las conven
ciones iniciales, es decir, las definiciones libres que se propone adoptar.
45
siem pre con el mism o significado. Las definiciones reales no son libres: si
se descubre, por ejem plo, una nueva sustancia qum ica, que, por lo ta n to -
carece de nom bre, la definicin debe de responder a lo que esa sustancia -
es. Podem os darle, a esa sustancia, cualquier nom bre; pero la definicin
ser real y n o sim plem ente nom inal.
6. Reglas de la definicin.
46
7. Lmites de la definicin.
47
AUTOEV ALU ACION
concepto, se le
( )
3. La viola ia norm a
de la ( )
I) No
J) No debe ser
K) Debe valer por lo definido.
L) Debe ser clara.
M) Accidente.
N)
O)
Diferencia especfica.
Propio.
CCIN GENER
P) Especie.
48
5 En la definicin: El m bar es una resina que arde fcilm ente la par
te q u e define es: ( )
Q) El mbar.
R) Una resina.
S) El m bar es una resina.
T) Resina que arde fcilm ente.
U) Mariposa.
V) Insecto.
W) Lepidptero.
X) Alas.
IfiUQTEOA UNIVERSITARIA
7. En la definicin: -H iptesis es un supuesto que se hace en las ciencias
como cam ino para descubrir la verdad , la especie es: ( )
Y) Hiptesis.
Z) Supuesto.
A) Ciencias.
B) Verdad.
RESPUESTAS A LA AUTOEVALUACION
Mh >DE NU] 57 ( T ,
2. ( G ) 6. ( v > (R )
DE BIBLIOTECAS
4. ( N )
49
i | al . lO'jrnlfTiu -}tn i oT crui rs vitmt, I <' r rH tftsb a
tna orrft->b 'up <
...
n } $
j jH
.>t>3Rn? H I
mmm
U N=VERSIDAD AEJTON
DIRECCION GENERA
LOGICA
SEGUNDA UNIDAD
OBJETIVO DE UNIDAD:
OBJETIVOS DE APRENDIZAJE:
I. EL JUICIO.
1020115297
51
1.9 Expresar la extensin de los conceptos en los juicios categri-
eos.
PLEMENTARLA.
Los objetivo;
bro de LOGICA,
iil
UNIVERSIDAD AIJTON
DIRECCIN GE 4ER \
. , .
52
CA PITULO 4
EL JUICIO
1. Pensar y pensamiento.
53
T odo pensam iento es el establecim iento de una relacin. El razona
m iento es u n pensam iento com plejo que consta de juicios relacionados -
de cierta m anera; a su vez, el juicio es pensam iento que consta de elem en
tos, llam ados conceptos , relacionados tam bin entre s de cierta m anera. -
El elem ento fundam ental del pensam iento es el juicio.
2. El juicio.
54
trable como falso, y lo indemostrable).
La lgica clsica, que slo adm ite dos valores (verdadero y falso) es,
podemos decir, una lgica bivalente. La logstica (vase cap. 9 ) distingue
tambin tres casos, com o la escuela m atem tica in tu id o n ista, y por ello
podemos decir que es una lgica trivalente .
Esa trivalencia es la ofrecida por estas tres alternativas: verdadero, falso y
sin sentido. La expresin Esto que estoy diciendo es falso , no es ni verdadera ni fal
sa: es sin sentido (Vase captulo 7, 13: Paradojas . Lo mismo si digo Este juicio es
verdadero. Para otros, es sin sentido la proposicin Julio Csar no es un nmero pri
mo. Las discusiones acerca de cules expresiones tienen sentido y cules no, son en
muchos casos discusiones de palabras, y se refieren a lo que en cada caso se entiende
por expresiones con sentido o sin l. (Hay, adems, una lgica polivalente , relaciona
da con el problema de los grados de probabilidad. Cada grado sera un valor).
EL JUICIO COMO RELACION ENUNCIATIVA ENTRE CONCEPTOS. He
mos dicho que el juicio es un pensam iento que necesariam ente es verdade
ro o falso. Podem os decir, tam bin, que un juicio es una relacin enuncia
tiva entre conceptos.
Tom em os el ejem plo El cloro es un m etaloide . Se tra ta de una re
lacin en la que puedo distinguir elem entos: el cloro , es , un m eta
loide . Esos son los tres elem entos relacionados. Un m etaloide es referi
do a el cloro por es . Lo mismo si digo 4 + 3 = 7 ; 7 es referido
por = a 4 4- 3 . La estructura es la misma en los dos casos. Los elem en
tos son tres, an cuando los signos con que los expreso sean ms de tres.
Esos elem entos se llaman conceptos . Uno de esos elem entos efecta la
relacin entre los otros dos. El elem ento que efecta la relacin se llama
cpula. Los relacionados se llaman, uno sujeto y o tro predicado. Sujeto,
cpula y predicado son los tres elem entos del juicio. Pero el juicio, que es
un pensam iento, consta, a su vez, de pensam ientos, no de palabras. E xpre
so el juicio m ediante palabras; pero las palabras no constituyen el juicio,
porque las palabras no son pensam ientos, sino signos con que traduzco un
pensamiento. El m ism o juicio, en diferentes idiom as, se expresara con di
ferentes palabras; y en un mismo idioma puedo expresar el mismo juicio
con palabras diferentes.
Tam bin en las preguntas, que no son juicios, hay relacin entre
conceptos. Ya son las cuatro de la tarde? no es un juicio. Ya son las
cuatro de la ta rd e , en cam bio, lo es. En los dos casos la relacin entre
conceptos es, sin em bargo, la misma. En el segundo caso tenem os juicio,
55
porque la relacin entre los conceptos es una relacin pensada com o co
re sp o n d ie n d o a un hecho o situacin objetiva. E n el juicio siem pre p en
samos que algo es (o no es) as. El juicio tiene siem pre esa funcin em n -
dativa V por eso decimos que el juicio es una relacin enunciativa entre
conceptos. En casos como el de la pregunta tenem os la relacin entre con-
ceptos, pero no ten rn o sla enunciacin, y por eso no tenem os juicio.
56
lacin enunciativa entre conceptos.
La cpula no se lim ita, dijim os, a cum plir esa funcin relacionante o de --
referencia. Si pienso La esperanza es un gozo? , la funcin relacionante
se cumple, pero no tengo an un juicio. Si pienso La esperanza es un go
zo , adems de la relacin tengo la enunciacin o afirm acin de esa rela
cin; entonces si tengo un juicio. La cpula cum ple, pues, dos funciones:
la de relacionar y la de enunciar. Lo que caracteriza a la cpula es precisa
mente esa doble funcin. La cpula es un concepto relacionante enuncia
tivo, a diferencia de otros conceptos relacionantes que no son enunciati
vos: por ejem plo, y , c o n . Digo La esperanza y el gozo ; en este caso
tengo una relacin sin tener juicio; igualmente si digo Esperanza con go
zo .
4 . E l ju ic io y la p r o p o s ic i n .
57
Las proposiciones interrogativas, son desde el p u n to de vista cien
tfic o , las ms im portantes. T odo progreso cientfico com ienza con una
pregunta, que indica la direccin de la investigacin. Una pregunta es, en
otra palabra, u n problem a; y to d o problem a es una pregunta. Del enun
ciado correcto de la pregunta depende, m uchas veces, la posibilidad mis
m a de la respuesta. Hay, en ciencia y en filosofa, m s problem as mal ~~
planteados, o sea preguntas mal form uladas, que problem as bien plantea
dos y no resueltos.
58
juicios negativos: El filsofo no ama la riqueza ni la gloria ; Ni la ciencia ni el arte -
resuelven los problemas ltimos del hombre .
Proposiciones adversativas. Son proposiciones que ligan dos juicios mediante.....
partculas adversativas: El vicio es agradable, pero no saludable".
ffiU Q T E C A U N IV E R S IT A R IA
SEGUN LA CALIDAD 0 CUALIDAD: JUICIOS AFIRMATIVOS Y JUICIOS
NEGATIVOS. Las alternativas de la cpula son dos. O enuncia la com pati
bilidad entre el predicado y el sujeto (S es P: El hom bre es m ortal ), o -
enuncia su incom patibilidad (S no es P: Los cetceos no son peces ). En
el prim er caso, tenem os un juicio afirm ativo; en el segundo un juicio nega
tivo. En los dos casos, el predicado es referido al sujeto, relacionado con -
l.
Esa alternativa de la cpula, o sea su propiedad de afirm ar o negar,
constituye lo que se llama la calidad del juicio o de la proposicin.
T odo juicio es en rigor afirm ativo, pues afirma la com patibilidad
(afirmativo propiam ente dicho) o la incom patibilidad (negativo) e n tr e .....
predicado y sujeto. K ant agreg una tercera clase de juicio: el juicio inde
finido, que correspondera a la form a S es no P : Esa pelcula es no ap
ta para m enores . Se tra ta de un juicio afirm ativo en realidad, pues afirm a
lo que S no es. (En el negativo se niega lo que no es. En el afirm ativo se
afirma lo que es). Esto parecera introducir una tercera posibilidad entre
la afirm acin y la negacin. Pero entonces habra que aceptar una cuarta:
S no es no P . Y tendram os: S es P; S no es P: S es no P; S no es no P.
En rigor, otra vez dos form as y no cuatro.
Lo que im porta, para distinguir entre juicios afirm ativos y negati
vos, es la estructura del juicio que en cada caso se piensa, y no la estru c tu
ra gram atical, que puede variar segn los idiom as y an en un mismo idio
ma. Si digo El espacio no es infin ito o El hom bre no es infalible .
59
Las proposiciones interrogativas, son desde el p u n to de vista cien
tfic o , las ms im portantes. T odo progreso cientfico com ienza con una
pregunta, que indica la direccin de la investigacin. Una pregunta es, en
otra palabra, u n problem a; y to d o problem a es una pregunta. Del enun
ciado correcto de la pregunta depende, m uchas veces, la posibilidad mis
m a de la respuesta. Hay, en ciencia y en filosofa, m s problem as mal ~~
planteados, o sea preguntas mal form uladas, que problem as bien plantea
dos y no resueltos.
58
juicios negativos: El filsofo no ama la riqueza ni la gloria ; Ni la ciencia ni el arte -
resuelven los problemas ltimos del hombre .
Proposiciones adversativas. Son proposiciones que ligan dos juicios mediante.....
partculas adversativas: El vicio es agradable, pero no saludable".
ffiU Q T E C A U N IV E R S IT A R IA
SEGUN LA CALIDAD 0 CUALIDAD: JUICIOS AFIRMATIVOS Y JUICIOS
NEGATIVOS. Las alternativas de la cpula son dos. O enuncia la com pati
bilidad entre el predicado y el sujeto (S es P: El hom bre es m ortal ), o -
enuncia su incom patibilidad (S no es P: Los cetceos no son peces ). En
el prim er caso, tenem os un juicio afirm ativo; en el segundo un juicio nega
tivo. En los dos casos, el predicado es referido al sujeto, relacionado con -
l.
Esa alternativa de la cpula, o sea su propiedad de afirm ar o negar,
constituye lo que se llama la calidad del juicio o de la proposicin.
T odo juicio es en rigor afirm ativo, pues afirma la com patibilidad
(afirmativo propiam ente dicho) o la incom patibilidad (negativo) e n tr e .....
predicado y sujeto. K ant agreg una tercera clase de juicio: el juicio inde
finido, que correspondera a la form a S es no P : Esa pelcula es no ap
ta para m enores . Se tra ta de un juicio afirm ativo en realidad, pues afirm a
lo que S no es. (En el negativo se niega lo que no es. En el afirm ativo se
afirma lo que es). Esto parecera introducir una tercera posibilidad entre
la afirm acin y la negacin. Pero entonces habra que aceptar una cuarta:
S no es no P . Y tendram os: S es P; S no es P: S es no P; S no es no P.
En rigor, otra vez dos form as y no cuatro.
Lo que im porta, para distinguir entre juicios afirm ativos y negati
vos, es la estructura del juicio que en cada caso se piensa, y no la estru c tu
ra gram atical, que puede variar segn los idiom as y an en un mismo idio
ma. Si digo El espacio no es infin ito o El hom bre no es infalible .
59
tengo, dos proposiciones de apariencia inegativa, pero dos juicios afirmafr
vos. C orrientem ente se expresa esto diciendo que dos negaciones afirman
60
este juicio, que son pjaros. Cules son esas aves, queda indeterm inado. -
Nada se dice con respecto a las otras. Lo que se afirma es que por lo me
nos algunas aves son pjaros. En el lenguaje corriente suele ponerse el c ita
is en la palabra "algunas para indicar que nicamente algunas tienen a
co n d ici n de que se habla: Algunas aves son pjaros , entendido como -
un solo juicio, es un ejem plo del juicio llamado particular. El juicio p a rti
cular se imboliza as: Algunas S son P ; o, mejor, Alguna > e= P .
Por ltim o, el sujeto del juicio puede ser el pensam iento de un solo
individuo, o de una clase considerada globalmente com o un solo individuo
Esta palom a es m ensajera , La golondrina es un pjaro m igratorio .E l
juicio se llama entonces singular y se simboliza as: > es P . El juicio sin
gular puede ser considerado universal, pues su sujeto es com o una clase
que constase de un solo individuo, y lo que se afirma (o mega) se lo al u rna
(o niega) de todos los individuos de esa clase, que resulta constar de un
solo individuo.
La propiedad de los juicios, de enunciar algo con respecto a todos -
los individuos de una clase, a algunos de eUos, o a uno de ellos, es lo que -
se llama su cantidad.
61
ma apodctico ; el segundo, asertrico ; el tercero, problemtico.
La propiedad de los juicios, de enunciar relaciones com o forzosas,.
com o de hecho o com o probables, se llama modalidad. (En los verbos se -
habla de modos: im perativo, indicativo, subjuntivo. Y hay cierta relacin
entre esos m odos del verbo y las tres form as de la m odalidad).
62
va No se afirma que el m undo ha sido creado, ni que tiene una edad infi
nita- se afirma que el m undo h a sido creado o tiene una edad in finita . -
No se trata de dos juicios, pues, sino de uno. La disyuncin puede en te n
derse como la de dos alternativas que forzosam ente se excluyen; es decir,
que si una de ellas es verdadera, la otra es falsa. Pero puede entenderse, -
tambin, com o la de dos alternativas que no se excluyen; es decir, que por
lo menos una de ellas es verdadera, sin negar la posibilidad de que sean
verdaderas las dos. (Por ejem plo, Ese seor es el padre de la novia, o el -
padrino . A qu hay alternativas no excluyentes. Se puede ser padre y pa
drino).
Cuando la relacin es (enunciada sin condiciones y sin alternativas, -
el juicio se llama categrico. El hom bre es responsable : S es P . El
sentido lgico de la palabra categrico coincide con el sentido corrien
te. Cuando decim os Me contest categricam ente que n o , querem os
expresar que la contestacin que se nos ha dado no estaba sujeta a condi
ciones ni adm ita alternativas. gp
La propiedad de los juicios de enunciar con restricciones (h ip te
sis y disyuncin) o sin ellas, se llama relacin. ui
iu
1 V R tak m
ff ni w L z
<
o
6 . La extensin de los conceptos en los al
juicios categricos.
63
predicado en to d a su e x te n n . Es decir, que para determ inar si el con
cepto sujeto est tom ado o no en to d a su extensin es necesario tener en.
cuenta la cantidad del juicio, y para determ inar si el predicado est toma
do o no en to d a su extensin es necesario ten er en cuenta la cualidad del -
juicio. En el siguiente cuadro se destacan en letra cursiva los conceptos
que resultan tom ados en toda su extensin (distribuidos) en los distintos
tipos de juicios.
C A N T I D A D
U N IV E R S A L E S P A R T IC U L A R E S
(T o m a n su je to )
64
4o. Afirm ativas par ti-p a rca les: A qu el S y el P son ambos p a rti
culares. Ejemplo: algunos equilteros son tringulos (equivale a algu
nos equilteros son algunos tringulos ).
5o. Negativas to ro -to ta le s: Donde el sujeto es excluido en toda su
extensin del predicado. Ejemplo: ningn tringulo es cuadrado (equi
vale a ningn tringulo es ningn cuadrado ).
6o. Negativas to to parciales: En que el S, tom ado en toda su ex
tensin, es excluido de una parte de la extensin del predicado: ningn
pez es m am fero (equivale a ningn pez es algn m am fero ).
7o. Negativas part-parciales: A qu una parte de la extensin del -
sujeto est excluida de una parte solam ente de la extensin del predicado
Ejemplo: algn tringulo no es equiltero (equivale a algn tringulo
no es alguna figura equiltera ).
8o. Negativas parttotales-. En que slo una parte del S est ex
cluida de la extensin del predicado. Ejemplo: alguna figura equiltera
no es ningn tringulo". (1)
65
AUTOEVALUACION
A) Enunciados. ( >
B)
> D ir e c c i n g e n e r J
P) Oro.
5. La proposicin "ni la ciencia ni el arte resuelven los problem as n ti
mos del hombre*, es: i )
Q) Interrogativa.
R) Compleja.
S) Impersonal.
T) Simple.
l) Cantidad.
V) Relacin.
W) Modalidad.
X) Calidad.
, DE BIBLIOTECAS
....
67
9. Cmo se le llama a la propiedad de los juicios, de enunciar relacio
nes com o de hecho, forzosas o probables?: ( )
fmim
G) Relacin.
H) M odalidad.
I) Cantidad.
J)
10. En segn su relacin es:
DIRECCIN
68
LOGICA
SEGUNDA UNIDAD
CA PITULO 5
OBJETIVO DE UNIDAD
LOGICOS.
2. El p rin c ip io d e id e n tid a d .
Adems de esa identidad de una cosa consigo misma, puedo hablar de la identi
dad de dos cosas bajo alguno de sus aspectos. Digo que este objeto tiene el mismo co
lor que aquel otro y los declaro idnticos en ese aspecto. En este caso el color es la co
sa que declaro idntica a s misma: se trata de un solo color. Puedo, tambin, a pesar
de que una cosa cambie en sus distintos momentos, hablar de algo que permanece
idntico a s mismo en ella. Digo entonces que esa cosa ha cambiado; pero si puedo
afirmar que esa cosa ha cambiado es porque algo, que no ha cambiado me permite re
conocer la cosa de que se trata. Un objeto fsico cambia constantemente; pero sigue
siendo ese objeto; si no sigue siendo ese objeto, si fuese otro, no podramos decir que -
ese objeto ha cambiado.
No puedo decir, nunca, que dos cosas difieren totalmente. Cuando dos cosas
difieren, difieren en algo que tienen en comn: en el color, por ejemplo; en la forma. -
Tienen, pues, algo en lo que no difieren. Todas las cosas, por mucho que difieran en
tre ellas, tienen por lo menos esto de idnticas: el ser cosas.
La identidad es, pues, una ley de nuestro pensamiento. La bsqueda de la iden
tidad es una exigencia de ese pensamiento. Cuando decimos que todo es espritu o que
todo es materia, lo que hacemos es reducir la realidad a lo que consideramos que en
ella, a pesar de su variedad, es siempre idntico: la materia, el espritu. Y podemos
concluir que: o hay identidad, o no es posible pensar.
72
do. No es necesario, pues, reducir a los juicios el alcance del principio de identidad. blanco y no blanco al mismo tiem po, pero no en el mismo sentido: no de
CRITICAS AL PRINCIPIO DE IDENTIDAD. Las criticas ms importantes, por cimos que el tablero de ajedrez es totalm ente blanco y totalm ente n o -----
sus consecuencias filosficas o cientficas, que se han hecho a los principios lgicos a - blanco). As com o el principio de identidad se reduca a decir que una co
partir de comienzos del siglo XIX son las siguientes: sa es una cosa, el de contradiccin dice que una cosa no es dos cosas.
El filsofo alemn Fichte sostuvo que la frmula A es A no puede ser la ex
presin de un principio, es decir, de un punto de partida que se justifique por s mismo Referido a los juicios, el principio de contradiccin dice que en toda
porque la verdad A es A est condicionada. A e* A, si es: que, no es, ni es A ni es contradiccin hay una falsedad. Pero la contradiccin puede aparecer en -
nada. Para que se trate de un principio, es necesario que sea una afirmacin cuya ver un solo juicio, o entre dos juicios. Hay juicios contradictorios en s m is.....
dad no est sujeta a ninguna condicin. Hay que buscar, en vez de A, algo cuya reali mos: La m ateria no es extensa ; el tringulo no es una figura . Aplica
dad no pueda ponerse en duda. La frmula del principio de identidad es, para Fichte: do a este caso, el principio de contradiccin dice que todo juicio contra
Yo soy yo. En este caso ya la afirmacin no est condicionada a la existencia del dictorio es falso. Hay juicios contradictorios entre s: 173.587 es un n
yo, pues el yo se afirma a s mismo como existente. No tendra sentido decir Yo soy
mero prim o , 173.587 no es un nm ero prim o . Esos juicios no pueden
yo, si soy". En cuanto digo yo , ya est (afirmado el yo como real. Esta critica -
niega a la frmula A es A validez para servir de principio constructivo, porque es una ser verdaderos los dos. El principio de contradiccin dice en este caso:
frmula abstracta y vaca. (Si digo por ejemplo, El actual emperador de Rusia es el - Dos juicios contradictorios entre s no pueden ser verdaderos los dos.
actual emperador de Rusia tengo un juicio de la forma A es A . Pero el actual em Referido a nuestro pensar es decir, entendido psicolgicam ente,
perador de Rusia es el actual emperador de Rusia?). Esta critica puede expresarse, en el principio se enunciara as: No podemos sino pensar que es imposible
resumen, como lo hace el lgico francs de nuestro siglo, Goblor: A es A no es un que algo sea y no sea (o ...que to d o juicio contradictorio es falso , .....
principio porque carece de aplicacin: y no es juicio porque saber de A solamente que
que dos juicios contradictorios entre s no pueden ser verdaderos los dos ).
es A es no saber nada .
En este caso, com o sucede siempre en las interpretaciones psicologistas,
LLevando ms lejos la crtica de Fichte, Hegel sostuvo que A es A es una
contradiccin. Si alguien comienza diciendo Un rbol e s .... esperamos que agregue lo que se quiere sealar es que el principio es una ley, sim plem ente de he
algo nuevo; si contina ...es un rbol , nos hallamos con una forma de hablar que se cho, de la actividad del pensar.
contradice a s misma, porque no significa ningn progreso, que es lo que se exige a El principio de identidad deca algo con respecto a los juicios anal
toda proposicin, es decir, a toda expresin de un pensamiento. ticos: que son todos verdaderos. Pero no deca nada con respecto a los
Una rplica a esta* crticas es la siguiente: El principio de identidad, A es A,
juicios sintticos, o sea aquellos en que el predicado no surge del anlisis -
no contiene ningn conocimiento; pero eso no le quita su carcter de principio. Un -
principio es un punto de partida del conocimiento; pero nada exige que un punto de - del sujeto. El principio de contradiccin nos dice ya algo con respecto a -
partida del conocimiento sea, a su vez, un conocimiento. esos juicios sintticos. Hay decaedros regulares ; no hay decaedros re
gulares . Esos dos juicios son sintticos. La lgica, independientem ente de
la geom etra, y por la simple form a de esos dos juicios, declara, en nom bre
3. El principio de contradiccin. del principio de contradiccin, que esos juicios no pueden ser verdaderos -
los dos. (Pero queda la posibilidad de que sean falsos los dos, o la de que -
Es itnpo8tble que algo sea y n o sea al m ism o tiem po y en el mismo
uno sea verdadero y o tro falso).
sentido. As podem os enunciar el principio de contradiccin desde el pun
to de vista ontolgico, es decir, refirindolo a las cosas.
El principio de contradiccin ha sido enunciado de muchas maneras, de acuer
Es imposible que una figura sea tringulo y no sea tringulo. Es im do con la posicin que cada lgicdadopta.Por ejemplo, as: Ningn juicio es verdade
posible que A sea B y no sea B. (Puede ser B ahora y no ser B despus ; pe ro y falso ; Es imposible que lo que es, no sea, que lo que no es, sea ; La afirma----
ro no al m ismo tiem po. Yo puedo estar aq u , ahora, y no estar, despus; - cin y la negacin no pueden ser verdaderas al mismo tiempo del mismo sujeto : El -
pero w puedo estar y n o estar, ahora, aq u . Un tablero de ajedrez es blan mismo sujeto no admite al mismo tiempo predicados contradictorios .
co y negro blanco y no blanco, pero lo q u e en el tablero de ajedrez es - No se ha sealado, sin embargo, que, lo mismo que el principio de identidad, el
blanco no es negro y lo que es negro no es blanco; el tablero de ajedrez es
de contradiccin vale tambin para los razonamientos, y no slo para los objetos y los
juicios. As como analizando un razonamiento, si vemos que podemos reducirlo a una
identidad, lo declaramos conecto, si lo reducimos a una contradiccin lo declaramos -
incorrecto. El principio de identidad dice que la identidad es razn de la\validez)de un
razonamiento; el de contradiccin dice que la contradiccin es razn de su invalidez.
Cuando razonamos, basta que lleguemos a una contradiccin para que comprendamos
que el razonamiento est mal .
4 . El p rin c ip io d e te rc e ro e x c lu id o .
76
contestado mal, y tendrn que sacrificarlo en el de la falsedad. Las dos nicas posibi
lidades -sacrificado en el altar de la verdad o en el de la falsedad- son, pues, en este -
caso, igualmente falsas. De donde se concluira que dos juicios contradictorios pueden
ser falsos los dos.
Este planteo es discutible. Los que formularon la pregunta -E n que altar te -
sacrificaremos?se equivocaron al creer que con ella obligaban a elegir uno de los dos
altares. La respuesta prueba que la pregunta no obliga a elegir entre uno de los dos al
tares; es decir, que la pregunta no ha dividido rigurosamente en dos las posibilidades. -
Los isleos comenzaron a creer, ellos, que forzosamente sacrificaran al prisionero; lo -
nico que podan afirmar era que tenan el propsito de sacrificado; pero el propsito
de sacrificarlo quedaba contradicho por el simple hecho de formular esa pregunta que
implicaba la posibilidad de no sacrificarlo.
Otra manera filosficamente ms importante, de negar el principio de tercero -
excluido, consiste en afirmar que entre el ser y el no ser hay una tercera posibilidad: -
el devenir. La realidad es un proceso, un desenvolvimiento, un cambio, constante, en -
que tanto el principio de contradiccin!',como en el tercero excluido quedan negados. -
Las cosas cambian, y para que cambien, es necesario que no se limiten a ser lo que son;
si se limitase a ser lo que son, seran eternamente lo que son y no podran cambiar.
Pero en la realidad hay cambio. El cambio, es real, es la existencia misma de la contra
diccin. Todo lo que es real es contradictorio, porque es cambiante: es lo que es y, al -
mismo tiempo, es, de alguna manera, ya, lo que no es. El nio es nio, pero no sola
mente nio: es el hombre que no es, y por eso puede llegar a ser hombre; que si no
fuese el hombre que no es, no llegara nunca a ser hombre. Ser y no ser son conceptos
rgidos, puramente formales, que no corresponden a ninguna realidad. La realidad es -
cambio, y el cambio afirma simultneamente el ser y el no ser y simultneamente los -
niega. Esa afirmacin y negacin simultnea del ser y del no ser es el devenir. Ah est
la tercera posibilidad. Esta es, en resumen, la crtica de Hegel.
Hay otros planteos de la negacin del principio de tercero excluido, que vere
mos cuando nos refiramos a la matemtica y a la fsica.
5 . El p rin c ip io d e ra z n su fic ie n te .
78
e cuando enunciam os la ley de la gravitacin universal. La Revolu
rancesa se produjo por alguna razn, y esa razn aparecelcuando
amos sus antecedentes y sus consecuencias. En m atem tica, en fsi-
historia, en todas las ciencias, lo que se busca es la razn que res
i a la pregunta de por qu las cosas son com o son o suceden com o
en. El principio puede enunciarse de otra m anera: Nada se da asla
;to significa que todo est ligado a algo que es su razn.
Se ha sostenido que el principio de razn suficiente es ontolgico y
peo, o sea, que se refiere a las cosas, y no a los juicios. Pero, com o
ms principios, rige ta n to para las cosas com o para los juicios. Con -
;to a las cosas, el principio de razn suficiente dice que todo lo que -
existe por alguna razn; con respecto a los juicios, dice que to d o
verdadero, o falso, es verdadero, o falso, por alguna razn.
Los dems principios lgicos nos dicen cundo un juicio es forzosa-
e verdadero (principio de identidad); cundo un juicio es forzosa-----
e falso o cundo es im posible que dos juicios sean am bos verdaderos
ripio de contradiccin); cundo es im posible que dos juicios sean
is falsos (principio de tercero excluido). El principio de razn sufi
; no nos dice cundo los juicios son verdaderos o falsos. Lo nico que
lice es que los juicios son verdaderos o falsos por alguna razn. Los
0 principios dico, pues, algo con respecto a la verdad o falsedad de los
>s. La diferencia est en que el de razn suficiente es previo a los
ya que exige que se d razn de la verdad o falsedad. Los otros prin-
' dan esa razn, cum pliendo, as la exigencia form ulada por el prin-
grande .
Todo juicio es verdadero, o falso, por alguna razn. Pero esa razn puede estar
ro juicio, en una situacin objetiva o en el juicio mismo. Si digo: A es igual a B y
gual a C por lo tanto C es igual a A , la razn de la verdad del juicio C es igual -
est en los juicios anteriores. Si digo, mirando por la ventana, llueve , la tazn
verdad del juicio est en mi percepcin de la lluvia; y si digo A es igual a A, la
1de la verdad est en el juicio mismo, y no fuera de l.
Se ha querido completar el enunciado general del principio de razn suficiente,
i el cual todo lo que es es por alguna razn, con un principio de razn deficiente,
i el cual lo que no es no es porque no hay ninguna razn para que sea. Si los dos -
los de una balanza estn a diferente nivel es porque hay alguna razn para que
nceda; pero a los dos platillos estn al mismo nivel es porque no hay ninguna ra
m a que uno est ms abajo que el otro. No es necesario agregar ese segundo prin-
. Lo que es -sea como fuere (platillos al m im o nivel o a nivel diferente)- es por
la razn.
79
LAS RAICES DEL PRINCIPIO DE RAZON SUFICIENTE. Schopenhauer -
distingui en este principio cuatro formas (a las que llam races): Forma lgica:
En un razonamiento, los juicios de que parto son la razn de la conclusin que obten
go. Forma fsica: Toda modificacin de la realidad tiene su razn en un estado ante
rior. Esta es la relacin de causa a efecto, aplicable nicamente a las modificaciones de
la realidad. Cuaando pregunto si la realidad misma, el universo en su totalidad, es por -
alguna razn, planteo el problema de si la realidad tiene o no causa: es decir, planteo,
en una de sus varias formas posibles, el problema de si hay o no un Dios creador del
universo. Forma matemtica: Las caractersticas de un ente matemtico dependen de
otras caractersticas del mismo ente. Por ejemplo: La igualdad de los lados de u n -----
tringulo tiene su razn en la igualdad de los ngulos, y, viceversa. La igualdad de los -
ngulos tiene su razn en la igualdad de los lados. En este caso, a diferencia de lo que-
sucede en las otras formas del principio, se trata de una relacin recproca: la igualdad
de los lados es la razn de la igualdad de los ngulos, y esta igualdad es razn de la
otra. Forma moral: Toda conducta humana o animal tiene su razn en un hecho ante
rior. Aqu no se trata de relacin de causa a efecto, sino de motivo a fin. Una piedra ~
para moverse, necesita una fuerza fsica que acte sobre ella; a un hombre lie basta
I una mirada.
80
AUTOE VALUACION
----------------------------------- ---------------------------
A D F NT TF.VO T F O N
E BIBLIOTECAS
81
LAS RAICES DEL PRINCIPIO DE RAZON SUFICIENTE. Schopenhauer -
distingui en este principio cuatro formas (a las que llam races): Forma lgica:
En un razonamiento, los juicios de que parto son la razn de la conclusin que obten
go. Forma fsica: Toda modificacin de la realidad tiene su razn en un estado ante
rior. Esta es la relacin de causa a efecto, aplicable nicamente a las modificaciones de
la realidad. Cuaando pregunto si la realidad misma, el universo en su totalidad, es por -
alguna razn, planteo el problema de si la realidad tiene o no causa: es decir, planteo,
en una de sus varias formas posibles, el problema de si hay o no un Dios creador del
universo. Forma matemtica: Las caractersticas de un ente matemtico dependen de
otras caractersticas del mismo ente. Por ejemplo: La igualdad de los lados de u n -----
tringulo tiene su razn en la igualdad de los ngulos, y, viceversa. La igualdad de los -
ngulos tiene su razn en la igualdad de los lados. En este caso, a diferencia de lo que-
sucede en las otras formas del principio, se trata de una relacin recproca: la igualdad
de los lados es la razn de la igualdad de los ngulos, y esta igualdad es razn de la
otra. Forma moral: Toda conducta humana o animal tiene su razn en un hecho ante
rior. Aqu no se trata de relacin de causa a efecto, sino de motivo a fin. Una piedra ~
para moverse, necesita una fuerza fsica que acte sobre ella; a un hombre lie basta
I una mirada.
80
\UTOE VALUACION
los juicios sin los cuales es im posible construir el sistema <ie rea
ines de cada ciencia, se les llama:
UH1VERS 1TAH1A
2mo se le llama al principio lgico que dicf: t odo juicio analtico
; verdadero ?
Todo lo que es. es por alguna rav,n que le Ih acer ser com o es y no
e otra m anera . a.~ -e enuncia el principio de:
________________ _
A DE NUEYQ LE<m
E BIBLIOTECAS
81
.i
SEGUNDA UNIDAD
LOGICA
OBJETIVO DE UNIDAD:
L RAZONAMIENTO.
OBJETIVOS DE APRENDIZAJE:
l RAZONAMIENTO.
A n n NUEVO T.FON
TRUCCIONES:
83
CA PITU LO 6
L RAZONAMIENTO
m \
a ENCIAS
7
'AS
H
V : razonam iento.
a .
liento. Esas estructuras -
son tres iy e lento. El concepto es el pensa-
m iento le un o b je to ; el concepto es elem ento del -
juicio. El juicio es una i lacin enunciativa entre conceptos; to d o juicio es
n< :s una relacin entre --
juicios; no es ni verdadero ni falso: es correcto o incorrecto. (En rigor, no
hay razonam iento incorrecto; una relacin entre juicios es un razonam ien
to , o no lo es).
As com o el juicio no es una relacin cualquiera entre conceptos (si
no enuncia , no es juicio), el razonam iento no es una relacin cualquiera
entre juicios. Es una relacin en que uno de los juicios (llam ado conclu
sin) deriva de o tro u otros (llam ados premisas). Un juicio deriva de otro u
otros cuando su verdad queda afirm ada en virtud de haberse afirm ado la --
verdad de ese o tro u otros. A = B ; por lo ta n to , B = A ; A =B y B=C; por
lo ta n to , C = A . Estos son dos esquem as de razonam ientos. Ejemplos;
84
Ningn tringulo equiltero es tringulo rectngulo;
lo tanto,N ingn tringulo rectngulo es tringulo equiltero.
AUNIVERSIIAH*
10 sera posible la ciencia.
85
La lgica formal slo estudia el razonamiento deductivo. Pero hay.
otras formas de razonamiento: el razonamiento inductivo y el razonamien
to por analoga. Tambin en stos se obtiene una conclusin, pero no por
laisimple forma de los juicios.
Si digo, por ejemplo. Algunas S son P; por lo tanto, todas las S son
P, la conclusin no se impone como forzosa, no se sigue necesariamente
de las premisas. Pero puedo, si observo cmo caen algunos cuerpos en el -
vaco a la misma velocidad, concluir que todos los cuerpos caen en el va
co con la misma velocidad. El ejemplo corresponde a un razonamiento
inductivo. El razonamiento inductivo parece consistir en el paso de una -
afirmacin particular a otra universal. Hablamos de induccin completa -
cuando en las premisas de un razonamiento se incluyen todos los casos
particulares de la generalizacin correspondiente, o induccin incompleta
cuando en las premisas de un razonamiento se incluyen slo algunos de
los casos particulares de la generalizacin correspondiente, y plantea pro-
ir blem as que luego estudiarem os.
Si digo, ante la com probacin de que Marte ofrece ciertas caracte
rsticas sem ejantes a las que han hecho posible la vida en la Tierra, que
I probablem ente en Marte haya vida, tengo un ejem plo de razonam iento
por analoga. Tam poco en este caso es la simple form a de los juicios lo que
me perm ite relacionarlos, y tam poco se me aparece la relacin com o for
zosa. Se llama razonam iento por analoga a aquel que presenta las siguien
tes caractersticas: sobre la base del conocim iento de que dos (o ms) ob
jeto s son sem ejantes con respecto a u n a serie de rasgos y que uno (o ms)
de ellos posee, adems, algn o tro rasgo; se afirm a en la conclusin que el
(los) objeto restante tam bin posee(n) dicho nuevo rasgo.Tanto en el razona
m iento inductivo, com o en el razonam iento po r analoga, es necesario te
ner en cuenta el contenido de los juicios para justificar la conclusin. La -
simple form a no basta. (Para ampliar vese captulo 8).
86
ta es aquella en que. dado un juicio, se concluye de l, necesariamcn~
otro : sobre la base de una sola premisa.
A = B:
por lo lan to . B = A.
jOfcCA u H i v t a s u w tt A
, que dados dos o ms juicios, se obtiene forzosam ente un tercero.
Sabemos q ue, de acuerdo con la cantidad, los juicios se clasifican -
i universales ( 'T odas las S son P ), particulares ( Algunas S son P ) y -
igulares ( S es P ). Sabemos adems, que el juicio singular puede ser -
nsiderado universal. Segn la calidad, los juicios se clasifican en afir.....
ativos y negativos. P re sc in d ie n d o del juicio singular, si com binam os la
m tidad con la calidad tenem os estos cuatro juicios posibles:
1 Todas las S son P. (Universal afirm ativo).
Algunas S son P. (Particular afirmativo).
Ninguna S es P. (Universal negativo).
Algunas S no son P. (Particular negativo).
Ninguna S es P. <)
nEgO
.Algunas S no son P (0 ).
R7
AUTOEVALU ACION
>]j Irtftrn Am -
lamientos, EXCEPTO;
( )
es, ir sola.
sa. son personas de carcter
;gre; tu eres am ante a mesa, por lo tan to , tu ca-
cter es alegre,
hubiera tenido tiem abra ido a Ptzcuaro o a Mxico.
No fui a a Mxico. Luego es claro que no
te n a tiei .
n i / r \ u i v / i n v
q, P n o q
h /fTJuifiB fib a I "uixil'itt SI
L) Si p o q, p .'. no q
w o n ?. wutv]
88
Horacio Quiroga recrea en sus obras tem as que reflejan el am biente
iel pueblo latinoam ericano. Jubo C ortzar, Juan Jos A rrela y G a
briel Garca Mrquez hacen lo mism o: Esto significa que to d o s los es
critores latinoam ericanos m odernos tratan en sus obras la tem tica
popular . ELI razonam iento anterior es: ( )
M) Inductivo.
N) Deductivo.
O) Analoga.
P) Conversin.
V) Analoga.
W) Deduccin.
E X> Contraposicin. T E C A S
89
7. Cm o se le llama al tipo de inferencia en que dado un juicio, se c on-
cluye de l, necesariam ente o tro , sobre la base de una sola premisa?;
Y) Mediata.
Z) Conversa.
A) Obversa.
B) Inm ediata. N ' Q A j r
ESPUERTAS ALEACION
( S )
i 7
M
>AD U
I T H
. ir
90
LOGICA )
SEGUNDA UNIDAD
OBJETIVO DE UNIDAD:
SILOGISMO.
OBJETIVOS DE APRENDIZAJE:
.tQtfcCAUNWfcHSlVWWV
ino, por escrito en su cuaderno, sin error, en el tem a:
SILOGISMO.
Definir qu es el silogismo.
M encionar la form a en que se estructuran los silogismos y la sim-
bologa que se utiliza.
Definir las figuras del silogismo.
Explicar las form as especiales del silogismo: entim em a, polisilo-
gismo y sontes.
W YNT
ivo.
Distinguir entre el silogismo hipottico y el disyuntivo
A CCION ES:
jetivos anteriores, los podrs lograr estudiando cuidadosam ente el li-
LOGICA, Cap. 7 pp. 92 - 103 inclusive.
91
C A PITU LO 7
.*>ni
.o i / o o jp
EL SILOGISMO
W t
feo
IP4 u .
3 la ; :d ata ados dos juicios, se -
T 1\ III UI ma de los juicios da-~
38. A=B, C; por lo tan to , C = A : ste es un esquem a silogstico. -
Dados los dos prim eros juicios, de ellos se obtiene o concluye el tercero,
sin necesidad de que sepam os nada acerca del contenido de los dos pri
m eros. Es la simple estructura de esos juicios, la sola fuerza de su forma,-
lo que perm ite obtener el tercer juicio. Los dos prim eros juicios se llaman
premisas (an tepuestas) y el tercero conclusin. Este ltim o est ligado a
los otros por el concepto derivativo: por lo ta n to .
El silogismo es dicho de otra m anera la estructura de los pensa
m ientos en que tres juicios estn relacionados entre ellos de m anera tal -
que uno deriva de los otros dos. Para que. se d esa estructura, es necesa
rio que esos dos juicios tengan algo de com n entre ellos y con el tercero
En el esquem a A = B, y C = A; por lo tan to , C = B , C resulta = B, a
travs de A. A perm ite el paso o trnsito de C a B. Se trata de una relacin
entre dos trm inos, C y B, establecida gracias a un tercer trm ino, \. que
se halla en relacin con ellos. La relacin que obtenem os, C R . e> una
relacin nueva.
Si atendem os a la expresin con que se traduce el silogismo, halla-
en ste tres trm inos relacionados de m anera que constituyen tres -
posiciones.
Se llama premisa m ayor la que contiene el trm ino m ayor (P); me-
r, la que contiene el m enor (S). Se ordenan las premisas (por c o n v e n -
>n) enunciando prim ero la premisa m ayor y luego la m enor.
93
E n estos casos se tra ta de igualdades. Pero no siempre las proposi
ciones expresan igualdades: Scrates es m o rta l no es una igualdad.
1nu i- i
Todos los
SM
Pl _ _
ftl
S M S M M S M S
. %
En la prim era, el term ino m edio hace de sujeto en la m ayor y d e _
predicado en la m enor; en la segunda, las dos veces de predicado; en l a __
tercera, las dos veces de sujeto. La cuarta es una inversin de la prim era. -
A ristteles en su Organon (obra que constituye la prim era sistematizacin
de la lgica, y en la cual se han inspirado todas las investigaciones lgicas -
posteriores, ya sea para continuarla desde el mismo p u n to de vista o para -
m ejorarla o criticarla) slo tuvo en cuenta las tres prim eras figuras L a __
^ B l ^ C I N GENER;
EJEMPLOS. Veamos un ejem plo para cada una de las cuatro figuras.
R epresentarem os el concepto po r lo ta n to por una raya horizontal, y
sobrentenderem os el concepto y que liga a las premisas.
P r im e r a f i g u r a
S e g u n d a f i g u r a :
Tercera figura:
fitlitC UnVvcHSs i
p Algunos hom bres son filsofos.
M S T odos los hom bres son seres falibles.
Cuarta figura:
'
)E BIBLIOTECAS
95
3 F o r m a s e s p e c ia le s d e l s ilo g is m o .
'7
El entimema slo interesa i punto de vista del lenguaje, s
lgicos. Pero plantea graves problemas. Qu quiere decir que una de las proposicio
nes es tcita? Que no se la enuncia, simplemente, o que no se la piensa?. Cuando
enunciamos un entimema, no pensamos la proposicin tcita;pero si no la pensamos
no podemos razonar con ella; y si razonamos con ella, no es posible que no la pense
mos. La proposicin tcita es un pensamiento no consciente. El razonamiento mate
mtico procede tambin frecuentemente con entimemas, saltando pasos.
DIRECCION
. > . ;
96
Scrates fue'filsofo; por lo tan to , Scrates fue hroe . El prim er silogis
mo se llama prosilogismo ; el segundo eptsilogismo.
t mf___ . UB R ||A a
4 El silogismo hipottico.
97
tivos. El Silogismo que hasta ahora hem os visto constaba de premisas ca-
egoncas, es decir, no sujetas a ninguna condicin o restriccin. Pero hav
silogismos hipotticos y silogismos disyuntivos.
Silogismo hipottico es aquel en que las dos premisas, o una de -
ellas son juicios hipotticos (cuya form a es S es M, si es Q - o S es M '
si Q es R ). Ejem plos:
En el primer caso, tenemos como premisa mayor un juicio hipottico que establece
Z ni 7 T c e d m e 03 0 p m 6 ^ y
mo premisa menor la afiimacin del antecedente. Afirmando el antecedente la con
conaecuenre.Este es el silogiuno hipottico constmcU (llamado.
En este segundo caso no podemos concluir nada, pues quien ha dicho eso
6 El dilema.
r I
AS
El dilema es un razonam iento silogstico en que se com bina un jui
. hinntticos
co disyuntivo con juicios hipotticos, V
y que
que conduce
co a dos conclusiones
igualm ente desfavorables para aquel a qrnen se le plantea, bu alor
O
99
trico, o psicolgico. Desde el p u n to de vista lgico se tra ta de un razona,
m iento com plejo.
Ejem plo:
Com etiste esa m ala accin o en un m om ento de ofuscacin o con.
plena conciencia de lo que hacas.
si la com etiste en un m om ento de ofuscacin, eres culpable (por no
haber sabido dom inarte).
si la com etiste con plena conciencia, eres culpable (porque sabas
lo que hacas).
1 t a B E fLAMMAM-I'
Cuando el juicio disyuntivo plantea tres alternativas, el razonamiento se Dama-
trilema; cuando plantea cuatro, tetralema, etc..
El dilema tiene inters lgico por los sofismas presentados segn su esquema. -
Uno de los ms famosos es el atribuido al sofista griego Protgoras, que enseo a Eva-
tlo a ganar pleitos. Estipularon que el pago de la enseanza se efectuara entregando la
mitad del monto inmediatamente y la otra mitad cuando Evatlo ganase su primer piel
to; si perda ese primer pleito, la deuda quedara condonada. Transcurrido un tiempo,
durante el cual Evatlo no haba tenido ningn pleito. Protgoras le reclam judicial
mente el pago de la deuda pendiente. Y plante al discpulo este dilema-
V / ,\ ii it ' S )jt
Puedo ganar o perder el pleito;
Si lo gano tienes que pagarme porque as lo dispondr el juez;
si lo pierdo (es decir, si lo ganas t), tienes que pagarme porque as lo haba
mos estipulado (que me pagaras cuando ganases el primer pleito).
Tomar el dilema por los cuernos (los cuernos son las alternativas) es la ex
presin con que tradrcionahnente se conoce la refutacin que consiste en mostrar que
el dilema no conduce a la conclusin obtenida. Escaparse entre los cuernos se aplica
a la refutacin en que se muestra que las alternativas no eran las nicas y que haba -
otra u otras.
100
Tambin en el dilema se distingue entre el modus ponens (o ddema construc-
t Vel modus tottens (o dilema destructivo). En el primer caso, la disyuncin
UV0) l T n o h a v ms alternativas que las expresadas, y la hipotsis muestra una -
^ r - ' n ica l l e m ^ a se date del caso A, o del B, tenemos P; se trata de -
t ! m . P". En el segundo o. l.disyuncidn muestra 1 -
tm rtvis como derivando de un. misma condicin; =1 segundo juicio muestra la -
osihiiidad de las alternativas, y la condicin queda negada en la conclusin. Es
^ fe n ^ s P, tenemos A o B, no tenemos A ni B; por lo tanto, no tenemos
P.
101
LA PETICION DE PRINCIPIO. Es u n sofisma en que se recurre, co
m o prueba, a aquello que se quiere probar.
Las tentativas de dem ostrar el V postulado de Euclides caen en l
EL CIRCULO VICIOSO. Es una variante de la peticin de princi_
pi. Se invoca, com o prueba de lo que se quiere probar, precisamente ~
aquello que se quiere probar, ocultando el procedim iento o recurriendo a
palabras que lo disim ulan: Si lo castigaron es porque ha hecho algo; y si
ha hecho algo, est bien que lo hayan castigado .
/ r n r r i A U II1 i f )K \ ;
8 Paradojas.
O/miElL nW
*A
Todo juicio es necesariam ente verdadero o falso; entre la verdad y
la falsedad no hay trm ino m edio. Estos principios de la lgica clsica ~
parecen, sin em bargo, no ser aplicables a ciertas proposiciones y no tener,
por lo ta n to , el carcter absoluto que se les atrib u a. A s sucede en las -
llam adas paradojas, o razonam ientos correctos que, partiendo de una
proposicin aparentemente no contradictoria y que tiene sentido, con
ducen a contradicciones.
De acuerdo con la lgica clsica, si las proposiciones de que se par
te no son contradictorias, el razonam iento correcto no puede llevar a una
contradiccin. La antigedad conoci, sin em bargo, algunas paradojas -
que n o pudo resolver y que han subsistido a travs de los siglos. La ms -
fam osa de ellas es la de Epim nides el cretense, conocida com o la parado
ja del m entiroso, y que puede enunciarse, en form a sim plificada, con la -
siguiente proposicin: Lo que en este m om ento digo es falso . La pro
posicin tiene que ser, de acuerdo con la lgica clsica, necesariamente -
verdadera o falsa. Si la proposicin es verdadera, resulta, sin embargo,
falsa ( o sea, es cierto que lo que en este m om ento digo es falso); si la
proposicin es falsa, resulta, sin em bargo, verdadera (o sea, es falso que -
lo que en este m om ento digo es falso).
*1
i i b OJl :
j VW i
.e b n u i
, i m o o
103
ku
AUTOE V ALUACION
ao lescei
I) Modos.
J) Trminos.
K) Form as especiales.
L) Figuras.
4.
ERSIDAD AUTO
El silogismo: Todos los alum nos de la Preparatoria .Abierta han pa
sado el 2o. sem estre, x no lia pasado el 2o. sem estre, por lo tan to , x
no es alum no de la Preparatoria A bierta , pertenece a la figura: ( )
M) Primera.
N) Segunda.
0) Tercera.
P) Cuarta.
104
5. La form a MP, SM SP es representativa de la figura del silogismo:
( )
Q) Cuarta.
R) Segunda.
S) Primera.
T) Tercera.
U) Entim em a.
V) Polisilogismo.
W) Sorites.
X) Epiquerem a.
Y) H ipottico.
Z) Disyuntivo.
A) Sorites.
B) Epiquerem a.
AfflmUE VO LEON
E) Dilema.
F) Sofisma.
DE BIBLIOTECAS
tn j e
105
.
c * /$ i *
ciy
j 'ijn-j
ERE LAMM
VERITrATIS LA INDUCCION
Y LA ANALOGIA
108
ijl
2 . La induccin incompleta.
- -
La induccin, para que constituya un progreso en nuestros cono
cimientos, tiene que ser incom pleta; es decir, partir de u n o o de algunos
casos particulares, para de ellos obtener una conclusin general. Se o b
serva que algunos cuerpos caen en el vaco con la misma velocidad, y se -
concluye que todos los cuerpos caen en el vaco con la misma velocidad.
La induccin incom pleta, porque no registra todos losicasos constituye
entonces un razonam iento que am pla lo afirm ado en los juicios de que -
se parte.
La induccin incom pleta, que es am plificante, puede, sin embargo
entenderse de diversas m aneras:
com o el razonam iento que va de un juicio particular ( Algunas S -
son P ) a un juicio universal ( Todas las S son P ).
com o el razonam iento que va del hecho a la ley que lo rige.
com o el razonam iento que va de la observacin de un hecho a su -
forzosidad.
Ln los tres casos se trata de un enriquecim iento de los conocim ien
tos; vamos, en to d o s ellos, de un conocim iento restringido a un conoci
miento ms am plio. En la deduccin, eso no sucede; y hasta sucede lo
contrario, com o se ve bien en las inferencias inm ediatas: si digo que rtTo
das las S son P , la inferencia inm ediata por conversin slo me perm ite
afirmar que Algunas P son S;y si convierto este ltim o juicio obtengo
que Algunas S son P . La deduccin ha em pobrecido nuestro conoc
m iento: de T o d a s las S son P , hem os obtenido que Algunas S son P .
Pero la induccin plantea inm ediatam ente este problem a: con
que derecho afirm am os ms que lo que sabemos? Con qu derecho de
cimos que si algunos cuerpos caen en el vaco con la misma velocidad,
todos caen en el vaco con la misma velocidad? y con qu derecho e x
109
tendem os esa afirm acin al pasado y al futuro?. Desde el punto de vista de
la lgica form al, sabem os que un juicio particular no perm ite inferir un
juicio universal: ni del algunos podem os pasar al todos , ni de lo que suce
de a lo que forzosamente ha de suceder , ni de las relaciones en que consis
te un hecho a las relaciones invariables en que consiste una ley. Pero sabe
m os que la ciencia recurre a este razonam iento; ms an: sabemos que, sin
ese razonam iento, la ciencia es im posible.
3. El principio de la induccin.
g yl;n i i *r IHfY ^
110
cuyo estudio no tiene nada que ver con la lgica ; la induccin hace, sim
plemente, profecas .1 Para m ostrar la falacia de la induccin se invocan
ejemplos com o el de las gallinas que ante la aparicin de una persona acu
den a recibir el alim ento que se les ha venido dando diariam ente; pero un
da, en vez de recibir el alim ento, son atrapadas y degolladas. La induccin
sera un razonam iento anim al ; son propensos a inducir los salvajes: pero
un hom bre civilizado hace la m enor cantidad de inducciones posibles; la -
induccin es tan engaosa, que lo que de ella aprendendem os es a no c o n
fiar en ella: su valor es, pues, negativo, no positivo.2 A todo lo que podra
mos aspirar sera a dism inuir la probabilidad del error.
La induccin se fuhdara en presupuestos innecesarios o arbitrarios.
El que algo haya sucedido no nos perm ite asegurar que haya de suceder, -
algo ms; el que algo haya sucedido una vez, no nos perm ite asegurar que
haya de suceder siempre as; el que algo suceda no nos perm ite asegurar
que sucede as porque as tiene que suceder. Maana saldr el sol es una
simple hiptesis, ha llegado a decir uno de los representantes de esta posi
cin.3
5. El fundamento de la induccin.
queda de otros caracteres tam bin com unes. Esos caracteres pueden ser -
los de la estructura de los seres de que se tra ta, o los de sus funciones; los
elem entos com unes conocidos, de dos estructuras, perm iten inferir otros
caracteres com unes; y lo mism o sucede con las funciones. Puede, adems,
del reconocim iento de dos estructuras sem ejantes, inferirse una funcin
sem ejante y viceversa. D escubierta la funcin de algunas glndulas de se
crecin interna, y observada su m orfologa, pudo concluirse, por analo
ga, que las glndulas carentes de conductos excretores deban elaborar -
horm onas.
m k
112
espacio euclidiano a los espacios no euclidianos, y hablar de espacios de
n dimensiones. En historia, el recurso a la analoga es frecuente: los pa
ralelos entre grandes figuras de la historia, o entre grandes acontec------
mientos, se fundan igualm ente en la conviccin de que, partiendo de
ciertos caracteres com unes, se pueden descubrir nuevos caracteres y nue
vas relaciones. En fsica, la teo ra ondulatoria de la luz surge por analo
ga con la teo ra ondulatoria de la transmisin del sonido.
;VO LEOf
rtunoarfii db
EBIBLIOTECAS
(4) D E s o l a c e . Dialogue sur Vanaiogte pg. 154 JVC ' npLim
(5) Vas O O R O L L E . L r a s o rm a m e n t o a r a n a lo g a .
.SIJoIvL*
.omai^olsr'.
ji r a u b a Q
113
AUTOEVALUACION
A) Incom pleta.
C) Com pleta.
D) Com puesta
.. 2
3. El principio que afirma la e: :ia de relaciones invariables, dadas
en la naturaleza, es:
D.L VV-t .. ( )
I) Deduccin
J) Analoga.
K> Induccin.
L) Silogismo. RSIDAD
4. Al tipo de razonam iento cuya conclusin es siem pre probable, se le
conoce com o: / x
M1I; DIRECCION GENEk/
M) Induccin.
N) Analoga.
O) Silogismo.
P) Deduccin.
114
Cul es el tipo de razonam iento al que recurren las ciencias, que
permite la invencin y el estudio de la correspondencia del pensa
m iento con el objeto?: ( )
Q) Induccin.
K) Deduccin.
S) Analoga.
T) Silogismo.
RESPUESTAS A LA AUT0EVALUAC10N
1. ( C ) 4. ( N )
DE NUEVO LEON
L BIBLIOl EC .S
1
115
UNIVERSIDAD AUTNl
LOGICA
TERCERA UNIDAD
OBJETIVO DE UNIDAD:
OBJETIVOS DE APRENDIZAJE:
fs A / ,E W J
1.6 Sealar en qu consiste la deducibilidad.
:T
INSTRUCCIONES:
m e p ip i TOTFrA^
Los objetivos anteriores, los podrs lograr estudiando cuidadosam ente el
libro de LOGICA, Cap. 9 , pp. 118 -1 2 9 inclusive.
117
AOIOO.I
O A O im i; & 93S3T
CA PITU LO 9
ni
gica ciencia de la inferenci stica es el clculo de -
Ese clculo puede dividirse 'culos fundam entales: -
el clculo y el clculo de clases.
J ,
ntpy lATEl'A t
inuftf *!J
* * * * * * $ 5 1 - 8 1 1 .q q ,P ,q* 3 ^ADIOOJ
118
2. Proposiciones atmicas y moleculares.
VARIABLES PROPOSICIONALES.
119
3. Conectivas extensionaies.
V erdadera Falsa
Falsa Verdadera
120
CONJUNCION. La conjuncin, que es la operacin que corresponde -
al trm ino lgico y \ y cuyo sm bolo es perm ite, dadas dos proposi
ciones,J p y q , obtener una proposicin com pleja que es verdadera so
lamente cuando lo son las dos proposiciones simples, conjugadas en ella. -
Ejemplo: Scrates es filsofo ( p ) y Scrates es ateniense ( p .q ). -
Si las dos proposiciones simples son falsas, y tam bin si es falsa una cual
quiera de ellas, la proposicin compleja es falsa.
La conjuncin queda definida por esta tabla de verdad:
1 ttw
121
pyq PAq
'/QMIIl- i rtl :
11 1
IMPLICACION. La im plicacin, que es la operacin que corresponde
al trm ino lgico im plica , y cuyo sm bolo es O , perm ite, dadas dos -
proposiciones p y q , construir o tra , pD q . Esta ltim a proposicin
\M m S m N M k
Pedro ya lleg a su casa . Tam bin en este caso afirm am os una im plica
cin. E igualm ente afirm am os im plicaciones cuando recurrim os a expre....
siones, tan corrientes en el uso vulgar, com o Si Pedro es un hom bre de
cente, yo soy Cristbal C oln .
El em pleo de la palabra im plicacin para designar esta operacin
ha d ado lugar a discusiones ociosas. La relacin que la im plicacin esta
blece es de hecho, y no necesariam ente de derecho. Por eso vale, com o
ejem plo de im plicacin, el enunciado Si Pedro es un hom bre decente
O p ) y soy Cristbal Coln ( q ). Llam ado antecedente a p y conse
cuente a q , una im plicacin es falsa slo cuando es verdadero el antece
dente y falso el consecuente. Si Pedro es un hom bre decente, y o soy
Cristbal Coln es falso cuando yo, com o de hecho sucede, no soy Cris
tbal C oln, y Pedro es un hom bre decente.
La tabla de verdad de la im plicacin es la siguiente.
122
p q pDq
V V V
V F F
F V V
F F V
P p=q
V V Y
V F F
F V F
F F V
F
V
V
V
123
que podram os llamar bsicas: la negacin, la conjuncin, la disyuncin.
inclusiva, la im plicacin y la equivalencia.
Las tablas de verdad de las seis operaciones binarias (conjuncin,.
disyuncin incluyente, disyuncin excluyente, im plicacin, equivalencia
e incom patibilidad) pueden reunirse en esta nica tabla:
pq pvq
V V
V
F F F
R WRITATf_j
as operaciones, com o la negacin, pueden efectuarse tambin
oposiciones com plejas. La tabla de verdad n o vara si en vez de -
' n m n n a r in n ^m en tales, p , q , se parte de proposiciones
fcl
4. Tablas de verdad.
[T
El valor de verdad de las proposiciones m oleculares cuyas conecti
vas son extensionales depende, com o ya se dijo, nicamente del valor de
verdad de las proposiciones com ponentes, de m odo que, conociendo este
ltim o, es posible determ inar aqul. Esto perm ite construir, para cada -
conectiva extensional, una tabla que indica, dadas las distintas combina
124
S IM B O L O NO M BRE L O C U C IO N E S TA BLA DE VERD AD
N o ; no es cierto P 'V p
N egacin q u e ; no es verdad
q u e ; e tc . V F
F V
P q P.Q
Y ; p e ro ; au n q u e ; V V V
C o n ju n c i n S in o ; e tc . F V F
V F F
F F F
P q pvq
V D isy u n c i n 0 ; y / o a m enos V V V
In c lu siva q u e ; e tc. F V V
V F V
F F F
P q P=0
D isy u n c i n V V F
e x c lu siv a O ; o b ie n ;e tc . F V V
V F V
F F F
P q P--
S I. . . en tonces, V V V
D C o n d ic io n a l . . . es co n d ici n F V V
su ficie n te p a ra.. . ; V _ F F
etctera F F V
P q P^=q
S I, y slo s l . . . es
B l c a n d ie l onal y su fic ie n te V F F
P * r a .. te . F V
F
125
tengo previamente m i titulo. Los parntesis sealan, pues, el alcance de ca
da conectiva. Con respecto a la negacin, y con el fin de evitar un uso ex
cesivo de parntesis, se conviene en que slo afecta a la variable que sigue
inm ediatam ente, a m enos q ue, m ediante parntesis, se indique lo contra
rio. A s: ^ p v q ha de entenderse com o (^ p )v q , y no com o 'vf pvq).
yjQjjJI I f t1 \ m ?*1
5. Tautologa, contradiccin y contingencia.
M [[ ICXw [ O]'.
Si la tabla de verdad correspondiente a una form a pro p o sicio n al.....
contiene nicam ente (en su resultado final) el valor veritativo V (verdad) -
se dice que sta es tautolgica o que es una tautologa; si contiene nica- -
m ente el valor de verdad F (falsedad) se dice que es contradictoria o que -
es una contradiccin. Si contiene al m enos una vez el valor de verdad V v
al m enos una vez F , se dice que es contingente , o que es una contingencia.
Es claro que si en una form a tautolgica, se reem plazan las variables pre
posicionales por proposiciones, se obtendr siem pre una proposicin ver
dadera, y en el caso de la contradiccin, una proposicin falsa. En cambio,
en el caso de las form as contingentes, el valor de verdad de las proposicio
nes que resulten variar segn el valor veritativo de las proposiciones con -
que se reem place a las variables.
126
6 . Leyes de la lgica proposicional.
p= p (Identidad)
pDp (Identidad)
pv 'v p (Tercero excluido)
'M p.'^'p) (Contradiccin)
[ ( p D q ) .p P q (M o d u s p o n e n s)
[ ( p D q p q p ,'''P {M o d u s to lle n s)
[(p v q )/o p p q (Silogismo disyuntivo)
[(pDq).(qDr)]D(pI>r) (Silogismo hipottico)
M P 'q ) ( ^p.'V]) (Leyes de De Morgan)
^ ( p .q ) = ( ^ p v^ q )
'V'Vp=p (I)ohle negacin)
(pDq)=('Npvq) (Definicin del condicional)
(pD q)='v(p.'\>q) (Definicin del condicional)
'\>(pD q)=(pA 'q) (Negacin del condicional)
(p.p) = p (Idem potencia)
(pvp) = p (Idem potencia)
j[(p D q ).(O s)].(p v r)f (q v s) (Dilema constructivo)
|[ ( p D q ) .( iO s ) ] .< '\'q v 'V s ) f D (^pv'V r) (Dilema destructivo)
(p.q) = (q.p) (Conm u tatividad de la conjuncin)
(pvq) = (qvp) (Conm utatividad de la disyuncin)
[(p.q).r]= [ p (q.r)] (Asociatividad de la conjuncin)
[(pvq)vr]=[pv(qvr)] (Asociatividad de la disyuncin)
[p .(q \r)]= [(p .q )v (p .r)] (Distributividad de la conjuncin con
respecto a la disyuncin)
[p\(q.r)]=[(pvq).(pvr)] (Distributividad de la disyuncin con
la conjuncin).
7. Decisin de razonamientos
por tablas de verdad.
Condicional asociado: q) p ] 3q
1
Y / / /
V V V V V V V
F V V F F
V F F F V
F V F F F F
|
tautolgico.
El razonamiento es vlid
128
8. D e d u c ib ilid a d .
Ejemplo:
Proposicin A: Napolen no era francs.
Proposicin B: Sapolen hubiera sido francs si v slo si hubiera nacido en
Francia;pero l no naci en Francia.
Forma de A: p
Forma de B: ( p = q ) .
Condicional: B ~d>A
[ (p = q). 'V q] D 'V/ p F.s tautolgico.
A es deducible de B.
E BIBLIOTE( -AS
129
RESPUESTAS A LA AUTOEVALUACION
131
LOGICA
TERCERA UNIDAD
OBJETIVO DE UNIDAD:
DE FUNCIONES O CUANTIFICACIONAL.
III | # niflMu i v
inir el concepto de funcin pro :iO"al.
. K .
en qu consiste la cuantifcacin.
ifi(
\i [n
f X n ,^ 0 *
2.3 ctuar la sim bolizacin de las proposiciones categricas clsi
cas, segn la lgica funcional en el cuadrado de oposicin.
I IM
2.6
IV T h
Definir las propiedades de las re AITION'
s, con sus ejemplos.
INSTRUCCIONES:
132
CA PITULO 1 0
LOGICA DE FUNCIONES
133
sim bolizarlos utilizam os las letras m aysculas F, G , H, etc., com o cons->
tantesd e predicado (designan un predicado en especial), las letras mins
culas a,b,c, etc., com o constantes de individuo (designan un individuo
determ inado), y las minsculas x, y, z com o variables de individuo (desig
nan un individuo no especificado). Segn esto, la proposicin que nos -_
ocupa se sim bolizara c o m o :Ma (donde Ai: mamfero;*?: Tom). Conside
rem os ahora la expresin: M x (dondeA i: m am fero). Ella no sim boliza_
una proposicin, puesto que no es ni verdadera ni falsa, dado que x , por _
ser una variable, no designa ningn individuo en particular. Pero puede __
transformarse en una proposicin sustituyendo la variable individual x por
una constante individual, por ejem plo, a donde a designa un individuo de
term inado (com o Tom ). Expresiones com oA x que contienen variables
individuales y tales que si se sustituyen dichas variables por constantes
se obtienen proposiciones, se denom inan funciones proposicionales. Las -
constantes que pueden sustituir a una (variable se denom inan valores de
!! tQTCA UNIVERSITARIA
dicha variable.
"
2. La cuantificacin.
134
VARIABLES LIBRES Y LIGADAS. De este m odo, expresiones como -
(x)Fx y (1 x )F x , a pesar de contener variables, no son ya funciones pro-
posicionales, sino proposiciones. Ello se debe a que las variables de la fun
cin han cado dentro del dom inio o alcance de un cuantificador. Se dire
de las variables que se hallan dentro del alcance de un cuantificador que -
estn ligadas -, de lo contrario, son variables libres. Para que una expresin
sea una funcin preposicional, debe contener al menos una variable libre.
CONVENCION. Se conviene en que el alcance de un cuantificador se -
extiende hasta la prim era conectiva que contenga la expresin que le sigue;
si desea drsele un alcance m ayor, debe encerrarse la expresin que ?c pre
tende afectar entre parntesis. En los siguientes ejem plos las variables li
bres se distinguen con letras subrayadas:
(x)Fx = 'v (3 x) ^ Fx
( 3 x )F x = ^ (x) ^ Fx
'V/ (x )F x = ( 3 x ) 'v Fx
~ ( 3x)Fx = (x) 'v Fx L u
135
Ejem plo:
. G x) = [(x) Fx . (x) G x]
x v G x ) = i ( 3 x) F x v ( 3 x ) G x ]
136
clsicas y las inferencias en que sus trm inos juegan un papel significativo.
Segn la m oderna te o ra de la cuantificacin, las proposiciones categri-
cas tpicas se sim bolizan de la siguiente m anera:
A N A L I S I S C L A S IC O A N A L IS IS D E L A
L O G I C A F U N C IO N A L
A
U N IV E R S A L T o d o S es P ( x ) (F x D G x )
A F IR M A T IV A
1 E
U N IV E R S A L N in g n S es P ( x ) (F x D 'V/ G x )
N E G A T IV A
! I
P A R T IC U L A R A lg n S es P ( x ) (Fx . Gx)
A F IR M A T IV A
0
P A R T IC U L A R A lg n S n o es P ( 3 x)(Fx . ~ Gx)
N E G A T IV A
137
Rfftl IQTECA UNIVERSITARIA
138
L O G I C A C L A S IC A IN T E R P R E T A C IO N M O D E R N A
DEMOSTRACION de A = ^ 0
(x) ( F x D G x ) s /V (3 x )^ (F x D G x )
139
7. Predicados m ondicos y polidicos.
-J A ' TT * 11 x
8 . Lgica de predicados polidicos.
140
simbolizacin de algunas proposiciones generales en el lenguaje de la lgica
de predicados polidicos:
141
10. Propiedades de las relaciones.
REFLEXIVIDAD
SIM ETRIA.
SIM ETRIA. Una relacin es sim trica cuando para to d o par de valo
res x e y , si x tiene esa relacin con^i, y tiene esa relacin con x. Ejemplo:
estar casado con.
Def.: (x ) (y ) ( x R y D y R x )
142
ASIMETRIA. Una relacin es asim trica cuando para to d o par de -
valores x e y , si x tiene esa relacin con y, y no la tiene con x. Ejem plo: -
ser madre de.
Def.: M ( x X y X x R y D y R x ) ] . '^[(xXyXxRyD'^yRx)]
D e f : (xX y)[(xRy.yRx) D x = y]
TRANSITIVIDAD
D e f : (x )( yX z )[ (x Ry . y R z P x R z ]
ia THHh n TTp v i p v
D ef : (xXyXz)[(xRy. y R z i ^ x R z ]
NODTRANSITIVlDAD.Una
1 1 J relacin es notransitiva cuando no es
transitiva ni intransitiva. EjemO
D e f - v | (x X y X z A ( xR y .y R zJ xR z\
plo: j . 'v ^ tx X y X z lix R y .y R z P ^ x R z ] ^
amara
143
AUTOEVALUACION
- ____________________________________
Qu es la cuantificacin ? : T ! (M il/ .i $TT3M r O /
.
ttERE FUMMAMI .
3. j Cmo se ntpm rf,n las
SP interpretan ones
1 proposic
de tipo T v 0 ? :
m
55 F
BIBLIOTECA UNIVERSITARIA
as contradictorias en el cuadrado de
_______
L % ...........................
_____
> M- *
5. ; Cules sor
den a relaciones ?:
___ ._____________
n i R u r n N i r.F M R R a t
7. Qu propiedades form ales presentan las relaciones binarias ?:
144
RESPUESTAS A LA AUTOEVALUACION
v *
i rj-li; ' -fv-
foiiic-'.dbo ;l g.g
'.:Y< t f ;. .UlT'-:c'S
145
LOGICA
TERCERA UNIDAD
OBJETIVO DE UNIDAD:
III. LOGICA DI
OBJETIVO!
p o r escrito en tem a:
*1
nocion
operaciones y su representacin
3 v
INSTRUCCIONES:
LOGICA DE CLASES 1
147
2. Operaciones entre clases.
3 . C la se u n iv e rsa l y c la se n u la .
148
no pertenece ningn individuo. S m b o lo s . Para definirla se emplea la ne
gacin del mismo principio, pues ningn objeto la satisface:
. /\ ,
= D F. X X F X.
Ejemplo: fa O P) U a
149
4 . Relaciones entre clases.
5. Inclusin y pertenencia.
150
tos se origina en la existencia de clases de clases, esto es, clases que estn -
form adas a su vez por clases, no por individuos. A s, por ejem plo, l o s ........
m iem bros de la clase de los objetos numerosos no son individuos, sino cla
ses; a saber: la clase de los insectos, la clase de los hom bres, etc.. Estas cla
ses pertenecen a la clase de los objetos num erosos, pero no estn incluidas
en ella. En realidad estn tom adas como todos, com o individuos. Por lo
general, las proposiciones universales establecen una relacin de inclusin
entre clases (ejem plo: Todos los hombres son mortales, expresa que la cla
se de los hom bres est incluida en la clase de los seres m ortales); pero en -
ocasiones estas proposiciones establecen una relacin de pertenencia de
una clase a otra (ejem plo: Los insectos son numerosos, expresa que la ca
se de los insectos pertenece, en cuanto clase o conjunto, a la clase de las -
cosas num erosas, que ella misma es num erosa, no que cada uno de s u s .....
m iem bros lo es).
Las diferencias entre la inclusin y la pertenencia se ponen claram en
te de m anifiesto al considerar las propiedades formales de cada una. Mien
tras la prim era es reflexiva, antisimtrica y transitiva, la segunda es irre
flexiva, asimtrica e intransitiva.
151
teniente invlido, pues tiene premisas verdaderas y conclusin falsa. La fa
lacia se origina al tratar una relacin de pertenencia (que es, por ende, in
transitiva): Los dientes son treinta y dos, como si fuera una relacin de in
clusin (y, por consiguiente, transitiva).
6. Diagramas de Venn.
Resolucin de silogismos categricos.
152
Entre otras aplicaciones, los diagramas de Venn pueden emplearse -
para la resolucin de silogismos. Se necesita para ello, en lugar de dos, tres
crculos, uno para cada una de las clases correspondientes a los trm inos -
del silogismo.
Ejemplo 1 (BARBARA):
T odo M es P M fl_P = A
T odo S es M Sn M= A
T odo S es P sn p = a
Ejem plo 2
T odo P es M P fi M = A
A S f) M = A
T odo S es M
T odo S es P S fl p = A
153
Ejem plo:
Todo P es M P 0 M =^
Algn M es S m n s # ^
Algn S es P s n p * /\
<
tu
>
2
3
o. LfflJ ip/i 17J = i f i i w p i i 7 J cAsacvmviaaa u e ^ )
7. [(aUfi)<j 7] = [aUf0U7] (Asociatividad de V )
8. ( a fta ) = a (Idem potenciade )
9. (a U a)=a (Idempotencia de UJ
10. faU V> =V (Unin con a clase universal)
11 . (aU A) = a ( Unin con la clase nula)
12. (a H V)=a (Interseccin con la clase universal)
13. (a O A ) - /N (Interseccin con la clase nula)
14. [ (a tfl). (( C 77P (a C y) ( Transtividad de la inclusin)
(Leyes de Morgan)
respecto de U)
18. [aUffln y)] = [(aU0)n (aU y)] (Distributividad de U con
respecto a C\ )
154
AUTOEVALU ACION
DE BIBLIOTECAS
155
RESPUESTAS A LA AUTOEV ALUACION
2. Las letras que se utilizan para representar las clases son: las prim eras
letras minsculas del alfabeto griego: a , 0 , 7 , etc.
r! no-1?^14u.}: ,8 1
es la clase univer-
inclusin e igualdad,
DIRECCION GENERA]
ees je c 'o o
CAPILLA ALFONSINA
U. A. N. L.