Beruflich Dokumente
Kultur Dokumente
ndice
INTRODUCCIN. .............................................................................................................1
1.1 DEFINICIN. .....................................................................................................................1
1.2 EL RAZONAMIENTO. .........................................................................................................1
1.2.1
Las premisas...........................................................................................................1
1.2.2
La conclusin. ........................................................................................................1
1.3 POR QU ES IMPORTANTE SABER RAZONAR?...................................................................2
EL LENGUAJE LGICO...............................................................................................12
5.1 LENGUAJE NATURAL.......................................................................................................12
5.1.1
Inconvenientes del lenguaje natural para el anlisis lgico. ...............................12
5.2 LENGUAJE FORMAL. .......................................................................................................13
5.3 LENGUAJE FORMAL PARA LA LGICA PROPOSICIONAL....................................................13
5.3.1
Elementos del lenguaje. Morfologa.....................................................................13
5.3.2
Reglas de formacin. Sintaxis. .............................................................................16
FORMALIZACIN. ........................................................................................................17
6.1
6.2
6.3
6.4
DEFINICIN. ...................................................................................................................17
OBJETIVO. ......................................................................................................................17
PRECAUCIONES AL FORMALIZAR. ...................................................................................17
PASOS A SEGUIR: ESQUEMA DE UN RAZONAMIENTO........................................................18
PREPARACIN AL CLCULO LGICO. .................................................................19
Introduccin a la Lgica
ndice
2
8.2.5
El bicondicional. ..................................................................................................23
8.2.6
Resumen: ..............................................................................................................24
8.3 EVALUACIN DEL VALOR DE VERDAD DE UNA FRMULA. ..............................................24
8.4 TIPOS DE FRMULAS EN FUNCIN DE SUS POSIBLES VALORES DE VERDAD. ....................25
8.5 EQUIVALENCIA LGICA. .................................................................................................26
8.6 EVALUACIN DE LA VALIDEZ DE UN RAZONAMIENTO.....................................................26
8.6.1
Mediante tablas de verdad. ..................................................................................27
8.6.2
Mediante el mtodo de reduccin al absurdo. .....................................................28
9
Introduccin a la Lgica
Introduccin
1 INTRODUCCIN.
1.1
DEFINICIN.
Lgica es la ciencia del razonamiento correcto.
EL RAZONAMIENTO.
__________________
-
Introduccin a la Lgica
Introduccin
La respuesta tendra que ser obvia, podemos observar que el uso de razonamientos
es muy habitual en nuestras discusiones, sean del tipo que sean: msica, tica, poltica,
gustos, creencias, etc. y sean con quien sean nuestros amigos, nuestra pareja, nuestros
padres, profesores, etc.
Si queremos entendernos con los dems y solucionar nuestros problemas
pacficamente, expresar y hacer valer nuestras ideas, evitar que nos engaen o
manipulen, es imprescindible conocer las reglas de la lgica: saber razonar
correctamente y saber determinar cuando alguien que discute con nosotros est
razonando correctamente.
Sobre todo tiene una importancia vital en el desarrollo de todo tipo de
pensamiento riguroso: la filosofa y la ciencia (para hacer predicciones en el mtodo
hipottico-deductivo).
Introduccin a la Lgica
EL LENGUAJE DESCRIPTIVO.
Tambin se denomina lenguaje declarativo o asertrico.
Introduccin a la Lgica
LGICA DE CLASES.
LGICA DE PREDICADOS.
LGICA PROPOSICIONAL.
Introduccin a la Lgica
Trminos bsicos
4 TRMINOS BSICOS.
4.1
FORMA Y CONTENIDO.
Partamos de dos razonamientos simples:
R1 :
P1 : Si tienes la gripe entonces tienes fiebre.
A
B
P2 : No tienes fiebre.
B
C : Por lo tanto, no tienes la gripe.
A
R2 :
P1 : Si crece la inversin entonces disminuye el paro.
A
B
P2 : No disminuye el paro.
B
C : Por lo tanto, no crece la inversin.
A
Observamos que:
Tienen distinto contenido:
R1 : medicina.
R2 : economa.
Introduccin a la Lgica
Trminos bsicos
4.1.2 Contenido.
Es lo expresado por la premisas y la conclusin: el conjunto de afirmaciones que
stas realizan del mundo: el conjunto de sucesos que stas describen.
El objetivo de la lgica es decir qu tipo de razonamientos son correctos, y esto se
define exclusivamente en virtud de su estructura formal. La lgica prescinde del
contenido pues slo analiza la correccin formal de los razonamientos.
4.2
VERDAD Y VALIDEZ.
No son trminos sinnimos:
4.2.1 Verdad.
Tiene que ver con el contenido de los razonamientos:
1. Se predica de las proposiciones, premisas y conclusin de los razonamientos.
2. Es la conformidad del contenido de una proposicin -lo que sta afirma o
predica del mundo- con lo que sucede en el mundo.
3. Se habla de verdad como correspondencia (entre lo afirmado por la proposicin
y los hechos).
Por ejemplo: "Hoy es jueves", "La Tierra es el planeta del sistema solar ms cercano al
Sol", etc.
No corresponde a la Lgica determinar la verdad o falsedad de los enunciados, de
ello se ocupan los cientficos o quienes los propongan (depender del mbito al que pertenezca
el razonamiento). Tampoco le importa si son verdaderos o falsos.
4.2.2 Validez.
Tiene que ver con la forma de los razonamientos:
1. Se predica de los razonamientos.
2. No se refiere a la verdad de las proposiciones que los componen, es decir, no se
refiere a su contenido.
3. Est determinada por la forma en que las proposiciones se hallan relacionadas
lgicamente en las premisas y la conclusin de un razonamiento.
Introduccin a la Lgica
Trminos bsicos
Que de hecho las premisas sean verdaderas o falsas no afecta a la validez del
argumento: a su correccin formal.
Un razonamiento lgicamente vlido es un razonamiento correcto.
4.2.3 Ejercicio sobre verdad y validez.
Vamos a ver en qu medida la validez de un razonamiento es independiente del
valor de verdad de las premisas que lo componen y del de la conclusin.
Puesto que todava no disponemos de un clculo lgico intentaremos decidir la
validez de los razonamientos utilizando la definicin que hemos dado de razonamiento
lgicamente vlido y nuestra intuicin.
Procederemos a agotar todas las combinaciones posibles de valores de verdad en las
premisas y la conclusin de un razonamiento y analizaremos si su validez depende o no de
estos valores de verdad.
Los casos posibles son:
1. Premisas Falsas - Conclusin Falsa.
2. Premisas Falsas - Conclusin Verdadera.
3. Unas Premisas Falsas y otras Verdaderas - Conclusin Falsa.
4. Unas Premisas Falsas y otras Verdaderas - Conclusin Verdadera.
5. Premisas Verdaderas - Conclusin Verdadera.
6. Premisas Verdaderas - Conclusin Falsa.
Introduccin a la Lgica
Trminos bsicos
R1
Verdad
P1: Si eres una mujer entonces conducirs muy mal.
_____
_____
_____
R2
Verdad
P1: Todas las gallinas hablan francs.
_____
_____
_____
R3
Verdad
P1: Si nieva las playas se llenan de gente.
_____
_____
_____
R4
Verdad
P1: Alguna jirafa recita en ingls.
_____
_____
_____
Introduccin a la Lgica
Trminos bsicos
10
R5
Verdad
P1: Todos los sabios son despistados.
_____
_____
_____
R6
Verdad
P1: Si estudias lgica se te cae el pelo.
_____
_____
_____
R7
Verdad
P1: Todos los negros bailan muy bien.
_____
_____
_____
R8
Verdad
P1: Si estudias te dejarn salir por la noche.
_____
_____
_____
Introduccin a la Lgica
Trminos bsicos
11
R9
Verdad
P1: Todo nmero entero positivo es divisible por 1.
_____
_____
_____
R10
Verdad
P1: Todos los hombres son mortales.
_____
_____
C : Anbal es hombre.
_____
R11
Verdad
P1: Todos los perros son mamferos.
_____
_____
_____
Introduccin a la Lgica
El lenguaje lgico
12
5 EL LENGUAJE LGICO
El inters de la lgica es el anlisis de los razonamientos en el mbito formal. Los
razonamientos se hacen en el lenguaje cotidiano, tambin denominado lenguaje ordinario
o natural.
5.1
LENGUAJE NATURAL.
P2 :
C :
Introduccin a la Lgica
El lenguaje lgico
5.2
13
LENGUAJE FORMAL.
Cada uno de los enunciados simples del lenguaje natural se sustituir por
variables proposicionales simbolizadas mediante las letras minsculas: p, q, r, s, t,
u, v, w. Si hubiera ms se pondrn subndices. Ejemplos:
"ste fue un verano caluroso": p
"La fidelidad es una quimera": q
"Al final de los tiempos resucitarn los cuerpos": r
"Tengo sueo": s
Introduccin a la Lgica
El lenguaje lgico
14
B. Smbolos de enlace.
a) Estn constituidos por las constantes lgicas (se denominan tambin conectivas o
juntores) que representan las relaciones lgicas existentes entre las
proposiciones.
b) Simbolizan los elementos del lenguaje natural que ponen en relacin las diferentes
proposiciones.
c) Hay cinco tipos bsicos de relacin lgica entre proposiciones:
1) La negacin.
Significa la negacin de la proposicin que ponemos a su derecha.
REGLA DE SIMBOLIZACIN II
Las expresiones del lenguaje natural tales como "no", "no es cierto", "no es el
caso que", "es falso", "es imposible", etc. se sustituirn por el smbolo "".
Ejemplos:
"No vendr a cenar esta noche p": p
"Es imposible que pueda olvidar lo sucedido q": q
"No es cierto que no se lo dijera r": r
2) La conjuncin.
Significa que ambas proposiciones suceden de forma conjunta.
REGLA DE SIMBOLIZACIN III
Las expresiones del lenguaje natural tales como "y", "ni", "pero", " que", "e",
"mas", una simple coma ",", etc. se sustituirn por el smbolo "".
Ejemplos:
"Viene cansado p y deprimido q: p q
" Ana quiere a Luis p pero no es tonta q": p q
"No es cierto que sea viuda p y no tenga hecha la ciruga q ": (p q)
3) La disyuncin.
Introduccin a la Lgica
El lenguaje lgico
15
Significa que sucede una proposicin, sucede la otra, o suceden ambas. Es lo que se
denomina disyuncin inclusiva frente a la disyuncin exclusiva que usualmente utilizamos en
el lenguaje natural y que significa que sucede una u otra pero no ambas a la vez.
REGLA DE SIMBOLIZACIN IV
4) El Condicional.
Significa que si se da la primera (a la derecha de la flecha) entonces se dar la segunda
(a la izquierda de la flecha).
Es una relacin de consecuencia entre dos proposiciones: la primera es la condicin
(antecedente) y la segunda es el resultado (consecuente).
En el lenguaje natural es habitual encontrarlas expresadas en orden inverso por lo que
al simbolizar hemos de tener cuidado de entender bien el sentido de la relacin lgica
expresada.
Por ejemplo: "Sera sumamente feliz si os callarais" [ q p ] [siendo q: "os callarais"
y p: "Sera sumamente feliz"]
REGLA DE SIMBOLIZACIN V
Introduccin a la Lgica
El lenguaje lgico
16
5) El Bicondicional.
Significa que las dos proposiciones se implican mutua y necesariamente. Equivale a un
condicional en ambas direcciones: slo ocurrir la primera si sucede la segunda y slo
suceder la segunda si sucede la primera.
REGLA DE SIMBOLIZACIN VI
Las expresiones del lenguaje natural tales como "si y slo si", "equivale
a", "es igual a", "vale por", "es lo mismo que", etc. se sustituirn por
el smbolo "".
Ejemplos:
"Un pueblo es democrtico p si y slo si hay elecciones libres q ": p q
"Slo si cambias de actitud p, estar dispuesto a ir tus quejas q": p q
"Sers feliz p slo si buscas el placer q y no te dejas esclavizar por los deseos
":
p
(q r)
r
c) Signos auxiliares.
i) Son los parntesis y los corchetes.
ii) Indican cmo estn agrupados los smbolos de una expresin de nuestro lenguaje
formal, y cul es el smbolo de enlace principal en ella.
5.3.2 Reglas de formacin. Sintaxis.
Nos indican qu hilera o sucesin de signos de nuestro lenguaje es una expresin
correcta de l.
Toda serie de signos de nuestro lenguaje que estn ordenados correctamente recibe el
nombre de frmula bien formada (FBF).
Las reglas son las siguientes:
i) Si X es una variable proposicional entonces X es una FBF.
ii) Si X es una FBF entonces: X es una FBF.
iii) Si X, Y son FBF entonces: X Y, X v Y, X Y, X Y, son FBF.
iv) Estas son todas las reglas de formacin de nuestro lenguaje.
[X, Y son variables de FBF: representan cualquier variable proposicional o cualquier
FBF]
Introduccin a la Lgica
Formalizacin
17
6 FORMALIZACIN.
6.1
DEFINICIN.
OBJETIVO.
PRECAUCIONES AL FORMALIZAR.
Formalizacin
Por ejemplo:
6.4
18
Esquema:
P1: p q
P2: p r
P3: ( q v r ) s
_____________
C: ( p v p) s
Introduccin a la Lgica
19
Hay que recordar que los parntesis y los corchetes indicaban cul era la agrupacin de
los smbolos en las expresiones de nuestro lenguaje, y por tanto, cul era la conectiva
principal. Para ahorrar en su utilizacin se ha establecido una jerarqua entre las conectivas.
7.1.1 Jerarqua de las conectivas.
Esta jerarqua establece un orden de importancia entre las distintas conectivas que nos
indica en cada frmula cul es la conectiva principal cuando no hay parntesis. La jerarqua
es la siguiente de ms a menos importante:
1. El bicondicional.
2. El condicional.
3. La conjuncin y la disyuncin al mismo nivel.
4. La negacin.
7.1.2 Normas.
Siempre en una frmula la conectiva principal est por encima en la jerarqua del resto
de las conectivas que hay en ella se pueden eliminar los parntesis.
Por ejemplo:
p(qvr)pqvr
(pr)qprq
pero no en las frmulas:
(pq)r
p ( q r)
5. (p v r) q
2. (p q) v r
6. p r s
3. p (q r)
7. p r v s
4. p q r
8. p ( r s)
Introduccin a la Lgica
9. ( p r) v s
7.2
20
10. (p q r)
TIPOS DE FRMULAS.
DESCOMPOSICIN DE FRMULAS.
7.3.1 Subfrmulas de X.
Sea X una FBF de nuestro lenguaje.
Se denomina subfrmulas de X [en smbolos Sub(X)] al conjunto de frmulas que se
obtienen de la descomposicin de X.
7.3.2 Reglas de descomposicin.
Para descomponer una frmula se han de tener en cuenta los pasos siguientes:
1. Se determina cul es la conectiva principal.
2. Clases de conectivas: pueden darse dos casos, que la conectiva principal sea una
negacin o que sea cualquier otra conectiva.
a) Si es la negacin (esta es una conectiva mondica, es decir, afecta a una sola
frmula) de esa frmula se deriva inmediatamente una nica subfrmula: la
frmula que est negada a su derecha.
b) Si es otra conectiva (son conectivas didicas, es decir, relacionan dos
frmulas) de esa frmula se derivan inmediatamente dos subfrmulas: las que
estn a cada lado de la conectiva.
3. Para descomponer una frmula partimos de la conectiva principal y determinamos
las subfrmulas derivadas, y as sucesivamente hasta llegar a las subfrmulas
atmicas.
Ejemplo.
Introduccin a la Lgica
Sea X: ( s v p ) ( q r )
21
(svp)(qr)
Descomposicin:
(svp)
s
(qr)
(qr)
Sub(X): { ( s v p ) , ( q r ) , ( q r ) , p , q , r , s }
6. [ (q r) p v s ]
2. p q r
7. q v p [ q s (r v t) ]
3. p r s
8. (p q) v r (t w) v s
4. p v r q s
9. (p v r) [ (q s) (r v s) ]
5. (p r q) s
10. [ (p q v r) t ] v [ (p q s) v t ]
Introduccin a la Lgica
22
8.1.1 Nocin.
Es un clculo que intenta determinar la validez de un razonamiento teniendo en cuenta
los valores de verdad de las variables proposicionales que lo componen.
8.1.2 Interpretacin.
Interpretar un clculo consiste en determinar el valor de verdad de una frmula en
funcin de las distintas combinaciones posibles de los valores de verdad de las variables
proposicionales que la componen.
Trabajamos en lo que se denomina una lgica bivalente, es decir, cada variable
proposicional slo puede tener dos posibles valores de verdad: verdadero o falso.
El problema que se plantea es cmo determinar el valor de verdad de una frmula
molecular.
8.2
Introduccin a la Lgica
23
8.2.2 La conjuncin.
Sean p: "Juan vendr esta noche", q: "Mara viene esta noche"
( p q ) ser: "Esta noche vendrn Juan y Mara"
pq
V
V
F
F
V
F
V
F
V
F
F
F
8.2.3 La disyuncin.
Sean p: "Juan vendr esta noche", q: "Mara viene esta noche"
( p v q ) ser: "Esta noche vendr Juan o Mara"
pvq
V
V
F
F
V
F
V
F
V
V
V
F
8.2.4 El condicional.
Sean p: "Juan vendr esta noche", q: "Mara viene esta noche"
( p q ) ser: "Si Juan viene esta noche entonces Mara tambin vendr"
pq
V
V
F
F
V
F
V
F
V
F
V
V
i) Si X es V e Y es F entonces X Y es F.
ii) En el resto de los casos X Y es V.
8.2.5 El bicondicional.
Sean p: "Juan vendr esta noche", q: "Mara viene esta noche"
Introduccin a la Lgica
24
pq
V
V
F
F
V
F
V
F
V
F
F
V
8.2.6 Resumen:
8.3
slo F si FF
slo V si VV
slo F si VF
=V;F
Para calcular las distintas combinaciones posibles de los valores de verdad de las
variables proposicionales que integran la frmula utilizamos la frmula siguiente:
2n , donde n es el nmero de variables proposicionales.
c) Construccin de la tabla de verdad.
Para construirla empezamos poniendo la frmula a evaluar a la izquierda y a
continuacin vamos colocando sus subfrmulas a su derecha formando sucesivas columnas.
Las subfrmulas atmicas se colocan al final en orden alfabtico.
Para no olvidar o repetir ninguna de las distintas combinaciones posibles de los valores
de verdad de las variables proposicionales se hace lo siguiente: se divide el nmero de
combinaciones por dos y se colocan en la primera columna correspondiente a las variables la
mitad verdaderas y la mitad falsas. En la siguiente columna ponemos la mitad de la mitad
Introduccin a la Lgica
25
verdaderas y la otra mitad falsas, y en la mitad restante copiamos los mismos valores. Y as
sucesivamente.
d) Resolucin de la tabla de verdad.
En funcin de las distintas combinaciones se halla progresivamente los distintos
valores de verdad de las subfrmulas desde las ms sencillas a las ms complejas hasta llegar a
la frmula original.
[p ( q r )] ( p r )
V
F
F
F
V
V
V
V
8.4
p(qr)
V
F
F
V
V
V
V
V
pr
V
F
V
F
V
V
V
V
qr
V
F
F
V
V
F
F
V
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Es una frmula que siempre es verdadera, sean cuales sean los valores de verdad de
las proposiciones que la integran.
Su verdad es completamente independiente de los hechos.
b) Contradiccin.
Es una frmula que siempre es falsa, sean cuales sean los valores de verdad de las
proposiciones que la integran.
Su falsedad es completamente independiente de los hechos.
c) Indeterminacin.
Introduccin a la Lgica
26
Es una frmula que es verdadera o es falsa dependiendo de cuales sean los valores
de verdad de las proposiciones que la integran.
Su verdad o falsedad es contingente: depende de los hechos.
8.5
EQUIVALENCIA LGICA.
Nos sirve para averiguar cuando dos frmulas de nuestro lenguaje, pese a escribirse
de forma distinta, tienen el mismo significado lgico.
Sern dos expresiones diferentes que expresan una misma relacin lgica, por eso
son equivalentes.
Nos sirve a la hora de formalizar, por ejemplo si tenemos dos alternativas que nos
parecen buenas y no sabemos intuitivamente si expresan lo mismo.
El mtodo de comprobacin se realiza construyendo una tabla de verdad de la frmula
XY.
Ejercicio [Pregunta 2 del examen]: Sea X: (p v q), sea Y: (p q). Determinar
si X e Y son lgicamente equivalentes.
(p v q)(p q)
V
V
V
V
(p v q)
V
F
V
V
(p q)
V
F
V
V
p
F
F
V
V
p
V
V
F
F
q
V
F
V
F
Introduccin a la Lgica
27
Sea R:
P2: r q
P3: q
___________
C: p r
Pasos a seguir para la conversin de un esquema de razonamiento en un esquema de
inferencia:
1. Unimos las premisas mediante conjunciones utilizando parntesis para evitar
confusiones:
P1 P2 P3
( p q) (r q) (q)
[( p q) (r q) (q)] (p r)
28
p r
p q
rq
V
V
V
V
V
V
V
V
F
F
F
V
F
F
F
F
F
V
F
V
F
F
F
F
V
V
V
V
V
V
F
F
V
V
F
V
V
V
F
V
F
F
V
V
F
F
V
V
F
F
F
F
V
V
V
V
F
V
F
V
F
V
F
V
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
P1: p q
P2: q v r
P3: s r
P4: s t
___________
C: q t
Slo el nmero de combinaciones de los valores de verdad de las variables sera: 25= 32.
Introduccin a la Lgica
29
b) Procedimiento.
No es preciso siquiera construir el esquema de inferencia, se aplica sobre el mismo
esquema de razonamiento. El proceder es el siguiente:
1) Suponemos que el razonamiento no es lgicamente vlido, es decir, que sus
premisas son verdaderas y su conclusin es falsa.
2) Realizamos un anlisis veritativo-funcional de las premisas y de la conclusin.
Para poder llevar un orden riguroso hay que determinar:
a) Por dnde empezamos?.
b) Cmo y por dnde seguimos?.
Respuesta a a): Empezamos por aquella frmula cuyo posible valor de verdad slo
sea uno. Si fuera ms de uno tendramos que contemplar todas las posibilidades y sera muy
complejo (recordar que en las conectivas siempre suele haber un caso a favor y el resto en
contra: ese se ha de buscar).
Respuesta a b): El nuevo valor determinado se exporta al resto de las frmulas y
entonces se busca, para seguir, de nuevo una frmula en la que el posible valor de verdad sea
slo uno.
No se ha de olvidar ir marcando, correlativamente y entre parntesis a la izquierda de
las frmulas, el orden que vamos siguiendo.
3) Una vez realizado el anlisis podemos encontrarnos con dos resultados posibles:
a) Aparece una contradiccin: esto quiere decir que es imposible nuestra
suposicin (era que era lgicamente vlido) por lo tanto el razonamiento ser lgicamente
vlido.
b) No aparece ninguna contradiccin: esto quiere decir que nuestra suposicin era
cierta, hemos encontrado, al menos, una combinacin de los valores de verdad de las
Introduccin a la Lgica
30
variables proposicionales que hacen las premisas verdaderas y la conclusin falsa. Por lo tanto
el razonamiento no ser lgicamente vlido.
Observaciones: segn el razonamiento se puede seguir ms de un orden y, por tanto,
la contradiccin, en el caso de aparecer, puede aparecer en distintas frmulas.
Ejercicio [Pregunta 3b del examen]: Determinar la validez o no del siguiente
razonamiento por el mtodo de reduccin al absurdo:
Sea R:
(4)
P1: p q
F
(3)
__________ V
P2: q v r
__________ V
VF F
(2)
P3: s r
V
(1)
(5)
VF
P4: s t
V
__________ V
VF
C: q t
F
__________ V
__________ F
VF
(5)
P1: p q
V
(4)
__________ V
F- - - - - - - - - - - - - - F: contradiccin
P2: q v r
__________ V
VF F
(3)
P3: s r
V
(1)
__________ V
VF
P4: s t
__________ V
V VF
(2)
C: p t
__________ F
FV VF
Introduccin a la Lgica
31
P1: p q
V
(2)
__________ V
F- - - - - - - - - - - - - - - F: contradiccin
P2: q __________ V
VF
(1)
C: p __________ F
FV
Es lgicamente vlido.
Sea R2:
(3)
P1: p q
F
(2)
__________ V
P2: q __________ V
VF
(1)
C: p
__________ F
F
No es lgicamente vlido.
Sea R3:
(2)
P1: p q
V
(1)
__________ V
VF
P2: p
__________ V
V
(3)
C: q v r
__________ F
VF- - - - - - - - - - - - - - - - - - V: contradiccin
Es lgicamente vlido.
Introduccin a la Lgica
32
Sea R4:
(2)
P1: p q
V
(1)
__________ V
VF
P2: p
__________ V
V
(3)
C: q v r
__________ F
F F
No es lgicamente vlido.
Ejercicio: Comprobar ste ltimo mediante tablas de verdad para ver que no nos
sale tautologa en la combinacin de valores.
p: V
q: F
r: F
[(p q) p] (q v r)
qvr
p q
V
V
V
F
V
V
V
V
F
F
V
V
F
F
F
F
V
V
V
F
V
V
V
F
F
F
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Introduccin a la Lgica
Las Falacias
33
9 LAS FALACIAS.
Vamos a ver un tipo de razonamientos que no pueden ser vlidos desde ningn
punto de vista. Para determinar su no validez no es necesario utilizar el clculo lgico basta
con poner un poco de atencin y un poco de prctica.
9.1
DEFINICIN.
9.1.1 Falacia.
Es una forma de razonamiento que parece correcta pero que resulta no serlo cuando
se analiza cuidadosamente.
Algunos razonamientos son tan claramente incorrectos que no engaan a nadie,
pero en lgica se reserva el nombre de falacia para aquel razonamiento que, aunque
incorrecto, es "persuasivo", tiene una apariencia de correccin.
En ocasiones su incorreccin surge por una falta de atencin a la materia, es
decir, el asunto o tema del razonamiento, no siendo dicha falta de atencin fcil de ser
detectada por aquellos que no dominan el tema. En otras ocasiones viene dada por
errores de razonamiento provocados por la inadvertencia o la ambigedad del
lenguaje usado para realizarlo.
9.1.2 Sofisma.
Si se hace a sabiendas, con el nimo de engaar, recibe el nombre de sofisma. El
origen de esta palabra est en la utilizacin del lenguaje que hicieron algunos pensadores
(siglo V de a. C.) de los denominados sofistas. Maestros de la retrica y la elocuencia, y
poseedores de un saber enciclopdico (dominaban casi todos los terrenos del saber),
algunos de los sofistas, se especializaron en ganar pleitos utilizando su gran dominio del
lenguaje y el saber. Fue el uso continuo de falacias por parte de algunos de estos
pensadores lo que hizo aparecer el trmino sofisma.
9.2
TIPOS DE FALACIAS.
Las Falacias
34
Por ejemplo: "X, para gente inteligente" o "Un discurso apologtico sobre la
juventud con la intencin de manipularlos"
9.2.2 Argumentum ad baculum.
A veces si no se consigue adulando se busca el otro extremo: la amenaza.
Significa "al bastn". Se comete esta falacia cuando se apela a la fuerza o a la
amenaza para provocar la aceptacin de una conclusin. No se debe confundir con una
simple amenaza, ha de tener la forma de un razonamiento y estar constituido por
proposiciones. Por ejemplo, no sera una falacia de este tipo:
"Debes estudiar, ya que si no te pondr un cero"
Sera una falacia de este tipo:
"Es bueno que el alumno estudie, ya que as lo afirma el profesor, que es quien
pone la nota".
Su esquema es el siguiente:
A afirma "p"
A es una persona que tiene algn tipo de poder.
__________________________________________________________
Por lo tanto, "p" es verdadero
Las Falacias
35
"Los ecologistas afirman que los vertidos txicos son peligrosos. Pero los
ecologistas siempre han sido unos ingenuos. Por lo tanto, es falso que los vertidos sean
peligrosos."
Su esquema es:
A afirma "p"
A no es fiable (por diversos motivos)
__________________________________________________________
Por lo tanto, "p" es falso.
B. Circunstancial.
Cuando se refuta la afirmacin de una persona argumentando que su opinin no es
fiable por hallarse la persona en determinadas circunstancias que invalidan su opinin. Es
cuando se dice de alguien que es juez y parte a la vez.
Por ejemplo:
"Los empresarios de las compaas elctricas afirman que las centrales nucleares
son seguras y no contaminan. Pero claro, stos tienen grandes cantidades de dinero
invertidas en las centrales nucleares. Por lo tanto, su afirmacin es falsa.
Su esquema es:
A afirma "p"
A no es fiable (por sus circunstancias)
__________________________________________________________
Por lo tanto, "p" es falso.
Las Falacias
36
Las Falacias
37
Introduccin a la Lgica
Las Falacias
38