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 ) Generalidad Formal. Teorema de la deduccin El condicional material no debe confundirse con la relacin de implicacin lgica. Sin embargo, existe una estrecha relacin entre ambos en la mayora de los sistemas lgicos, incluyendo la lgica clsica. Por ejemplo, los siguientes principios se sostienen: Si , entonces , donde A es una frmula cualquiera y un conjunto de frmulas cualquiera. Si