¿Cómo se llama este tema?
La palabra lógica tiene en el uso común
diferentes acepciones, la usamos para referirnos
al sentido de un suceso o acontecimiento,
también la usamos sobre la coherencia o no de
un razonamiento.
Descifra ahora el siguiente enigma
De los tres enunciados a lo sumo
uno es verdadero
¿Dónde está el retrato?
Cofre de Oro: El retrato está en este cofre
Cofre de Plata: El retrato no está aquí
Cofre de Plomo: El retrato no está en el de oro
Para resolver ese enigma has tenido que utilizar
cierta capacidad de deducción, es decir has
pasado de unos datos de partida a una
conclusión. Eso es pues razonar y para ello has
utilizado formas lógicas.
Definamos pues qué es la lógica, cual es su
objeto de estudio, cómo son los razonamientos y
qué tipos de razonamientos hay.
Lógica es la disciplina filosófica que se ocupa de
estudiar la validez o corrección de los
razonamientos. (Observa que no digo verdad,
sino corrección).
Es una disciplina formal y por tanto estudiará la
forma de los razonamientos haciendo abstracción
de su contenido.
Existen dos tipos de lógica. Lógica formal que
estudia la estructura de los razonamientos y
lógica informal que estudia los argumentos
falaces o engañosos
Si estudia los razonamientos entonces,¿qué es
un razonamiento?
Un razonamiento es un proceso que nos permite
pasar de unos datos iniciales a una conclusión
final (Aquí no nos interesa el proceso psicológico
y sí el lingüístico)
Un razonamiento consta de unos datos de
partida llamados premisa o premisas y una
conclusión.
Los razonamientos pueden ser de dos tipos
Inductivos: Cuando pasamos de premisas
particulares a una conclusión general ( Juan es
mortal, Antonio es mortal, luego todo los hombres son
mortales)
Deductivos. Cuando la conclusión está implícita
ya en las premisas. Se parte de una premisa
general y su conclusión es particular. ( Los primates
tienen un largo periodo de inmadurez, los chimpancés, los
orangutanes y el hombre tienen un largo periodo de
inmadurez por tanto son primates)
Recuerda que hemos dicho que la Lógica se
encarga de la forma de los razonamientos. Así un
razonamiento puede ser correcto pero falso y
también puede se incorrecto pero verdadero.
El lenguaje lógico
Todo lenguaje es un conjunto de signos que
adquieren un significado y que se articulan
mediante una serie de reglas con las que se
puede formar y transformar enuciados con
sentido. El lenguaje natural (español,
inglés..)posee una gran riqueza, pero tiene el
problema de estar lleno de polisemias,
homonimias, etc. El lenguaje artificial, como es el
lógico intenta superar dichos ambages y durante
mucho tiempo se propuso como un lenguaje
propio para la ciencia
Elementos del lenguaje lógico
Vocabulario: Representan las variables como nombres o
predicados de los razonamientos.
(Si estoy enfermo entonces no iré a clase) Si P entonces Q
Signos: Representan relaciones entre enunciados. (Si estoy
enfermo entonces no iré a clase) P→Q Negador = No P (
┐P)
Conectivas= Conjuntor p y q (p Λ q)
Disyuntor p ó q (p U q)
Condicional si p entonces q ( p→q)
Bicondicional si y sólo si p entonces q (p↔q)
Reglas de Formación: Se establece cual es la sintaxis
adecuada, qué fórmulas están bien formadas y cuales no.
Reglas de transformación. Nos permiten pasar de una
fórmula bien formada a otra, transformándola
Formalizar
Formalizar es pasar de un enunciado del lenguaje natural a una
expresión bien formada en lenguaje lógico. Los enunciados
pueden ser Atómicos si sólo se usa una variable o moleculares si
se usa alguna conectiva, es decir se pueden descomponer en
atómicos.
Formaliza: -No llueve....
- No es cierto que sea falso que no llueva......
- No vi la película pero leí la novela..........
-Ni vi la película ni leí la novela.............
-No es cierto que viese la película y leyese la novela........
-Vi la película aunque no leí la novela........
- Llueva y o bien nieva o sopla el viento.......
- O está lloviendo y nevando o está soplando el viento.......
- Cientos de vidas podrían salvarse si la gente utilizara el
cinturón.....
Tablas de verdad (tablas
Wittgenstein)
Wittgenstein ideó en su obra Tractatus lógico-
filosófico un procedimiento para comprobar el
valor de los enunciados lógicos. Así los
enunciados podrán ser Tautológicos (analíticos a
priori, que serán las propias leyes lógicas),
indeterminaciones o contingentes(sintéticos a
posteriori, enunciados de posibilidad) y
contradicciones( enunciados que contravienen la
propia ley lógica y que por tanto estarán fuera del
mundo posible)
Definiciones de signos
A partir de los principios lógicos y ontológicos
vamos a ir definiendo los valores dados a los
enunciados así:
Principio de identidad: Para que una
proposición sea verdadera debe ser idéntica a sí
misma (A=A)
Principio de no contradicción: Una proposición
no puede ser verdadera y falsa a la vez. Todo
enunciado ha de ser o verdadero o falso (A no
puede ser = A y no A)
Principio de tertio excluso: Una proposición ha
de ser o bien verdadera o bien falsa.
Excluyéndose un tercer valor A= A ó no A
Valores y signos
Negación: si P es verdadero su contrario será
falso y viceversa
P ┐P
v f
f v
Conjunción (Y)
Una conjunción como molecular está compuesta
de dos términos (A y B), para que la conjunción
de ambos términos resulte verdadera han de ser
ambas verdaderas así:
P Q PΛ q
V V V
V F F
F V F
F F F
Disyunción (ó)
Para que la disyunción total sea verdadera basta
con que uno de los dos términos sea verdadero.
Así:
p q pvq
V v V
V F V
F V V
F F F
Implicador o condicional
Recordar que el término primero que se encuentra delante de la flecha
es el antecedente y el que sigue a la flecha consecuente.
De este
modo, para que la condición total sea verdadera
ha de ser verdadero el consecuente o bien tanto
antecedente como consecuente falsos. Así:
p q p→q
V V V
V F F
F V V
F F V
BICONDICIONAL O
COIMPLICADOR (SI Y SÓLO SI)
Expresa una condición recíproca tanto del antecedente hacia el
De esta forma tanto el
consecuente como al revés
antecedente como el consecuente para en su
totalidad ser verdadero tienen que ser iguales en
valor (ambos V o ambos F) Así:
p q p↔q
V V V
V F F
F V F
F F V
COMPROBACIÓN
Pongamos el siguiente caso y comprobemos el enunciado para ver si se
trata de una tautología entonces todos los valores serán verdaderos, una
indeterminación donde nos encontraremos tanto valores verdaderos
como falsos o una contradicción en cuyo caso todos los valores serán
falsos.
[( p Λ q ) v ┐p]→ q
p q pΛq ┐p ( p Λ q ) v ┐p [( p Λ q ) v ┐p]→ q
V V V F V V
V F F F F V
F V F V V V
F F F V V F
Los razonamientos
Recuerda que un razonamiento consta de
premisa o premisas y una conclusión.
La conclusión se obtiene a partir de las premisas
y marca el resultado. En el lenguaje natural se
suele usar las conjunciones: por consiguiente,
por tanto, así...... su símbolo será ├
Formaliza los siguientes argumentos.
Los puntos y a veces las comas, marcan el fin de una
premisa, para formalizar procura respetar la misma
puntuación cuando sean pertinentes dentro del análisis lógico
1. Aristóteles nació en Estagira y fue tutor de Alejandro Magno. Pero si nació en
Estagira fue de nacionalidad macedónica. Por tanto, Aristóteles fue de
nacionalidad macedónica. (E, T, M)
2. Reducir la existencia de heroína es condición suficiente para elevar los
precios de la heroína. Los adictos necesitarán más dinero para comprar la
droga si su precio se eleva, y si necesitan más dinero cometerán más delitos.
Así, si se reducen las existencias de heroína, los delitos cometidos por los
adictos aumentarán. (R,P,D,C)
3. Si el cajero hubiera apretado el botón de alarma, la caja se habría cerrado
automáticamente y la policía habría llegado en tres minutos. Si la policía
hubiera llegado en tres minutos, habría alcanzado el vehículo de los ladrones.
Pero no pudo alcanzarlo. Luego el cajero no apretó la alarma. (A,C,P,V)
Las reglas de inferencia (deducción natural)
Mediante la formalización hemos aprendido a
formar fórmulas correctas o bien formadas, con el
procedimiento de tablas de verdad hemos
conseguido saber que clase de enunciado
estábamos formando, sin embargo necesitamos
un procedimiento que nos permita a la par que
comprobamos, que podamos transformar unas
fórmulas bien formadas en otras. Este
procedimiento se realiza aplicando reglas o
esquemas de inferencias, los cuales a su vez son
leyes lógicas
Reglas de inferencias
Reglas de deducción
Las reglas se aplicarán sobre
las premisas dadas para ir
transformándolas hasta alcanzar
la conclusión que perseguimos.
Veamos algún ejemplo.
A las premisas se las marca con
un guión y su correspondiente
número, las fórmulas
transformadas sólo con el
número. El fin es alcanzar la
conclusión aplicando el menor
número de pasos
