Lgica formal

Forma y contenido de los

razonamientos
Todo caballo es veloz Todo nio es activo
Pegaso es un caballo Jaimito es un nio
Pegaso es veloz Jaimito es activo

El contenido de un razonamiento es la
informacin a la que refiere.
Forma del razonamiento
Todo A es B
x es A

x es B
La forma o estructura del razonamiento es lo
que surge cuando se abstrae el contenido
informativo de las proposiciones que lo
componen.
Aspectos en juego
Verdad

Validez

Solidez
Verdad
La verdad o falsedad se predica de las proposiciones
(premisas o conclusin), NO DE UNA ARGUMENTACIN.
Verdad como correspondencia: una proposicin ser
verdadera cuando su contenido informativo coincida con la
realidad.
Llueve, ser una proposicin verdadera si
efectivamente est lloviendo y falsa si no lo
est
Validez
La validez se predica de los razonamientos y hace alusin a su
forma lgica.
Un razonamiento ser vlido si en virtud de su forma lgica
garantiza la verdad de la conclusin, SIEMPRE Y CUANDO
LAS PREMISAS DE LAS QUE PARTA SEAN
VERDADERAS.
 Una forma o estructura vlida permite inferir correctamente
la conclusin a partir de las premisas, y garantiza que si las
premisas (que son algo as como la materia prima del
razonamiento) son verdaderas (son de buena calidad en
cuanto a la informacin que contienen) la conclusin (es
decir, el producto obtenido), tambin lo ser. Los nicos
argumentos formalmente vlidos son los deductivos.
En suma
Una argumentacin puede ser vlida si sus premisas son
verdaderas o falsas.
Una argumentacin puede ser invlida, an cuando sus
premisas y su conclusin sean verdaderas.
Una argumentacin es vlida si y slo si no puede darse el caso que las
premisas sean verdaderas y la conclusin sea falsa.
Solidez
La utilizacin de un razonamiento formalmente vlido
en las discusiones no nos asegura el xito de nuestros
argumentos.
Un argumento puede ser vlido pero no ser slido,
porque las premisas de las que parte son falsas.
Un argumento es slido cuando su forma lgica es vlida
y sus premisas son verdaderas.
SOLIDEZ = VALIDEZ + VERDAD
Reglas de Dauer
Si todas las premisas son verdaderas y el razonamiento
deductivo es vlido, la conclusin
debe ser verdadera.
Si el razonamiento deductivo es vlido y la conclusin es
falsa,
al menos una de las premisas debe ser falsa.
Si las premisas son verdaderas y la conclusin es falsa,
entonces el razonamiento es invlido.
Algunas formas de inferencia vlidas
Modus ponens
Modus tollens
Silogismo hipottico
Silogismo disyuntivo
Modus tollendo ponens
Reduccin al absurdo
Modus ponens

Viene del latn ponere que significa afirmar.

 Ejemplo
Si llueve, me voy a mojar
Est lloviendo
Por lo tanto, me voy a mojar

Si p entonces q
P
Por lo tanto, q

P = antecedente Q = consecuente
P entonces q = condicional
Reconstruccin de modus ponens
Dado que Juan aprob finalmente su examen de
matematica, podr entrar en la Universidad.

Si Juan aprueba su examen de matemtica,

p

podr entrar en la universidad.

q

Juan aprob su examen de matemtica p

Por lo tanto, Juan podr entrar a la universidad. q
Modus tollens

Del latn tollere, negar

Ejemplo
Si el auto se queda sin nafta, entonces se para
El auto no se par
El auto no se qued sin nafta

Si p entonces q
No q
Por lo tanto, no p
 Reconstruccin de un modus tollens
Un perro estaba suelto en el patio, pero no ladr pese a
que alguien entr y se llev un caballo. Obviamente, el
visitante era alguien que el perro conoca muy bien.
Si el perro desconoca a la persona,
p
entonces hubiera ladrado.
q
El perro no ladr.
-q
El perro no desconoca a la persona.
-p
Silogismo hipottico
Estructura:
Si p entonces q
Si q entonces r
Si p entonces r

Si existe una demanda insatisfecha de este

bien, producirlo es un buen negocio porque
mucha gente lo va a comprar.
Reconstruccin
Si existe una demanda insatisfecha de este bien, entonces
mucha gente lo va a comprar.
Si mucha gente lo compra, entonces producirlo es un buen
negocio.
Por lo tanto, si existe una demanda insatisfecha de este bien,
producirlo es un buen negocio.
Silogismo disyuntivo
Si a esta hora Mara no est en su casa, es que est en el
trabajo.
Reconstruccin:
A esta hora, Mara est en su casa o en el trabajo.
Mara no est en su casa.
Por lo tanto est en el trabajo.
 Estructura del silogismo disyuntivo

Poq
No p
Por lo tanto q

No importa si la primera premisa tiene una disyuncin inclusiva

o una disyuncin exclusiva.
 Modus tollendo ponens
Poqor
No p
Por lo tanto, o bien q o bien r

Si Gustavo no est en Paysand, entonces est

en Salto o Rivera.

Gustavo est en Paysand, o en Salto o en Rivera

Gustavo no est en Paysand.
Entonces est en Salto o Rivera.
Formas combinadas. Ejemplo
Silogismo hipottico combinado con modus ponens
Si usted estudia otras culturas, entonces descubrir la
variedad de formas de vida. Si usted descubre la variedad de
formas de vida, se volver ms tolerante. Usted est
estudiando otras culturas. Entonces va a volverse ms
tolerante.
Reduccin al absurdo
La capacidad de volar no puede considerarse como
esencial en las aves, porque si lo fuera, el pingino no
sera un ave, pero lo es.
Reconstruccin:
La capacidad de volar es una caracterstica esencial
en las aves.
Si esto es as, entonces el pingino no sera un ave.
Pero el pingino es un ave. Por lo tanto, la capacidad
de volar no es una caracterstca esencial de las aves.
 Forma lgica:
Para probar: no p (que p es falso)
Se asume: p (p es verdadero)
De esta asuncin se deriva una implicacin: q
Se muestra que q es falso (absurdo o inaceptable)
Por lo tanto: no p
 Falacias formales
Son falacias porque son razonamientos invlidos aunque a
primera vista pueda parecer que no lo son.

Son formales porque el error est en la forma o estructura

del razonamiento.
 En el noticiero dijeron que el presidente del Higueritas
Ftbol Club renunci a su cargo. Seguro que descubrieron
que un jugador utilizaba drogas, porque l dijo que el da que
uno de sus muchachos no pasara el antidoping se iba del club.

Si un jugador del club se droga, el presidente renuncia

El presidente renunci
Un jugador del club se droga
Si p entonces q
q
Por lo tanto, p

Falacia de afirmacin del consecuente

Se opera con un condicional como si fuera un

bcondicional.
 Si fuera duea de Microsoft, entonces sera muy rica
No soy duea de Microsoft
No soy muy rica

Si p, entonces q
No p
Por lo tanto, no q

Falacia de negacin del antecedente

 Si Michael Jordan fuera el dueo de Microsoft, sera muy
rico.
Michael Jordan no es el dueo de Microsoft
Por lo tanto, Michael Jordan no es muy rico.
Si p entonces q
No p
Por lo tanto, no q

Se toma un condicional como si fuera un bicondicional. Es decir,

se razona como si nicamente esa causa pudiera producir ese
efecto.
Para saber si se trata de una falacia debemos determinar si la
relacin causal es bicondicional o no.
 Gervasio est cansado o enfermo.
Gervasio est cansado.
Por lo tanto, Gervasio no est enfermo.

Estructura:
poq
p
Por lo tanto, no q

Silogismo disyuntivo no vlido

Gervasio puede estar cansado y enfermo a la vez. Si s que est
cansado no puedo descartar que est tambin enfermo.
Ejercicios
Si la gente se queja, es porque sufre. La gente no se queja,
entonces no sufre.

Dado que no hay voluntad de usar la fuerza, a Fidel Castro se

lo va a debilitar mediante la presin diplomtica o el bloqueo
comercial.
 A pesar de que las botas que llevaba no eran de distinto
nmero, si que eran desparejas, porque una tena la
puntera con ligeros adornos, mientras que la otra era
lisa. Una tena abrochados nicamente los dos botones
de abajo (eran cinco), y la otra los botones primero,
tercero y quinto. Pues bien: cuando una seorita joven,
correctamente vestida en todo lo dems, ha salido de su
casa con las botas desparejas y a medio abrochar, no
significa gran cosa el deducir que sali con mucha
precipitacin.
La aventura de un caso de identidad
Sir Arthur Conan Doyle
 Esta combinacin de datos sugiere que, o bien los atenienses
eran unos incautos que se dejaban engaar por una banda de
estafadores, o bien los sofistas eran algo diferente de lo que
nos dice la leyenda negra. En principio pudo ocurrir
cualquiera de las dos cosas pero, como norma general,
conviene ser escptico respecto de aquellas interpretaciones
que slo pueden ser verdaderas bajo la condicin de que
mucha gente acte tontamente durante mucho tiempo.
Poltica y Tiempo
Pablo da Silveira