Soluciones FL.

Tema I
En los primeros ejercicios de formalizacin no hay precisin. Se busca la discusin para
favorecer la reflexin sobre nuestras primeras intuiciones.
EJERCICIO 1
Determinar cules de los siguientes textos contienen una inferencia, e identificar la
conclusin de la misma para los casos que la contengan:
a. La filosofa no es una disciplina al lado de las ciencias. Si la meta de las
ciencias es hallar verdades expresables en proposiciones, la tarea de la
filosofa es en cambio clarificar esas proposiciones. Los resultados de la
filosofa no son proposiciones filosficas sino clarificaciones de
proposiciones filosficas (Wittgenstein, Tractatus).
Hay inferencia. Conclusin: La filosofa no es una disciplina al lado de las ciencias.
b. Yo no puedo dudar de mi propia existencia como ser pensante. Puedo dudar
de la existencia de mi propio cuerpo y de todas las dems cosas fsicas. Por
tanto, en tanto que ser pensante soy realmente distinto de mi cuerpo y podra
existir con completa independencia de l o de cualquier cosa fsica
(Descartes, Discurso del mtodo)
Hay inferencia. Conclusin: En tanto que ser pensante soy realmente distinto de mi
cuerpo y podra existir con completa independencia de l o de cualquier cosa fsica.
c. La muerte no es nada terrible, pues si lo fuera, as se lo habra parecido a
Scrates (Epicteto).
Hay inferencia. Conclusin: La muerte no es nada terrible.
d. Estamos tejidos de idntica tela que los sueos y nuestra corta vida se cierra
con un sueo (Shakespeare).
No hay inferencia.
e. 4 es divisible por 2, ya que todo nmero par es divisible por 2.
Hay inferencia. Conclusin: 4 es divisible por 2.

EJERCICIO 2
Para cada una de las siguientes piezas discursivas, determinar cul es el argumento que
se intenta proponer en ellas, identificando en cada caso la(s) premisa(s) y la conclusin:
Se seala la conclusin. El resto, son premisas.
a. El argumento creacionista es todo l poco ms que un intento de falsar la evolucin
presentando supuestas contradicciones entre sus partidarios. Su propuesta
creacionista es, dicen, cientfica porque sigue el modelo popperiano de tratar de
echar abajo la evolucin. Sin embargo, el argumento de Popper ha de emplearse en
ambas direcciones. Uno no se convierte en cientfico por el simple acto de tratar de
falsar otro sistema cientfico, sino que tiene que presentar un sistema alternativo que

tambin satisfaga el criterio de Popper -que sea tambin en principio falsable. El

creacionismo cientfico es una expresin autocontradictoria, un sinsentido,
precisamente porque no puede falsarse. Puedo imaginar observaciones y
experimentos que refutaran cualquier teora evolucionista que conozca, pero no
puedo imaginar qu datos podran llevar a los creacionistas a abandonar sus
creencias. Los sistemas imbatibles son dogmas, no ciencia. (Stephen Jay Gould,
Evolution as Fact and Theory)
b. Los materiales de la naturaleza (aire, tierra, agua) que permanecen intocados por el
esfuerzo humano no pertenecen a nadie ni son propiedad de nadie. De aqu se sigue
que una cosa slo puede convertirse en propiedad de alguien si ste la trabaja para
cambiar su estado natural. De donde concluyo que todo lo que un hombre mejora con
el trabajo de sus manos y de su cerebro le pertenece a l y slo a l. (Locke, Segundo
tratado sobre el gobierno)
c. Me parece que los nicos objetos de las ciencias abstractas o de la demostracin son
la cantidad y el nmero, y que todos los intentos de extender la clase ms perfecta de
conocimiento humano ms all de estos lmites son mera sofistera e ilusin... Todas
las dems investigaciones de los hombres conciernen slo a cuestiones de hecho y
existencia... Si procediramos a revisar las bibliotecas convencidos de estos
principios, qu estragos no haramos ! Si tomamos cualquier volumen de teologa o
metafsica escolstica, por ejemplo, preguntemos: Contiene algn razonamiento
abstracto sobre la cantidad y el nmero ? No. Contiene algn razonamiento
experimental acerca de cuestiones de hecho o existencia ? No. Trese entonces a las
llamas, pues no puede contener ms que sofistera e ilusin. (Hume, Investigacin
sobre el conocimiento humano)
Todo volumen de teologa o metafsica escolstica debe ser tirado a las llamas, pues no
puede contener ms que sofistera e ilusin.
EJERCICIO 3
Escribir un ejemplo de inferencia en el que:
(a) Alguna de las premisas sea falsa, la conclusin verdadera y la inferencia sea
vlida.
(b) Alguna de las premisas sea falsa, la conclusin verdadera y la inferencia sea
invlida.
(c) Alguna de las premisas sea falsa, la conclusin sea falsa y la inferencia sea
vlida.
(d) Alguna de las premisas sea falsa, la conclusin sea falsa y la inferencia sea
invlida,
Ejemplos (correctos) de un alumno:
Todo nacido en Venezuela es sudamericano (V)
Algn nacido en Venezuela es nacido en la costa pacfica (F)
Luego, algn sudamericano es nacido en la costa pacfica (V)
(a) Vlido

Todo A es B
Algn A es C
Luego, algn B es C

Algunos sudamericanos juegan al ftbol (V)

Todos los venezolanos juegan al ftbol (F)
Luego, algn venezolano es sudamericano (V)

Algn A es B
Todo C es B
Luego, algn C es A

(b) Invlido

Todo colombiano es sudamericano (V)

Todo sudamericano juega al ftbol (F)
Luego, todo colombiano juega al ftbol (F)

Todo A es B
Todo B es C
Luego, todo A es C
(c) Vlido

Todo colombiano es sudamericano (V)

Todo colombiano juega al ftbol (F)
Luego, todo sudamericano juega al ftbol (F)

Todo A es B
Todo A es C
Luego, todo B es C

(d) Invlido

EJERCICIO 4
Determinar si son o no son buenos los siguientes argumentos. En caso de que no lo
sean, decir cul es la razn:
a. El nmero de los meses del ao es impar, dado que todo nmero es par o
impar y que el nmero de los meses del ao no es par.
(El nmero de los meses del ao es par o impar)
pq
p
q

V
F
F

b. Si Dios es omnipotente, entonces no hay nada que no pueda hacer. O puede

construir una montaa tan grande que no la pueda mover o no puede. En
cualquiera de ambos casos, hay algo que no puede hacer. Luego Dios no es
omnipotente.
pq
rr
(r q) (r q)

V
V
V

c. Van Gogh es contemporneo de Gauguin, ya que son clebres las peleas que
mantuvieron y que dos personas no pueden pelear a menos que sean
contemporneos.
pq
p

V
V

d. Una cosa slo puede convertirse en propiedad de alguien si ste la trabaja

para cambiar su estado natural. Por consiguiente, si alguien mejora con su
trabajo algo, este algo le pertenece.
p: Una cosa se convierte en propiedad de alguien
q: Alguien trabaja una cosa para cambiar su estado natural
(tomamos Alguien mejora con su trabajo algo como un caso de q)
(tomamos algo pertenece a alguien como p)
pq

qp

EJERCICIO 5
Las siguientes inferencias dependen para su validez de alguna premisa no explcita.
Sealarlas en cada uno de los casos:
a. Slo estn legitimados para ejercer el poder los elegidos democrticamente.
Por consiguiente, los dictadores no estn legitimados para ejercer el poder.
b. 81 no es un nmero primo porque 81 es divisible por 3.
c. Mara es ms alta que su marido. Luego hay alguna mujer ms alta que algn
hombre.
d. Mara es ms alta que Juan. Juan es ms alto que Pedro. Luego, Mara es ms
alta que Pedro.
Respuestas (correctas) de un alumno:
a) Los dictadores no son elegidos democrticamente
b) Nmero primo es aquel que slo es divisible por s mismo y por la unidad (y 3 no
es la unidad)
c) Mara es una mujer y su marido es un hombre
d) Todo aquel que sea ms alto que otro, si ste es ms alto que un tercero, el primero
ser ms alto que el tercero

EJERCICIO 6
Poner un par de ejemplos de inferencias que tengan la misma forma que la inferencia
siguiente:

Juan aprobar la lgica slo si domina las tcnicas de la deduccin. Juan no

domina las tcnicas de la deduccin. Luego, Juan no aprobar la lgica.

Respuestas correctas de un alumno:

Slo puedo leer si me pongo las gafas
No me pongo las gafas
Luego, no puedo leer
Mi hijo slo juega al escondite si yo juego con l
Hoy no juego con mi hijo
Luego, hoy mi hijo no juega al escondite
El slo si indica una condicin necesaria, que se expresa en el consecuente del condicional:

Juan aprobar la lgica slo si domina las tcnicas de la deduccin significa Si Juan
aprueba la lgica, entonces domina las tcnicas de la deduccin.

Madrid ciudad celebrar elecciones anticipadas slo si su alcalde dimite. El alcalde de

Madrid ciudad no dimite. Luego Madrid ciudad no celebrar elecciones anticipadas.
Se quitarn los crucifijos de los colegios slo si se aprueba una nueva ley sobre libertad
religiosa. No se aprueba una nueva ley sobre libertad religiosa. Luego no se quitarn los
crucifijos de los colegios.
Para recordar (casi siempre se pone a prueba en el examen):
si p, :
slo si p, entonces :

p
p

La afirmacin que sigue a un slo si es una condicin necesaria, es el consecuente del

condicional. No equivale al si y slo si, que se formaliza con un bicondicional.

EJERCICIO 7
El argumento
Algunos pensadores son escpticos. Pirrn es un pensador. Luego Pirrn es escptico
es una instancia de la forma Algunos F son G, a es F; luego a es G Mostrar que esta
forma no es vlida ofreciendo un par de ejemplos en los que la premisa sea verdadera y
la conclusin falsa.
Ejemplos (correctos) de un alumno:
Algunos polticos son del PP
Zapatero es poltico
Luego, Zapatero es del PP

Algunos rboles son de hoja caduca

El pino es un rbol
Luego, el pino es de hoja caduca

EJERCICIO 8
Dadas las siguientes oraciones, especificar qu palabras estn usadas como nombres en
cada una de ellas y reescribirlas adecuadamente usando las comillas para distinguir las
palabras que son nombres de las que no lo son:
a. Los trminos emprico y experiencia son demasiado confusos y estn demasiado
alejados de nuestra experiencia.
b. En como como como como, engordo aparece la palabra como con tres
acepciones distintas.
c. Por dialctica se entiende hoy la dialctica de Hegel incorporada a la obra de Marx
y transformada en materialismo dialctico.
d. La palabra significado tiene ms de un significado. El significado que analiza el
principio de verificabilidad es el significado cognitivo de las proposiciones.