Beruflich Dokumente
Kultur Dokumente
Filosofa de la lgica
La filosofa de la lgica es la rama de la filosofa que trata de la naturaleza y la
justificacin de los sistemas lgicos. Algunas preguntas fundamentales que
plantea son:
Es la lgica emprica?
OBJETIVO GENERAL
Al finalizar el curso usted deber encontrarse preparado para determinar la validez
o invalidez de los argumentos utilizados en la conversacin diaria y en los
utilizados en el desarrollo de ste y de los dems cursos de su programa.
Valoracin Lgica: Es la que tiene que ver con la forma de conexin que
hay entre las premisas y la conclusin.
Valoracin Epistemolgica o Material: Tiene que ver con la veracidad de
las premisas y de la conclusin.
Valoracin Retrica: Es la que tiene que ver con que el argumento sea
atractivo, persuasivo o interesante.
NCLEO TEMTICO 1
PROPOSICONES
OBJETIVOS
DISYUNCIN
La disyuncin de dos proposiciones p, q es la operacin binaria que da por
resultado p q, notacin p v q, y tiene la siguiente tabla:
p q pvq
V V
V F
F V
F F
V F
F V
F F
Por ltimo, tambin es muy comn utilizar una disyuncin como la siguiente: El
men incluye caf o t. En este caso se est dando una disyuntiva diferente pues
no se pueden las dos simultneamente como en el caso anterior, pero aqu si es
vlido el caso donde las dos son falsas. Es el caso no ambas, se puede
representar por p q y su tablas es
p q pq
V V
V F
F V
F F
V F
F V
F F
Con respecto a este operador binario, lo primero que hay que destacar es que no
es conmutativo, a diferencia de los dos anteriores la conjuncin y la disyuncin. El
nico caso que resulta falso es cuando el primero es verdadero y el segundo falso.
Por ejemplo, si p es llueve y q es hay nubes entonces:
p q es si llueve entonces hay nubes.
V F
F V
F F
JERARQUIA DE OPERADORES.
Combinando los operadores anteriores podemos formar nuevas expresiones.
En trminos formales la negacin de p, deber ser ( p), as como la conjuncin
de p y q sera (p ^ q). Con el uso de parntesis evitamos la ambigedad, por
ejemplo p ^ q podra significar dos cosas distintas
Por un lado podra significar: (( p) ^ q) O tambin: ( (p ^ q)).
a b Es una Disyuncin.
c d Es una Condicional.
e f g Es una Bicondicional
EJERCICIOS
1. Encuentre la negacin de las expresiones siguientes:
i) Jpiter es un planeta
ii) El pizarrn es verde
iii) El nmero real x es negativo
iv) Algn elefante es de color rosa
v) Ningn pez respira fuera del agua
vi) Todos los leones son feroces
~p v q
____________________________________________
- (p q)
_____________________________________________
(q --> r)] --> (p v r) ________________________________________
_________________________________________
NCLEO TEMTICO 2
DIAGRAMAS Y TABLAS DE VERDAD
OBJETIVOS:
DIAGRAMAS DE VERDAD
Con relativa frecuencia se desea conocer el valor de verdad de un enunciado, en
el cual el valor de verdad de sus proposiciones constituyentes es conocido, el
mtodo ms conocido y sencillo para resolver este tipo de problemas consiste en
elaborar un Diagrama de Verdad siguiendo los siguientes pasos:
1. Se simboliza el enunciado en caso de que sea idiomtico.
2. Debajo de cada proposicin simple se coloca su valor de verdad.
3. Se determina el valor de verdad de las proposiciones compuestas ms
sencillas: Negaciones de proposiciones simples y grupos de dos
proposiciones simples enlazadas.
4. Se continua el proceso de acuerdo con la estructura del enunciado hasta
llegar al ltimo enlace (precisamente el que determina el tipo de
proposicin) obteniendo as su valor de verdad.
Veamos el siguiente ejemplo:
Si p es verdadera y q y r falsas determina el valor de verdad de la proposicin:
Solucin:
(V)
(V)
EJERCICIOS
Sabiendo que a es falsa, c es falsa y d es verdadera, determinar el valor de
verdad de las siguientes proposiciones:
(a b) c
I.
III.
b (c d)
(b d) v -c
IV.
-a (a b)
V.
(a v d) (b c)
(a (c -d))
II.
VI.
VII.
VIII.
b - ((a v c) (d a))
(a b) (c d)
TABLAS DE VERDAD
Una tabla de verdad, o 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.
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato
ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus logicophilosophicus, publicado en 1921.
Tomado de: http://es.wikipedia.org/wiki/Tabla_de_verdad
La tabla constar de cinco lneas: la del encabezamiento y las de cada uno de los
cuatro posibles valores inciales, como se muestra a continuacin:
p
V
V
F
F
q
V
F
V
F
-(p q) p
q
V
F
V
F
q
V
F
V
F
pq
V
F
F
F
pq
V
V
F
F
V
F
V
F
V
F
F
F
-(p q)
F
V
V
V
pq
V
V
F
F
V
F
V
F
V
F
F
F
-(p q) -(p q) p
F
V
V
V
V
V
F
F
(b d) v c
Solucin:
En este caso hay tres proposiciones simples, luego 23 = 8 combinaciones
b
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
bd
V
V
F
F
F
F
F
F
(b d)
(b d) v c
F
F
V
V
V
V
V
V
F
V
V
V
V
V
V
V
En este caso observamos que la proposicin es falsa nicamente cuando las tres
proposiciones simples que la componen son verdaderas. En los dems casos es falsa.
EJERCICIOS
Diga en qu casos son verdaderas las siguientes proposiciones.
1. ( p q) (p q)
2. ( pq) ( p q)
3. ( p q) (p q)
4. ( p q) (p q)
5. ( p q) ( p q)
6. p ( p q)
7. ( p q) ( p r ) (qr )
TAUTOLOGA
Es una proposicin que siempre es verdadera, independiente de los valores de
verdad de las proposiciones que la constituyen.
Es decir, cuando en la ltima columna de una tabla de verdad todos los valores
son verdaderos, la tabla se denomina una Tautologa.
Cules de las proposiciones anteriores son Tautologas?
CONTRADICCIN
Una Contradiccin o un Absurdo es una proposicin que siempre es falsa,
independiente de los valores de verdad de las proposiciones que la constituyen.
Es decir, cuando en la ltima columna de una tabla de verdad todos los valores
son falsos, la tabla se denomina una Contradiccin.
Cules de las proposiciones anteriores son contradicciones?
Todas las proposiciones del tipo
PRINCIPIO DE NO CONTRADICCIN
El principio de No Contradiccin, o a veces llamado Principio de Contradiccin, es
un principio clsico de la lgica y la filosofa segn el cual una proposicin y su
negacin no pueden ser ambas verdaderas al mismo tiempo y en el mismo
sentido. El principio tambin tiene una versin ontolgica: nada puede ser y no ser
al mismo tiempo y en el mismo sentido una proposicin y su negacin.
P P
( p p)
EQUIVALENCIAS TAUTOLGICAS
p (p)
( p q) (q p)
( p q) (p q)
( p q) (p q)
( p q ) ( q p)
( p q ) ( q p)
( p q) (p q)
( p q) ( p q)
( p q) ( p q) (q p)
CONDICIONALES TAUTOLGICAS
( p q) p q
( p q) q p
( p q) p q
( p q) p
p y q ( p q)
p ( p q)
( p q) (q r ) ( p r )
p (r r ) p
NCLEO TEMTICO 3
TEORA DE LA DEDUCCIN PROPOSICIONAL
OBJETIVOS:
Pero puede haber argumentos vlidos donde todas las premisas sean
falsas, por ejemplo:
Todos los perros son habladores.
Todos los habladores son mentirosos.
En conclusin: Todos los perros son mentirosos.
Lo que s se puede asegurar es, que la falsedad de la conclusin garantiza que el
argumento es no valido o que por lo menos una de las premisas es falsa.
Ejemplo:
Se desea saber si la conclusin Colombia es un pas asombroso se deduce
lgicamente de las premisas:
Colombia es un pas asombroso o Cuba es una democracia
Cuba no es una democracia
Primero simbolicemos las proposiciones simples:
p: Colombia es un pas asombroso.
q: Cuba es una democracia.
La argumentacin puede simbolizarse:
p q Premisa 1.
q
p
Premisa 2
Conclusin
( p q) q p
pq
( p q) q
( p q) q p
V V
V F
F V
F F
Premisa
Premisa
Se puede concluir q, con base en la tautologa llamada Lay de Separacin o
Modus Ponendoms Ponems (PP)
(2) p
Ejemplo: En la argumentacin:
Si el mar est sereno, entonces podemos baarnos sin peligro.
El mar est sereno.
Se puede concluir: Podemos baarnos sin peligro.
Premisa
(2) q
Premisa
Se puede concluir p con base en el T T.
Ejemplo: En la argumentacin:
Si el profesor explica bien, todos los alumnos entendern la clase.
Algunos estudiantes entendieron la clase.
Conclusin: El profesor no explica bien.
4. USO DEL SILOGISMO HIPOTETICO (SH)
Su forma lineal es: ( p q) (q r ) ( p r )
Luego una argumentacin de la forma:
(1) p q
Premisa.
(2) q r
Premisa.
Ejemplo: En la argumentacin:
Si baja la presin atmosfrica, entonces llover.
Si llueve, no es conveniente ir de paseo al rio.
En conclusin: Si baja la presin atmosfrica, no es conveniente ir de paseo a rio.
De la igual forma se pueden emplear las dems tautologas tratadas en el ncleo 2
LA DEDUCCIN LGICA
El proceso de deduccin proposicional o inferencia lgica consiste en deducir la
conclusin propuesta en un argumento o hallarla si sta no ha sido planteada,
utilizando adecuadamente las tautologas conocidas y siguiendo las reglas que a
continuacin se detallan.
EJEMPLOS
1. Verifiquemos la siguiente argumentacin:
Llueve o hace calor. Pero si est nublado, entonces no hace calor. Est nublado.
En conclusin: Llueve.
Simbolicemos las premisas:
p: Llueve.
q: Hace calor.
r: Est nublado
Simbolicemos el argumento:
(1) p v q
Premisa
(2) r q Premisa
(3) r
Premisa.
_______________________
p
Conclusin
Ahora podemos aplicar (TP) con las premisa 4 y 1 para obtener p que era lo que
se estaba buscando:
Si los precios son altos, entonces los salarios son altos. Los precios son altos o
hay control de precios. Adems si hay control de precios, entonces no hay
inflacin. Sin embargo hay inflacin.
Simbolicemos las proposiciones simples:
p: Los precios son altos.
q: Los salarios son altos.
r: Hay control de precios.
s: Hay inflacin.
Simbolicemos la argumentacin:
(1) p q
(2) p r
(3) r s
(4) s
Realicemos el proceso deductivo:
Aplicando (T T) con las premisas 3 y 4 podemos deducir r
Solucin:
De 1 y 5 (TP)
De 6 y 3 (PP)
De 7 y 4 (T T)
De 2 y 8 Ley de Adjuncin.
Solucin:
Puesto que la conclusin es una condicional, apliquemos la regla de prueba del
condicional, es decir, propongamos
como premisa para ver si podemos
concluir
r (4)
De 4 y 2 (PP)
De 3 y 5 (TP)
EJERCICIOS
En cada uno de los siguientes ejercicios realice el proceso lgico que conduce a la
conclusin dada:
1.
2.
3.
4.
1) p q
2) p r
3)s
4) s q
r
Solucin.
5)r
De 5 en 2 (T T)
De 6 en 1 (PP)
De 7 en 4 (TP)
1)p q
2) r s
3)s p
r q
Solucin:
4)(r q)
5)r q
(RAA)
Negacin de la condicional.
De 5 deducimos:
6)q
De 6 en 1 (T T)
De 7 en 3 (TP)
De 8 en 2 (TP)
De 5 deducimos:
10)r
Absurdo!
EJERCICIOS
WEBGRAFA
Un curso completo de lgica lo encontrars en:
http://www.sepi.upiicsa.ipn.mx/sab/rfinsab_jtz.pdf