Escolar Documentos
Profissional Documentos
Cultura Documentos
LA LGICA
DEFINICIN.
Lgica es la ciencia del razonamiento correcto.
Veamos ahora que entendemos por razonamiento, ms adelante veremos en qu
consiste esa correccin.
1.1
EL RAZONAMIENTO.
__________________
-
Lgica:
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)
Trminos bsicos
TRMINOS BSICOS.
2.1
FORMA Y CONTENIDO.
R1 : medicina.
R2 : economa.
Trminos bsicos
Trminos bsicos
Trminos bsicos
Verdad
_____
_____
_____
Verdad
_____
_____
_____
Trminos bsicos
10
Verdad
_____
_____
_____
Verdad
_____
_____
_____
Trminos bsicos
11
Verdad
_____
_____
_____
Verdad
_____
_____
_____
Trminos bsicos
12
Verdad
_____
_____
_____
Verdad
_____
_____
_____
Trminos bsicos
13
Verdad
_____
_____
_____
Verdad
_____
_____
C : Anbal es hombre.
_____
Verdad
_____
_____
_____
Trminos bsicos
14
El lenguaje lgico
15
3 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.
3.1
LENGUAJE NATURAL.
P2 :
C :
LENGUAJE FORMAL.
El lenguaje lgico
16
Para hacer esto con precisin la lgica necesita crear un lenguaje artificial, con
sus propias reglas de construccin que sea el reflejo de la estructura formal del
razonamiento.
Todo lenguaje artificial (por ejemplo: las seales de trfico, los iconos del
ordenador, etc.) est construido y pensado como medio para lograr un fin determinado.
En el caso del lenguaje formal su fin es destacar en los razonamientos su estructura
formal.
LENGUAJE FORMAL PARA LA LGICA PROPOSICIONAL.
Es un lenguaje artificial creado para el anlisis lgico al nivel de la lgica
proposicional.
Tiene su propia gramtica: morfologa y sintaxis.
3.2.1 Elementos del lenguaje. Morfologa.
Describimos aqu:
a) Los elementos que componen este lenguaje, y a la vez damos
b) Las reglas de simbolizacin que nos permitirn pasar de las expresiones del
lenguaje natural a las del lenguaje formal (formalizar).
A. Vocabulario. Enunciados.
a) Est constituido por las variables proposicionales que simbolizan o
representan las proposiciones del lenguaje natural.
REGLA DE SIMBOLIZACIN I
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
b) Se denominan variables porque representan cualquier proposicin del
lenguaje natural.
B. Smbolos de enlace. Operadores.
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.
REGLA DE SIMBOLIZACIN II
El lenguaje lgico
17
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
Significa la negacin de la proposicin que ponemos a su derecha.
2) La conjuncin.
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)
Significa que ambas proposiciones suceden de forma conjunta.
3) La disyuncin.
REGLA DE SIMBOLIZACIN IV
Las expresiones del lenguaje natural tales como "o", "oo", "bienbien",
"yaya", etc. se sustituirn por el smbolo "v".
Ejemplos:
"O vamos al cine p o nos aburrimos soberanamente q ": p v q
"Es imposible que pueda volver p o olvidar lo sucedido q": (p v q)
"O no es cierto que le gusten los nios p o tiene muy mala leche q ": p v q
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.
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.
REGLA DE SIMBOLIZACIN V
El lenguaje lgico
18
Las expresiones del lenguaje natural tales como "sientonces", "luego", "
por tanto", "en consecuencia", "cuando", "se infiere de","se deduce
de","se deriva de","se demuestra",etc. se sustituirn por el smbolo " ".
Ejemplos:
"Si hubiera venido en coche p aun estara buscando aparcamiento q ": p q
"Cuando traigas el taladro p, te arreglar la cortina q": p q
"Si no cambias de hbitos p entonces se acabar cansando de ti q ": p q
Por ejemplo: "Sera sumamente feliz si os callarais" [ q p ] [siendo q: "os
callarais" y p: "Sera sumamente feliz"]
5) El Bicondicional.
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 r": p
(q r)
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.
c) Signos auxiliares.
i)
ii)
Formalizacin
19
4 FORMALIZACIN.
DEFINICIN.
Formalizar [definicin] Consiste en analizar las expresiones del lenguaje natural
y traducirlas al lenguaje formal reducindolas a su forma.
OBJETIVO.
Reducir el razonamiento a su estructura formal separndola de su contenido pues
slo sta nos interesa para poder determinar su validez.
PRECAUCIONES AL FORMALIZAR.
La trascripcin del lenguaje natural al lenguaje formal no es automtica ni literal:
requiere un anlisis minucioso del sentido de las expresiones que vamos a transcribir.
Se ha de tener en cuenta:
1. Slo se formalizan las proposiciones, no las frases o expresiones incluidas en el
razonamiento que no lo sean por pertenecer a otros usos del lenguaje que no sea el
descriptivo. Esto es as porque esas expresiones carecen de valor lgico.
Por ejemplo: Ay de m!, Ojal fuese as!, Hazlo!, Vendr esta noche?,...
2. A veces en el lenguaje natural dos frases pueden significar lo mismo expresado a
travs de otras palabras. En este caso se simbolizarn ambas con la misma
variable proposicional (siempre segn el contexto).
Por ejemplo: "aumenta la temperatura corporal", "tiene fiebre" [ p ];
"Sac ms de cinco puntos en el examen", "aprob el examen" [ q ].
3. Hay que tener cuidado, de igual forma, con una proposicin y su contraria. Se
simbolizan con la misma variable proposicional pero aadiendo la negacin.
Por ejemplo: "aprobar" [ p ] , "suspender" [ p ].
4. Cuando aparezcan dos proposiciones unidas por un condicional hay que tener en
cuenta cul es el antecedente y cul es el consecuente, no siempre aparecen en este
orden. Para aclarar el sentido tener presente que expresa que para que se d el
consecuente (resultado) se ha de dar primero el antecedente (condicin)
necesariamente.
Por ejemplo:
"Escribira un libro si tuviera tiempo" [ q p ] [siendo q: "tuviera tiempo" y p:
"Escribira un libro"]
5. Un buen mtodo es parafrasear la expresin que queremos formalizar: decirla con
otras palabras pero sin cambiarle el sentido para poder aclarar ste ltimo.
Por ejemplo:
PASOS
A
SEGUIR:
RAZONAMIENTO.
ESQUEMA
DE
UN
Formalizacin
20
Esquema:
P1: p q
P2: p r
P3: ( q v r ) s
_____________
C: ( p v p)
s
ocasiones), en el lenguaje natural est introducida por expresiones tales
como: "Por lo tanto...", "En consecuencia...", "Se deduce de esto...", "Por
consiguiente...", etc.
2. Determinacin de las variables proposicionales.
Subrayamos cada una de las proposiciones asignndoles una variable
proposicional. As como las vamos subrayando, hacemos con todas una lista y as, si se
repiten, sabemos como las hemos simbolizado y podemos asegurarnos que dos no sean la
misma expresada con otras palabras.
3. Determinacin de las conectivas.
Analizamos las relaciones lgicas existentes entre las proposiciones en cada una de
las premisas y en la conclusin simbolizndolas.
4. Realizacin del esquema del razonamiento.
Hacemos el esquema del razonamiento que contiene las premisas y la conclusin
simbolizadas y refleja su estructura formal.
Las Falacias
21
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.
5.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.
Tablas de verdad
tabla de valores de verdad, es una tabla que despliega el valor de
verdad de una proposicin compuesta, para cada combinacin de valores de
verdad que se pueda asignar a sus componentes
Existen 5 tabla de la verdad o valores de a verdad las cuales son:
La tabla del " Y" o conjuncin
La tabla del " O" o disyuncin
La tabla del entonces o condicional
La tabla de la equivalencia o el bicondicional
La tabla de la negacin
Tabla de la conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores
de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son
verdaderas
Las Falacias
22
Tabla de la disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una
de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:
Las Falacias
23
valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad,
y falso cuando sus valores de verdad difieren.
La tabla de verdad del bicondicional es la siguiente:
Tabla de la negacion:
La negacin es un operador que opera. sobre un nico valor de verdad,
devolviendo el valor contradictorio de la proposicin considerada.
6 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.
6.1
DEFINICIN.
6.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.
Las Falacias
24
TIPOS DE FALACIAS.
A afirma "p"
A es una persona que tiene algn tipo de poder.
__________________________________________________________
Por lo tanto, "p" es verdadero
Las Falacias
25
Las Falacias
26
A afirma "p"
A no es fiable (por sus circunstancias)
__________________________________________________________
Por lo tanto, "p" es falso.
A afirma "p"
A es una persona que tiene un cierto prestigio o autoridad.
__________________________________________________________
Por lo tanto, "p" es verdadero.
6.2.5 Argumentum ad ignorantiam.
Cuando se pretende que porque algo no se sepa o no se haya probado que es
verdadero, entonces es falso o viceversa: que es verdadero porque no se ha
demostrado que es falso.
Las Falacias
27
Por ejemplo:
1. Nadie ha podido demostrar que Dios existe, por lo tanto, Dios no existe.
2. Nadie ha podido demostrar que Dios no existe, por lo tanto, Dios existe.
Su esquema es:
No hay prueba de que "p" es verdadero ( o falso)
__________________________________________________________
Por lo tanto "p" es falso (o verdadero)
Las Falacias
28