Documentos de Académico
Documentos de Profesional
Documentos de Cultura
La Logica
La Logica
{paradojas:
Siendo Sancho Panza gobernador de la nsula Barataria llegaron a consultarle
lo siguiente:
Seor, un caudaloso ro divida dos trminos de un mismo seoro, y est
vuestra merced atento, porque el caso es de importancia y algo dificultoso.
Digo, pues, que sobre este ro estaba un puente, y al cabo de l una horca y una
como casa de audiencia, en la cual de ordinario haba cuatro jueces que
aplicaban la ley que puso el dueo del ro, del puente y del seoro, que era en
esta forma: "Si alguno pasare por este puente de una parte a otra, ha de jurar
primero adnde y a qu va; y si jurare verdad, djenle pasar, y si dijere mentira,
muera por ello ahorcado en la horca que all se muestra, sin remisin
alguna."
Sabida esta ley y la rigurosa condicin de ella, pasaban muchos, y
luego en lo que juraban se echaba de ver que decan verdad y los jueces los
dejaban pasar libremente. Sucedi, pues, que tomando juramento a un hombre
jur y dijo que por el juramento que haca, que iba a morir en aquella horca que
ah estaba, y no a otra cosa. Repararon los jueces en el juramento y dijeron: "Si
a este hombre le dejamos pasar libremente, minti en su juramento, y conforme
a la ley debe morir; y si le ahorcamos, l jur que iba a morir en aquella horca,
y, habiendo jurado verdad, por la misma ley debe ser libre". Pdese a vuestra
merced, seor gobernador, qu harn los jueces de tal hombre, que an hasta
ahora estn dudosos y suspensos, y, habiendo tenido noticia del agudo y
elevado entendimiento de vuestra merced, me enviaron a m a que suplicase a
vuestra merced de su parte diese su parecer en tan intricado y dudoso caso."
(CERVANTES, Don Quijote de La Mancha, 2 parte, Captulo LII)
LGICA
NDICE
PARTE 1: LGICA PROPOSICIONAL O LGICA DE ENUNCIADOS
Pgina
Filosofa 1 Bachillerato
LGICA
PARTE 1
LGICA PROPOSICIONAL O LGICA DE ENUNCIADOS
1.- LOS SIGNOS
Cualquier realidad que representa o evoca, para alguien, otra cosa distinta de s
misma la consideramos un signo.
Ejemplos: las seales de trfico, las palabras, la danza de las abejas, el vuelo de las aves, el humo, los sueos
Por tanto, para que algo pueda ser considerado signo es necesario, en primer lugar,
que tenga algn significado para alguien.
Una primera aproximacin a los signos distingue entre aquellos que poseen un solo
significado (son llamados seales), y aquellos que poseen significaciones mltiples
(smbolos). Ahora bien, si tenemos en cuenta el tipo de relacin que los signos
mantienen con su significado, stos se clasifican en:
Smbolos: son aquel tipo de signos que mantienen con su significado una
relacin puramente arbitraria o convencional. Por ejemplo: las palabras del
lenguaje natural humano, los nmeros, las pinturas abstractas, las banderas o
los signos de la lgica
Filosofa 1 Bachillerato
La ciencia que estudia los signos se llama SEMITICA. sta, a su vez, se divide en
tres partes, que constituyen tres maneras de estudiar los signos:
1. Sintaxis: estudia los signos teniendo nicamente en cuenta las diversas
relaciones que se establecen entre ellos con independencia de su significado. Este
es el tipo de estudio que realizan todas las Gramticas.
2. Semntica: estudia los signos teniendo en cuenta la relacin que mantienen con
su significado o referencia, es decir, con las cosas de la realidad representada por
ellos. Este es el tipo de estudio que hacen los Diccionarios o las Etimologas.
3. Pragmtica: estudia los signos teniendo en cuenta la relacin que existe entre
ellos y las personas que los utilizan para comunicarse o representar algo. Este es
el tipo de estudio que realizan los investigadores de las jergas o argots
profesionales, tnicos, regionales, de pandillas
SEMNTICA
SINTAXIS
cosas
PRAGMTICA
signos
personas
Filosofa 1 Bachillerato
3. LENGUAJE NATURAL
Se entiende por Lenguaje Natural al lenguaje (=conjunto de smbolos) utilizado por
una sociedad para comunicarse. Precisemos que tal lenguaje no es natural en sentido
estricto, sino que lo aprendemos en la sociedad, la cual lo ha ido creando a lo largo del
tiempo, siendo por ello artificial (=algo construido por el hombre) a diferencia de lo que
ocurre con los dems animales cuyo lenguaje s es totalmente natural o innato, pues lo
expresan de modo espontneo, incluso si no estn en contacto con otros individuos de
su misma especie.
No obstante, llamaremos Lenguaje Cotidiano, Ordinario, o incluso tambin Lenguaje
Natural, al que aprendemos en sociedad sin apenas darnos cuenta y que sirve para
comunicarnos y referirnos a la realidad que nos rodea.
Filosofa 1 Bachillerato
Filosofa 1 Bachillerato
mejor aliado del poeta, el novelista o el orador). Las insuficiencias del Lenguaje Natural
con respecto a la precisin de sus expresiones son consecuencia de:
a) Ambigedades semnticas: en el Lenguaje Natural hay muchas palabras y
expresiones cuyo significado no es preciso, sino ambiguo; rebosa de trminos
polismicos (es decir, palabras que tienen ms de un significado). Ejemplo:
Pedro alquil una casa (no sabemos si la casa que Pedro alquila es de su
propiedad y se la alquila a otra persona, o si Pedro la alquil para habitarla l),
Llevaba el gato en el coche, Te sigo,
b) Deficiencias sintcticas: las reglas sintcticas que determinan cmo combinar
correctamente las palabras del lenguaje natural carecen de criterios rigurosos que
permitan evitar oraciones sin sentido. Ejemplos: Los martillos cerrados
paladean locamente, All donde los libros bordean las speras playas se alza
el fondo de planicie ms elevado,
4. LENGUAJE ARTIFICIAL
Tratando de superar las citadas limitaciones del Lenguaje Natural, con el objetivo de
proporcionar a las ciencias un lenguaje exacto y riguroso, se han ido construyendo los
Lenguajes Artificiales, esto es, lenguajes bien definidos que poseen una estructura
sintctica clara y una operativa eficaz.
En lneas generales puede decirse que todas las ciencias, en especial las ciencias de la
naturaleza, emplean Lenguajes Artificiales y que sta ha sido una de las condiciones
para su progreso. Por ejemplo, los smbolos de la Qumica, la Fsica, la Biologa, pero
tambin los de la Economa, la Lingstica, etc., constituyen tipos de lenguaje artificial.
4.1. ELEMENTOS QUE INTEGRAN UN LENGUAJE ARTIFICIAL
Bsicamente consta de los mismos elementos que cualquier lenguaje natural (un
conjunto se signos y una serie de reglas sintcticas para combinar dichos signos-), pero
se le exige adems:
Filosofa 1 Bachillerato
a) Que los signos estn bien definidos, para que no quepan ambigedades;
b) Que el conjunto de las reglas para la formacin de expresiones, impida la
construccin de expresiones carentes de sentido y permita saber, en cualquier
momento, si una determinada combinacin de signos es una expresin bien
formada del Lenguaje;
c) Y que posea, adems, un conjunto de reglas operativas o de transformacin de
expresiones, que permita deducir a partir de unas expresiones correctas del
Lenguaje otras que tambin lo sean, para de ese modo construir rigurosas y
complejas cadenas deductivas.
SIGNOS
ELEMENTOS
DE UN
LENGUAJE
ARTIFICIAL
De formacin
de expresiones
REGLAS
De transformacin
operativa de unas
expresiones en
otras
Filosofa 1 Bachillerato
5. LENGUAJE FORMAL
Se denomina Lenguaje Formal a un Lenguaje Artificial cuyos signos son formales
(es decir, carecen de significado) y cuya sintaxis permite operar con dichos signos como
en un clculo.
La Lgica y las Matemticas son Lenguajes Artificiales y, adems, Formales.
Qu significa que los signos de un Lenguaje Formal carecen de significado?
Pues que tales signos no se refieren en absoluto a la realidad. As, por ejemplo, el
signo matemtico 2 no se refiere a dos cosas concretas, como dos manzanas o dos
peras; y lo mismo le ocurre, como veremos inmediatamente, a los signos lgicos p,
q, r, que no se refieren a ninguna proposicin determinada, pudiendo representar a
cualquiera.
Qu significa que las reglas de un Lenguaje Formal poseen la eficacia de un
clculo?
- Que mediante tales reglas siempre podremos saber si una expresin (es decir, un
conjunto de signos) est bien formada en ese lenguaje.
- Y que mediante la aplicacin de dichas reglas podremos transformar expresiones
bien formadas en dicho lenguaje en otras expresiones que tambin lo estn, y que
por algn motivo nos interesen.
Filosofa 1 Bachillerato
Los razonamientos, sin embargo, son vlidos no porque los enunciados que lo
integren sean verdaderos, pues es posible construir razonamientos perfectamente
vlidos con enunciados falsos, sino que un razonamiento es vlido nicamente si
la conclusin se deduce necesariamente de las premisas. (Esto es lo que se
denomina tambin VERDAD FORMAL).
Filosofa 1 Bachillerato
Premisas
Este razonamiento es
vlido formalmente,
aunque sus premisas y su
conclusin sean falsas.
Conclusin
A es B
C es A
C es B
VERDAD
VALIDEZ (O CORRECCIN)
Enunciados
Razonamientos
Realidad
{ verdad material }
Conexin adecuada
y necesaria entre enunciados
10
{ verdad formal }
Filosofa 1 Bachillerato
[ Se lee p ]
S -A - P
x (Gx Mx)
(analiza la proposicin para destacar que est expresando cierta relacin entre las
propiedades expresadas en la proposicin)
11
Filosofa 1 Bachillerato
b)
cualquier proposicin
verdadera
falsa
( ), [ ], { }
12
Filosofa 1 Bachillerato
c)
NEGADOR ():
se lee no
p se lee no p
q se lee no q
Las expresiones siguientes: No podremos ir de excursin a la
Sierra de Gredos, Pedro ni siquiera me escuch, las
simbolizamos p.
El negador es aquella conectiva que al aplicarse a una proposicin
cualquiera, sea simple o compleja, la convierte en falsa si es
verdadera y en verdadera si es falsa.
=> Tabla de verdad del negador:
p
1
0
13
p
0
1
Filosofa 1 Bachillerato
CONJUNTOR ( ):
se lee y
p q se lee p y q
Las expresiones siguientes: Hoy estamos alegres y nos iremos a bailar,
Pedro es buena persona, aunque debera ducharse ms, El sol se nubl, pero
seguimos caminando, las simbolizamos en lgica proposicional p q.
El conjuntor es aquella conectiva que slo es verdadera si las dos proposiciones
que une son ambas verdaderas, y que es falsa en los dems casos.
=> Tabla de verdad del conjuntor:
(Las combinaciones posibles de los valores de verdad de 2 proposiciones (p, q), cada una de las
cuales puede ser verdadera o falsa, son cuatro: que las dos sean verdaderas, que una sea
verdadera y la otra falsa, que una sea falsa y la otra verdadera, y que las dos sean falsas.
Para un nmero n de proposiciones las combinaciones de sus valores de verdad sern 2n.)
p
1
1
0
0
q
1
0
1
0
pq
1
0
0
0
pq
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
0
0
0
0
0
(p q) r
1
0
0
0
0
0
0
0
Ejemplos:
p q se lee no p y q, y su tabla de verdad sera:
p
1
1
0
0
1
0
1
0
0
0
1
1
pq
0
0
1
0
14
Filosofa 1 Bachillerato
1
1
0
0
1
0
1
0
0
1
0
1
pq
0
1
0
0
1
1
0
0
1
0
1
0
pq
1
0
0
0
(p q)
0
1
1
1
1
1
0
0
1
0
1
0
0
0
1
1
0
1
0
1
pq
0
0
0
1
DISYUNTOR ( ):
se lee o
p q se lee p o q
Las expresiones siguientes: Pedro vendr el lunes o el martes, O bien me
quedo en casa o bien voy al cine, Tal vez escuche esa cancin o tal vez me
vaya a pasear al ro , las simbolizamos p q.
El disyuntor es aquella conectiva que slo es falsa si las dos proposiciones que
une son ambas falsas, y verdadera en los dems casos.
La tabla de verdad del disyuntor es:
p
1
1
0
0
q
1
0
1
0
pq
1
1
1
0
15
Filosofa 1 Bachillerato
Ejemplos:
p q se lee no p o q, y su tabla de verdad es
p
1
1
0
0
1
0
1
0
0
0
1
1
pq
1
0
1
1
1
1
0
0
1
0
1
0
0
0
1
1
pq
1
0
1
1
( p q)
0
1
0
0
1
1
0
0
1
0
1
0
pq
1
0
0
0
(p q)
0
1
1
1
p
0
0
1
1
(p q) p
0
1
1
1
p)
0 1
0 1
1 0
1 0
[Primero asignamos los valores a las proposiciones simples p, q, r..., y despus vamos
obteniendo el valor correspondiente de las conectivas que los unen, hasta obtener el valor de la
conectiva dominante en la frmula, es decir, la conectiva que afecta a toda la frmula]
16
Filosofa 1 Bachillerato
CONDICIONAL ( ):
q
1
0
1
0
pq
1
0
1
1
Ejemplos:
p q se lee Si no p, entonces q, y su tabla de verdad es
p q
0
17
Filosofa 1 Bachillerato
0 0 1
1 1 0
1 0 1
1 1 0
BICONDICIONAL ( ):
se lee Slo si
p q se lee p slo si q o Slo si p, entonces q
Las expresiones Slo si llueve, me quedar en casa, Slo en el caso de que
sepas la primera pregunta, debers responder tambin a la segunda, Te
contestar slo si tu respuesta me satisface, las simbolizamos p q.
El bicondicional es aquella conectiva que slo es verdadera si las dos
proposiciones unidas por ella tienen ambas el mismo valor de verdad, es decir,
son ambas verdaderas o falsas a la vez.
La tabla de verdad del bicondicional es:
p
1
1
0
0
q
1
0
1
0
pq
1
0
0
1
Ejemplo:
p q se lee Slo si p, entonces no q o tambin p slo si no q y su
tabla de verdad es:
p q
1
0 1
1 0
0 1
1 0
18
Filosofa 1 Bachillerato
1
1
0
0
1
0
1
0
Para una frmula con tres proposiciones distintas, las combinaciones posibles de
sus valores de verdad son 23 = 8. Con cuatro proposiciones son 24 = 16. Etc.
p
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
19
Filosofa 1 Bachillerato
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
0
0
1
1
0
0
1
1
rq
0
0
1
0
0
0
1
0
0
0
0
0
1
1
1
1
p (r q)
1
1
1
1
0
0
1
0
q)
0 1
0 1
1 0
1 0
0 1
0 1
1 0
1 0
p)]
20
Filosofa 1 Bachillerato
pq
pq
pq
pq
p(qr)
( p q )
p(qr)
(pq)(pq)
p(qr)
21
pq
Filosofa 1 Bachillerato
- Si no crees que lo que te digo ni lo que te dice Juan, nunca sabrs lo que
pas:
( p q ) r
TAUTOLOGA: Es una frmula siempre vlida, sean cuales sean los valores de
verdad de las proposiciones que la integran. Es decir, es una frmula cuya tabla
de verdad final slo tiene unos ( 1 ).
22
Filosofa 1 Bachillerato
Ejemplos:
CONTRADICCIN:
p p Se lee p y no p
p p
1
0 1
1 0
( p q ) ( p q ) Se lee Si p, entonces
q, y no es cierto que si p, entonces q
(p q) (p q)
1
1 0 0 1
0 0 1 1
1 0 0 0
0 0 0 0
TAUTOLOGA:
p p Se lee p o no q
p p
1
0 1
1 0
p ( p q ) Se lee Si p, entonces p o q
p (p q)
1 1
1 1 1
1 1
1 1 0
0 1
0 1 1
0 1
0 0 0
INDETERMINACIN:
p (p q)
1
0 1 1 1
0 1 1 0
0 0 1 1
1 0 0 0
23
Filosofa 1 Bachillerato
Ejemplos de tautologa:
(pq)(qp)
[( p q ) q ] p
(pq)(qp)
(pq)(qp)
PRINCIPIOS
A las llamadas leyes lgicas hay que anteponerles tres Principios bsicos y
fundamentales del pensar humano: los principios de la Lgica.
1) Principio de identidad: p p
2) Principio de no contradiccin: ( p p )
3) Principio de tercio excluso (tertium non datur): p p
LEYES
1) Ley de la Doble Negacin: p p
2) Leyes de la Simplificacin: ( p q ) p
(pq)q
3) Leyes de la idempotencia: ( p p ) p
(pp)p
4) Ley de la adicin: p ( p q )
5) Leyes del silogismo disyuntivo:
[( p q ) q ] p
[( p q ) p ] q
24
Filosofa 1 Bachillerato
6) Leyes de De Morgan: ( p q ) ( p q )
(pq)(pq)
7) Ley del Modus Ponendo Ponens:
[( p q ) p ] q
[( p q ) q ] p
[ ( p q ) ( q r )] ( p r )
10) Leyes del Bicondicional: ( p q ) ( p q )
(pq)(qp)
( p q ) [ ( p q ) ( q p )]
(pq)(qp)
b) Del disyuntor:
(pq)(qp)
c) Del bicondicional: ( p q ) ( q p )
12) Leyes asociativas:
[ ( p q ) r ] [ p ( q r )]
[ ( p q ) r ] [ p ( q r )]
25
Filosofa 1 Bachillerato
( / ),
negamos slo el
antecedente.
p q = df. p q
3. Cmo definir las otras conectivas por el conjuntor:
a) Para definir
p q = df. ( p q )
b) Para definir
b) Para definir
26
Filosofa 1 Bachillerato
RESUMIENDO:
1.- Para definir
//
Definir por
2. ( p q) r
Def.
3. [ ( p q ) r]
Def.
Definir por
2. [ ( p q) ( q p ) ] r
Def.
3. [ ( p q ) ( q p ) ] r
Def.
4. { [ ( p q ) ( q p ) ] r }
Def.
Definir por
2. p ( q r )
Def.
3. p [ ( q r) ( r q ) ]
Def.
4. p [ ( q r ) ( r q ) ]
Def.
27
Filosofa 1 Bachillerato
ACTIVIDADES DE FORMALIZACIN:
Formalizar las siguientes expresiones del lenguaje natural:
1. Si Manuel es un televidente extraordinario y un psimo estudiante,
entonces sus padres no estarn satisfechos y no le dejarn ver tanto la
televisin.
(pq)(rs)
2. Slo si sigue lloviendo, no pasaremos problemas de abastecimiento de
agua este verano, pero slo si deja de llover, no pasaremos problemas de
inundaciones esta semana.
(pq)(pr)
3. Si Pedro no estuvo aqu, entonces tal vez lo descubri por otro lado o tal
vez si no lo descubri fue por pura causalidad.
p [ q ( q r )]
q
antecedente
qp
28
Filosofa 1 Bachillerato
pq
rs
PREMISAS
(qs)t
Este razonamiento es equivalente a la
siguiente frmula condicional:
pr
t
CONCLUSIN
{(pq)(rs)[(qs)t](pr)}t
29
Filosofa 1 Bachillerato
PARTE 2
EL CLCULO DEDUCCIN NATURAL (C. D. N.):
LA LGICA PROPOSICIONAL COMO UN SISTEMA DE
REGLAS DE INFERENCIA
La Lgica Proposicional puede presentarse en forma de Clculo, esto es,
como un conjunto coherente y sistemtico de Reglas de Inferencia, mediante las
cuales es posible llegar a deducir ciertas expresiones a partir de otras.
REGLAS BSICAS
1.- Regla de Eliminacin del Negador (
E )
A
A
I)
A
BB
A
Si suponemos una expresin cualquiera A y se dedujera alguna
contradiccin (B B), entonces cerraremos el supuesto en la
mencionada contradiccin y concluiremos en la negacin de la
citada expresin supuesta ( A).
A esta regla se la denomina tambin Regla de Reduccin al
Absurdo (Abs.).
30
Filosofa 1 Bachillerato
E )
AB
A / B
Si tenemos una expresin conjuntiva cualquiera A B, entonces
podemos concluir en cualquiera de esas dos proposiciones que se
hallan unidas por la conjuncin, tanto A como B.
A esta regla se la denomina tambin Regla de la Simplificacin
(Simp.).
I )
A
B
AB
Si tenemos una expresin cualquiera A y tenemos otra expresin
cualquiera B, entonces podemos concluir en la conjuncin de
ambas (A B).
A esta regla se la denomina tambin Regla del Producto
(Prod.).
E )
AB
A
C
B
C
C
Si tenemos una expresin disyuntiva cualquiera (A B), y
suponiendo cada una de las dos alternativas de esa disyuncin se
dedujera la misma expresin C, entonces podramos concluir en
esa expresin C.
A esta regla se la denomina tambin Regla de los Casos (Cas.).
31
Filosofa 1 Bachillerato
A
AB
Si tenemos una expresin cualquiera A, entonces podemos
concluir en una expresin disyuntiva formada por esa expresin
A y cualquier otra expresin B.
A esta regla se la denomina tambin Regla de la Adicin (Ad.).
AB
A
B
Si tenemos una expresin condicional cualquiera A B y
tenemos el antecedente (A) de ese condicional, entonces
podemos concluir en el consecuente (B).
A esta regla se la denomina tambin Regla del Modus Ponendo
Ponens (M.P.).
A
B
AB
Si suponemos una expresin cualquiera A y se dedujera una
expresin cualquiera B, entonces una vez cerrado el supuesto en la
expresin deducida B, concluiremos en el condicional entre A y B,
es decir, A B.
A esta regla se la denomina tambin Teorema de la Deduccin
(T.D.)
32
Filosofa 1 Bachillerato
p(qr)
ps
1. p ( q r )
2. p s
3. p
4. q r
5. r
6. s
7. r s
rs
pq
qr
1. q r
2. p q
3. p
4. q
5. q
6. q q
7. p
8. p
ps
sp
1. p s
2. s p
3. p
4. p r
5. s
6. p
7. p r
8. p r
pr
33
rs
E, 2
E, 1,3
E, 4
E, 2
I, 5,6
(Supuesto)
E, 2,3
E, 1
I, 4,5
I, 3-6
E, 7
pr
(Supuesto)
I, 3
(Supuesto)
E, 2,5
I, 6
E, 1, 3-4, 5-7
Filosofa 1 Bachillerato
Demostrar:
tp
p(qr)
qs
rs
tp
pr
r
t
(pq)r
p
qr
AB / BA
Demostracin:
1. p q
2. ( p q ) ( q p )
3. p q
pq
Def. , 1
E, 2
BA
A B
Demostracin:
1. p q
2. q p
3. ( p q ) ( q p )
4. p q
pq
I, 1,2
Def., 3
34
Filosofa 1 Bachillerato
A
Demostracin:
1. p
2. p
3 pp
4. p
5. p
p
I,1,2
I, 2-3
E, 4
B
A
Demostracin:
1. p q
2. q
3. p
4. q
5. q q
6. p
E, 1,3
I, 2,4
I, 3-5
B / A
Demostracin:
1. p q
2. p
3. p q
4. q
q
Def./, 1
E, 2,3
(AB)
AB
AB
35
Filosofa 1 Bachillerato
36
Filosofa 1 Bachillerato
qr
tr
q
t
(p q) r
p
qr
pq
rs
sq
r
qr
tr
t
p
sr
st
r
t
rs
pq
( p s)
qr
rt
t
rs
p ( q r)
q
pr
( t q)
sq
p ( q r)
ps
q
ts
s
pr
rq
p
(p q) r
(p r) s
pq
qs
sr
st
sp
tq
q
pq
qs
pt
t
s
pt
st
sq
(q p) r
p (q r)
q (p r)
37
Filosofa 1 Bachillerato
(q s) t
qr
ps
ts
pr
qp
r
q
pr
qr
sr
sp
p (q t u)
p
rq
rt
ur
pq
pr
qs
(r s)
rs
pq
qr
st
sp
pq
[p (q r)] s
(p s) r
rt
pr
rs
pq
(p s)
pq
rq
qr
rp
(p q) r
st
rs
pq
pr
sq
qt
sr
qp
qr
r
p
pq
p (p s)
qs
( p s)
pr
qp
r
p (q r)
ps
q
s
(p s) q
38
Filosofa 1 Bachillerato
( p q) r
(p r) s
pq
pp
p
sr
(p q) (r s)
( p r)
t (p s)
pq
rp
rt
( s r)
ts
qu
qp
pr
rq
pq
( q r)
ps
qt
st
r (t p)
ts
sp
pq
rp
p (q r)
r (s a)
(p q) r
rs
qs
pt
tq
(r s) (q p)
(r s) t
(p q) (r s)
(t p)
t
tq
pq
sp
qr
(s r) t
rs
t
pq
rp
sr
ts
rq
[p (q r)] s
(p s) r
pr
39
Filosofa 1 Bachillerato
40
Filosofa 1 Bachillerato
41
Filosofa 1 Bachillerato
42
Filosofa 1 Bachillerato
PARTE 3
EL SILOGISMO ARISTOTLICO
Vamos a estudiar el llamado por ARISTTELES silogismo categrico.
Aristteles llam silogismo a todo razonamiento deductivo compuesto por dos
premisas y una conclusin. Y silogismo categrico a aquel razonamiento cuyas premisas y
conclusin son proposiciones categricas.
Una proposicin categrica es aquella en la que se afirma o niega un predicado de un
sujeto. Ejemplo : Todos los hombres son mortales (Todo S es P); Ningn astronauta es egipcio
(Ningn S es P). As pues, en este nivel de la Lgica se analizan las proposiciones simples para
distinguir en ellas el sujeto (S) y el predicado (P).
Por ltimo, en las proposiciones categricas hay que tener en cuenta si el predicado
afirma o niega y si lo hace de todos los sujetos o slo de alguno. Por ello hay cuatro tipos
posibles de proposiciones categricas:
1) Todos los S son P ----Prop. Categrica Universal Afirmativa. La simbolizamos
con una
A.
E.
O.
43
Filosofa 1 Bachillerato
Vamos a ver cmo se representan mediante los diagramas de VENN los cuatro tipos de
proposiciones categricas:
- Proposicin Categrica Universal Afirmativa:
A
P
S
Todos los S son P
(La zona rayada significa que en ella no puede existir ningn miembro.)
E
P
S
Ningn S es P
(La zona rayada significa que en ella no puede existir ningn miembro.)
44
Filosofa 1 Bachillerato
Algn S es P
Algn S no es P
45
Filosofa 1 Bachillerato
M es P
S es M
S es P
2 Figura:
3 Figura:
P es M
S es M
S es P
M es P
M es S
S es P
4 Figura:
P es M
M es S
S es P
Adems, cada figura del silogismo admite 64 modos distintos de combinar los cuatro
tipos de proposiciones categricas (A, E, I, O). (444=64). Sin embargo, no todos son vlidos.
Cmo comprobar la validez de un silogismo?: Utilizando los Diagramas de VENN.
S
M
46
Filosofa 1 Bachillerato
Ejemplos:
Comprobar la validez de un silogismo AEE de la 2 figura
P -A- M
S -E- M
S -E- P
Silogismo vlido,
porque
M
Comprobar la validez de un silogismo A I I de la 3 figura
P
M -A- P
M -I- S
S -I- P
Silogismo vlido,
porque
M
M -A- P
S -O- M
S -O- P
Silogismo no vlido,
porque
M
47
Filosofa 1 Bachillerato
EJERCICIOS:
Comprobar la validez de un modo AAA de la 1 Figura.
AAE de la 1 Figura.
EIO de la 2 Figura.
OAO de la 3 Figura.
IAI de la 3 Figura.
48
Filosofa 1 Bachillerato
49
Filosofa 1 Bachillerato
50
Filosofa 1 Bachillerato