Tema 2.

EL LENGUAJE DE LA LGICA PROPOSICIONAL

b) La formalizacin del lenguaje natural

Cmo formalizar el lenguaje natural en L0

(i) Identificar los enunciados simples (ii) Asignar a cada enunciado simple una constante proposicional (iii) Identificar las partculas lgicas: negacin, condicional, disyuncin, etc (iv) Reconstruir los enunciados complejos a partir de los simples y las partculas lgicas

Algunas formalizaciones sencillas

-Hume canta o Kant baila o Hegel da palmas

Hume canta p Kant baila q Hegel da palmas r

pqr

Algunas formalizaciones sencillas

-Hume canta y Kant baila y Hegel da palmas

Hume canta p Kant baila q Hegel da palmas r

pqr

Algunas formalizaciones sencillas

-Hume canta, o Kant baila y Hegel da palmas
Hume canta p Kant baila q Hegel da palmas r

p (q r)

Algunas formalizaciones sencillas

-Hume canta o Kant baila, y Hegel da palmas
Hume canta p Kant baila q Hegel da palmas r

(p q) r

Algunas formalizaciones sencillas

-Si Hume canta, Kant baila
Hume canta p Kant baila q Hegel da palmas r

pq

Algunas formalizaciones sencillas

-Si Hume canta y Kant baila, Hegel da palmas
Hume canta p Kant baila q Hegel da palmas r

(p q) r

Algunas formalizaciones sencillas

-Hume canta, y, si Kant baila, Hegel da palmas
Hume canta p Kant baila q Hegel da palmas r

p (q r)

Algunas formalizaciones sencillas

-Hume canta si y slo si Hegel da palmas
Hume canta p Kant baila q Hegel da palmas r

pr

Algunas formalizaciones sencillas

-Hume no canta si y slo si Hegel no da palmas
Hume canta p Kant baila q Hegel da palmas r

p r

Algunas formalizaciones sencillas

- Si Hume canta, entonces Kant baila si Hegel no da palmas

Hume canta p Kant baila q Hegel da palmas r

p (r q)

Algunas formalizaciones sencillas

- Hume canta, si y slo si Kant no baila si Hegel da palmas

Hume canta p Kant baila q Hegel da palmas r

p (r q)

Cmo formalizar el lenguaje natural en L0

(i) y (ii) Identificar enunciados y asignar constantes Slo formalizamos las oraciones declarativas, las que afirman o niegan algo: Kant baila Hume no canta demasiado bien Hegel cree que dar palmas es la principal tarea de un filsofo que se precie de serlo pero no Bailara Kant con Heidegger? Hume, arrncate por soleare!

Cmo formalizar el lenguaje natural en L0

(i) y (ii) Identificar enunciados y asignar constantes

Con frecuencia hay que considerar idnticas a oraciones con distinto tiempo verbal: Kant baila Kant bailar Kant bailara

Kant ama a Hume Hume es amado por Kant

Cmo formalizar el lenguaje natural en L0

(i) y (ii) Identificar enunciados y asignar constantes

- Hay que completar aquello que est elptico, PERO NO MS

Kant baila y silba Kant baila y Kant silba PERO: Kant tiene un loro Kant tiene un ave

Cmo formalizar el lenguaje natural en L0

(i) y (ii) Identificar enunciados y asignar constantes

- Hay que fijarse en qu palabras se refieren al mismo objeto, como los pronombres: Hume naci en Escocia. Si l naci all, no naci en Lanjarn.

Aqu slo hay 2 proposiciones: p Hume naci en Escocia q Hume naci en Lanjarn

Cmo formalizar el lenguaje natural en L0

(i) y (ii) Identificar enunciados y asignar constantes - A veces hay que desechar ciertos elementos irrelevantes, como los adverbios: 1. Hegel discute acaloradamente. Si Hegel discute, le sube la tensin Aqu slo cuentan 2 proposiciones:

p Hegel discute q a Hegel le sube la tensin

Cmo formalizar el lenguaje natural en L0

(i) y (ii) Identificar enunciados y asignar constantes - Pero contrstese con la siguiente: 2. Hegel discute. Si Hegel discute acaloradamente, le sube la tensin Aqu podra ser razonable contar 3 proposiciones:

p Hegel discute q Hegel discute acaloradamente r a Hegel le sube la tensin

Cmo formalizar el lenguaje natural en L0

1. Hegel discute acaloradamente. Si Hegel discute, le sube la tensin 2. Hegel discute. Si Hegel discute acaloradamente, le sube la tensin La razn es que del argumento 1 parece seguirse que a Hegel le sube la tensin, mientras que del argumento 2 no parece seguirse.
En general no tomaremos en cuenta detalles de este tipo

Cmo formalizar el lenguaje natural en L0

(i) y (ii) Identificar enunciados y asignar constantes Otros casos problemticos: - Hume es inocente. Si no es culpable, debe ser absuelto Cuntas proposiciones hay aqu?

Presumiblemente, slo 2: p Hume es inocente q Hume debe ser absuelto Hume es inocente Hume no es culpable
En general asumimos que inocente es lo contrario de culpable

Cmo formalizar el lenguaje natural en L0

(i) y (ii) Identificar enunciados y asignar constantes Pero hay que tener cuidado: - Hume es escocs. Si no es britnico, le gusta la rumba Cuntas proposiciones hay aqu?

En este caso hay 3: p Hume es escocs q Hume es britnico r a Hume le gusta la rumba Hume es escocs Hume no es britnico

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Las cinco partculas NO, Y, O, SI, SI Y SLO SI son las ms evidentes. Pero hay expresiones del lenguaje natural que cumplen la misma funcin lgica, aunque no tengan la misma funcin pragmtica. Cuando una expresin tenga la misma funcin lgica que una de esas 5 partculas, la formalizamos usando la misma conectiva.

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Expresiones equivalentes a Y

Peano habla Y Quine duerme Peano habla, PERO Quine duerme Peano habla AUNQUE Quine duerme Peano habla, SIN EMBARGO, Quine duerme Peano habla, Quine duerme A PESAR DE QUE Peano habla, Quine duerme

pq

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Expresiones equivalentes a O Peano habla O Quine duerme Peano habla, A MENOS QUE Quine duerma

pq

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Expresiones equivalentes a NO

Peano NO habla NO ES EL CASO QUE Peano hable NO OCURRE QUE Peano hable NO ES CIERTO QUE Peano habla

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Expresiones equivalentes a SI(ENTONCES) SI Peano habla, (ENTONCES) Quine duerme CUANDO Peano habla, Quine duerme Que Peano hable ES SUFICIENTE PARA que Quine duerma Que Peano hable IMPLICA QUE Quine duerma SIEMPRE QUE Peano habla, Quine duerme Quine duerme, SI Peano habla Quine duerme EN CASO DE QUE Peano hable Quine duerme SUPUESTO QUE Peano hable

pq

Cmo formalizar el lenguaje natural en L0

NECESARIO / SUFICIENTE Compara 2 universidades: U1: Es suficiente sacar un 9 para tener Matrcula U2: Es necesario sacar un 9 para tener Matrcula Si sueles sacar 9 y te interesa tener Matrculas, qu universidad te lo pone ms fcil?

La U1! SI sacas un 9, tienes Matrcula. En la U2

sacar 9 no implica tener Matrcula.

En la U2 ocurre que SI NO sacas 9, NO tienes MH. Por tanto, SI tienes MH, es que tienes un 9

Cmo formalizar el lenguaje natural en L0

Por tanto, si nos encontramos: es suficiente para

es necesario para

Cmo formalizar el lenguaje natural en L0

Caso peculiar (i): SLO SI 1. Me mareo si voy en coche 2. Me mareo slo si voy en coche dicen lo mismo 1 y 2?

3. Me mareo si voy en bus la oracin 3 contradice a 1, a 2, a ambas, a ninguna?

Contradice a 2, pero no a 1. 1 y 3 son compatibles (o consistentes): las dos pueden ser verdaderas a la vez. Pero 2 y 3 son incompatibles (o contradictorias): las dos no pueden ser verdaderas a la vez.

Cmo formalizar el lenguaje natural en L0

1. 2. Caso peculiar (i): SLO SI Me mareo si voy en coche Me mareo slo si voy en coche dicen lo mismo 1 y 2?

1 y 2 no dicen lo mismo: En 1, que vaya en coche es condicin suficiente para que me maree (pero puedo marearme por ms razones)
me mareo p voy en coche q

(1) (q p)

En 2 que vaya en coche es condicin necesaria para que me maree (si no voy en coche no me mareo)
me mareo p voy en coche q

(2) (p q)

Cmo formalizar el lenguaje natural en L0

Caso peculiar (ii): IMPERATIVO + y Dadme un punto de apoyo y levantar el mundo cul es su forma lgica?

Intento #1: desechamos el imperativo

levantar el mundo p

formalizacin: p Pero se limita Arqumedes a afirmar que va a levantar el mundo?

Cmo formalizar el lenguaje natural en L0

Caso peculiar (ii): IMPERATIVO + y Dadme un punto de apoyo y levantar el mundo cul es su forma lgica?

Intento #2: interpretamos la y como conyuntor dar un punto de apoyo p levantar el mundo q
formalizacin: p q Pero afirma entonces Arqumedes que le damos un punto de apoyo?

Cmo formalizar el lenguaje natural en L0

Caso peculiar (ii): IMPERATIVO + y Dadme un punto de apoyo y levantar el mundo cul es su forma lgica?

Intento #3: sospechamos que no todo es lo que parece Arqumedes est estableciendo una condicin: SI le damos un punto de apoyo, l levanta el mundo dar un punto de apoyo p levantar el mundo q
formalizacin correcta: p q !!

Cmo formalizar el lenguaje natural en L0

Caso peculiar (iii): IMPERATIVO + o

1. Dame un vaso de agua o me muero 2. Dame un vaso de agua o una gaseosa

tienen la misma forma lgica?

NO. (1) establece una condicin que, caso de no cumplirse, acarrea una consecuencia: si no me das un vaso de agua, me muero: p q (2) es una disyuncin de dos imperativos, y no se puede formalizar

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Expresiones equivalentes a SI Y SLO SI Peano habla SI Y SLO SI Quine duerme Peano habla CUANDO Y SLO CUANDO Quine duerme Que Peano hable EQUIVALE A que Quine duerma Que Peano hable ES NECESARIO Y SUFICIENTE PARA que Quine duerma Peano habla, EN EL CASO, Y SLO EN EL CASO, DE QUE Quine duerma

pq

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Formalizaciones equivalentes: 1. Ir al cine o al teatro 2. Ir al cine a menos que vaya al teatro

pq

Hemos visto que estas dos expresiones se formalizan igual

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Formalizaciones equivalentes:

2. Ir al cine a menos que vaya al teatro 3. Si no voy al teatro, voy al cine

Pero cabe pensar que 2 viene a decir lo mismo que 3

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Formalizaciones equivalentes:

2. Ir al cine a menos que vaya al teatro

p q
4. Si no voy al cine, voy al teatro

Y tambin puede parecernos que 2 viene a decir lo mismo que 4

Cmo formalizar el lenguaje natural en L0

(iii) Identificar las partculas lgicas Formalizaciones equivalentes: 1. Ir al cine o al teatro

pq p

2. Ir al cine a menos que vaya al teatro q 3. Si no voy al teatro, voy al cine 4. Si no voy al cine, voy al teatro

p q

Veremos que en el fondo todas son lgicamente equivalentes

Cmo formalizar el lenguaje natural en L0

Otras expresiones: NI NI es lo mismo que NO Y NO Ni tomo leche ni tomo harina p tomar leche q tomar harina p q No tomo leche y harina La idea es que no los tomo conjuntamente (p q) OJO! p q NO EQUIVALE a (p q)

Cmo formalizar el lenguaje natural en L0

(iv) Reconstruir los enunciados complejos - Lo fundamental en los casos que plantean dudas razonables es aplicar el sentido comn y mantener un CRITERIO HOMOGNEO. - Hay que tener mucho cuidado en no aadir nada que no venga realmente dado en la oracin - La lgica proposicional no permite muchas florituras: lo fundamental es mantener la forma lgica con las conectivas y evitar ambigedades - La formalizacin tiene un poco de arte y, como tal, requiere prctica.

Ejercicios de formalizacin en L0
Cuando el ventero est en la puerta, el diablo est en la venta, pero cuando no est en la puerta, el diablo sigue estando en la venta p el ventero est en la puerta q el diablo est en la venta

(p q) (p q)

Ejercicios de formalizacin en L0
Supongamos que una figura slo puede ser cuadrada o triangular, pequea o grande, y roja o azul. Interpretemos las expresiones del tipo X es un cuadrado azul como X es un cuadrado y X es azul.

p es pequea r es roja t es triangular

q es cuadrada s es grande u es azul

Ejercicios de formalizacin en L0
Si es grande, tambin es azul; es un tringulo azul o es roja y pequea; si es roja, no es un cuadrado pequeo; si es tringulo, es rojo y pequeo.
p es pequea s es grande q es cuadrada t es triangular r es roja u es azul

(s u) ; (t u) (r p) ; r (q p) ; t (r p)

Obsrvese que podemos sustituir los ; por conyuntores y obtener as una sola frmula compleja:
(s u) [(t u) (r p)] [r (q p)] [t (r p)]

Ejercicios de formalizacin en L0
Si es un cuadrado pequeo, es rojo; ni es un cuadrado grande ni es un cuadrado rojo; es un tringulo slo si es rojo
p es pequea s es grande q es cuadrada t es triangular r es roja u es azul

[(q p) r] [(q s) (q r)] (t r)

Ejercicios de formalizacin en L0
No es un cuadrado grande; no es un tringulo azul; es roja si y slo si es pequea
p es pequea s es grande q es cuadrada t es triangular r es roja u es azul

(q s) (t u) (r p)

Ejercicios de formalizacin en L0
Si es un cuadrado o es roja, es grande; es grande si y slo si es azul; slo es un cuadrado si es roja
p es pequea s es grande q es cuadrada t es triangular r es roja u es azul

[(q r) s] (s u) (q r)

Ejercicios de formalizacin en L0
Aprobar lgica, si Dios quiere. Aprobar lgica si y slo si estudio y hago todos los ejercicios. Sin embargo, no he hecho los ejercicios. Por tanto, Dios no quiere que apruebe lgica. p apruebo lgica r estudio q D quiere que apruebe s hago los ejercicios

hay algn modo de marcar la diferencia de ese por tanto? S: es la conclusin de un argumento. Vamos a marcarla con el

smbolo

(q p) [p (r s)] s q

Ejercicios de formalizacin en L0
Si la seora White lo hizo, lo hizo con la llave inglesa o con la cuerda. Pero lo hizo con la cuerda si y slo si el asesinato se cometi en el vestbulo. El asesinato se cometi en la cocina. Por lo tanto, si la seora White lo hizo, lo hizo con la llave inglesa.
p W lo hizo q W lo hizo con llave r W lo hizo con cuerda s asesinato en vestbulo t asesinato en cocina

[p (q r)] (r s) t (p q)

Ejercicios de formalizacin en L0
Una condicin necesaria para que la humanidad sea libre es que los seres humanos no estn ligados a una esencia. Si Dios cre a los humanos, entonces estamos ligados a una esencia. Claramente, los humanos somos libres. Por tanto, Dios no cre a los humanos.
p humanos son libres r D crea humanos q humanos ligados a esencia

(p q) (r q) p r

Ejercicios de formalizacin en L0
No hay vida en Marte a menos que haya oxgeno all, y no hay oxgeno all a menos que haya all alguna planta, y no hay plantas all a menos que haya agua. Por tanto, si hay vida en Marte, all hay agua.
p hay vida en M q hay O2 en M r hay plantas en M s hay agua en M (q p) (r q) (s r) (p s) (p q) (q r) ( r s) (p s) (p q) (q r) (r s) (p s)