Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apuntes Historia y Filosofia de La Logica
Apuntes Historia y Filosofia de La Logica
II.
III.
II.
Ante la verdad no puedo concluir falsedad (si el argumento es vlido): esto es lo que
asegura la lgica.
Puede ser que la estructura est mal, esto es, que no sea vlida, a pesar de que las
premisas sean verdaderas y la conclusin no pueda no ser falsa.
Por qu la validez de un argumento no depende del valor de verdad de premisas y
conclusin?
Argumentaciones:
a. Son entidades lingsticas de carcter concreto.
b. Enunciados
a. Premisas
b. Conclusiones.
La lgica que vamos a tratar es la lgica deductiva:
Argumento deductivo: que la conclusin se siga necesariamente de las premisas. Lgica
deductiva: el objeto de estudio son los argumentos deductivos.
Argumento inductivo: que la conclusin se siga probablemente de las premisas. Lgica
inductiva: su objeto de estudio son los argumentos inductivos.
Plano lingsitico: Argumentacin
INVLIDOS:
VLIDOS:
AB
AB
A B
A B
CUADRO DE LA IRRELEVANCIA:
PREMISAS
CONCLUSIN
VLIDAS
INVLIDAS
Es imposible
ARG. INVLIDOS:
pq
pq
pq
p q
ARG. VLIDO:
p
q
Premisas falsas: basta con que slo una premisa sea falsa para que sean falsas. En
cambio premisa verdadera: todas y cada una de las premisas ha de ser verdadera
CUADRO DE LA IRRELEVANCIA: Lo llamamos as porque el valor de las premisas y
conclusin es irrelevante para la validez o invalidez del argumento en cuestin. Hay un
solo caso en que esto es as.
PREMISAS
CONCLUSIN
VLIDO
1
INVLIDO
Es imposible
Definicin de deduccin:
Una estructura en la que la conclusin se sigue de las premisas.
2
4
Estructura formal.
Una deduccin es un mecanismo para demostrar la validez de un argumento deductivo
(contiene una serie de premisas + conclusin + proposicin intermedia). Contiene una
serie de premisas, por otro una conclusin, por otro un argumento y una serie de pasos
para demostrar que de las premisas se sigue la conclusin (doy pasos de acuerdo a una
serie de reglas). El paso de uno a otro no es arbitrario cuando ests demostrando algo.
Esta serie de pasos se da de acuerdo a determinadas reglas lgicas.
Prueba: algo mediante lo cual se demuestra la solidez de un argumento deductivo.
Solidez: (argumento deductivo vlido + premisas verdaderas) Por lo que habr de hacer
una deduccin y demostrar que las premisas sean verdaderas. Los slidos estn en 1.
Contraargumento: mecanismo que nos permite demostrar la validez de un argumento.
Si salto por la ventana me rompo una pierna.
No salto por la ventana, luego no me rompo una pierna [Pero me puedo romper
una pierna de otra forma].
El contraargumento es una estructura idntica que uno dado, pero en el que claramente
las premisas son verdaderas y la conclusin es falsa.
La lgica se ocupa de los principios de la validez formal de los argumentos. Analizando
el lenguaje es cmo extraemos la forma.
Las proposiciones (en el lenguaje normal las llamamos enunciados) si que son
susceptibles de ser verdaderas o falsas.
La deduccin: mecanismo genrico que nos permite dilucidar si un argumento es vlido
o no.
pq
qr
pr
Lo que nicamente no se admite en la lgica deductiva es que las premisas sean
verdaderas y en cambio la conclusin sea falsa. La lgica de lo que se encarga es de la
estructura.
FORMA LGICA: La forma lgica nace de distinguir entre trminos lgicos y el resto
de (contenidos) trminos del lenguaje.
Si pq
Vlido:
p
q
No vlido:
pq
p
q
No vlido:
pq
p
q
x (Px Qx)
x (PxQx)
d. Mala instanciacin:
x (Pxy Qxy
Pay Qya
3. Falacias silogsticas:
a. Mayor ilcita:
Todo A es B
Ningn C es A
Por tanto, ningn C es B
Todo nmero par es divisible por 2
Ningn par es impar
Por tanto ningn impar es divisible por 2
b. Menor ilcita:
Todo A es B
Todo A es C
Por tanto todo C es B
c. Termino medio no distribuido:
Todo A es B
Algn C es B
Algn C es A
Los pares son divisibles por 2
Algn primo es divisible por 2
Por tanto algn primo es par.
Los perros son mamferos
Algunos peces son mamferos.
Por tanto algunos peces son perros
d. Falacia de los cuatro trminos:
Todo A es B
Todo C es D
Por tanto todo A es D (no hay conexin)
e. Conclusin afirmativa de premisa negativa:
Todo A es B
Algn B no es C
Por tanto algn A es C.
Todo par es divisible por 2
Algn divisible por 2 no es primo
Por tanto algn par es primo.
Los caballos son cuadrpedos.
Algunos cuadrpedos no son perros
Por tanto algunos cuadrpedos son perros
4. Falacias Inductivas: En las inductivas no hay implicacin, la conclusin se sigue
probablemente de las premisas.
I. Inductivas propias:
a. Falacia de muestra insuficiente:
Este A es B
Por tanto todo A es B
b. Extrapolacin injustificada:
En esta clase todos saben leer.
Por tanto en toda la UCM saben leer.
II. Inductivas causales:
a. Mala direccin
Siempre que se da A se da B
Por tanto A es la causa de B
Siempre que voy al cine apagan la luz.
Por tanto si voy al cine apagan la luz.
b. Efectos conjuntos:
Siempre que ocurra A ocurre B
Por tanto A es la causa de B
A y B son los efectos de la misma causa C
Siempre que huele a gas en mi cocina se desprende gas
Por tanto siempre que huele a gas se desprende gas.
c. Falacia de correlacin causal:
Siempre que ocurre A ocurre B
Por tanto A es la causa de B
(A y B coinciden por casualidad)
9
d. Causa insuficiente:
Siempre que ocurre A ocurre B
Por tanto A es la causa de B
(A es solo una parte de la causa de B)
5. Falacias estadsticas:
a. Falacia de accidente:
El 90% de los A son B.
Este A tiene el 90% de posibilidades de ser un B.
b. Accidente inverso:
Se dice que la mayora de los A son B
Pero este A no es un B
Por tanto, la mayora de los A no son B
c. Confusin entre frecuencia y proporcin
El 75% de los A son B
Aqu hay 4 A de los que 3 s que son B
Por tanto s que el otro no es B.
Falacia de irrelevancia:
a. Apelatio
a. Falacia ad Hominen:
Si un ser humano se cultiva intelectualmente se siente gratificado.
Si se estudia filosofa es gratificante.
Pero como lo dice el profesor de filosofa estudiar no es gratificante.
b. Ad Baculum (apelacin a la fuerza)
c. Ad misericordia.
d. Ad populum (demagogia).
Los polticos son unos corruptos y unos mentirosos, todo el mundo
lo dice.
e. Ad ignoratian (apelacin a la ignorancia):
Se infiere que algo es verdadero de que nadie sabe que es falso.d
10
A
B B
A
A
B
AB
A/AB B/AB
A
B
AB
De eliminacin:
E
A/ A
A/AB B/AB
AB
A
B
12