Examen final

Gua para la exposicin final

Nombre y apellido: Emmanuel Gustavo Misael Prez
Fecha de examen: 2/3/2015
Tema elegido (para una exposicin oral de 10-15 minutos):
La nocin de validez y consecuencia lgica clsica. Generalidad formal de la
nocin de consecuencia lgica.
Resumen breve de la exposicin (150-250 palabras):
La consecuencia lgica es la relacin entre las premisas y la conclusin de un
argumento deductivamente vlido. En lgica, la validez es una propiedad que
tienen los argumentos cuando las premisas implican la conclusin. Si la
conclusin es una consecuencia lgica de las premisas, se dice que el
argumento es deductivamente vlido. La lgica formal establece nicamente
una relacin condicional entre las premisas y la conclusin. Esto es: que si las
premisas son verdaderas, entonces la conclusin tambin lo es (esta es la
caracterizacin semntica de la nocin de consecuencia lgica); o
alternativamente: que la conclusin sea deducible de las premisas conforme a
las reglas de un sistema lgico (esta es la caracterizacin sintctica de la nocin
de consecuencia lgica). La caracterstica comn a los enfoques de generalidad
formal es que reducen la relacin de implicacin lgica entre proposiciones, o
la validez lgica de un argumento, a algn tipo de generalidad formal. En los
sistemas en los que vale el teorema de la deduccin, todos los argumentos
vlidos pueden transformarse en frmulas lgicamente vlidas de la forma
(P1^P2^P3^...^Pn) C, donde las P son las premisas del argumento y C su
conclusin. En los sistemas donde vale el converso del teorema, todas las
frmulas lgicamente vlidas con las forma (P1^P2^P3^...^Pn) C se puede
transformar en argumentos vlidos con las P como premisas y C como
conclusin. Esto muestra que existe una estrecha relacin entre la validez lgica

de los argumentos y la validez lgica de las frmulas.

Esquema de la exposicin:
Demostracin de la validez de un argumento
Un argumento concreto es vlido cuando tiene la forma de un esquema de
argumento vlido. Por ejemplo:
O es de da o es de noche. / No es de da. / Por lo tanto, es de noche.
O es varn o es mujer. / No es varn. / Por lo tanto, es mujer.
Estos argumentos son vlidos porque ambos tienen la forma de un silogismo
disyuntivo, el cual es un esquema de argumento vlido:
1. p v q
2. p
3. q
Para determinar la validez de un argumento concreto, entonces, alcanza con
determinar la validez de su esquema de argumento, y esto se puede lograr por
medios semnticos o por medios sintcticos.
Mtodo semntico
En la lgica proporcional, un mtodo es transformar un argumento en su
correspondiente frmula, y construir su tabla de verdad. Si la frmula resulta
ser una verdad lgica, entonces el argumento es vlido. Por ejemplo, si se
considera el esquema de argumento del silogismo disyuntivo, su frmula
correspondiente y su tabla de verdad son :

Esto se debe a que vale el teorema de la deduccin y su converso, pero tambin

a que la lgica proporcional es decible, y por lo tanto siempre admite de un

procedimiento algortmico para determinar si una frmula cualquiera es una

verdad lgica o no.
Mtodo sintctico
Se dice que un esquema de argumento es vlido cuando existe una deduccin de
la conclusin a partir de las premisas del argumento y los axiomas del sistema,
utilizando solo las reglas de inferencia permitidad.
Ejemplo en un sistema de deduccin natural:
(3Ax ^ VxBx) -> 3x (Ax ^ Bx)
1. 3xAx ^ VxBx (sup)
2. 3xAx (E ^, 1)
3. Aa (sup)
4. VxBx (E ^, 1)
5. Ba (EV, 4)
6. Aa ^ Ba (I ^, 3, 4)
7. 3x (Ax ^ Bx) (I 3, 6)
8. Aa -> 3x(Ax ^ Bx) (I ->)
9. 3x (Ax ^ Bx) (E 3, 1, 8)
10.(3xAx ^ VxB) -> 3x (Ax ^ Bx) (I )
Bibliografa utilizada:
Haack, S Filosofa de las Lgicas. Cap 2
Orayen, Lgica Significado y Ontologa, Captulo I 4.1
Gmez Torrente, .: Forma y Modalidad Cap I y II
Saguillo, J. M. Validez y Consecuencia Lgica. La Concepcin Clsica. En
Frpolli, M.J.: Filosofa de la lgica, Tecnos, Madrid, 2008, pp. 55-82.