El método de la deducción

Presentación del tema: "El método de la deducción"— Transcripción de la presentación:

1 El método de la deducción
Lógica y argumentación El método de la deducción

2 Lógica y argumentación
Prueba formal de validez

3 Lógica y argumentación
“En teoría, las tablas de verdad son apropiadas para probar la validez de un argumento del tipo general que aquí hemos considerado; en la práctica son cada vez más difíciles de manejar a medida que aumenta-el número de enunciados constituyentes. Un método más eficiente para probar la validez de un argumento extenso consiste en deducir su conclusión a partir de sus premisas mediante una serie de argumentos elementales, cada uno de los cuales se conoce como válido. Esta técnica es muy similar a los métodos ordinarios de argumentación.”[1] [1] Copi, Irving M.; Cohen, Carl; Op. Cit., p. 371

4 Lógica y argumentación
[1] [1] Copi, Irving M.; Cohen, Carl; Op. Cit., p. 374

5 Lógica y argumentación
La regla de reemplazo

6 Lógica y argumentación
“Regla de reemplazo: cualquiera de las siguientes expresiones lógicamente equivalentes se pueden reemplazar donde ocurran, una en lugar de la otra.”[1] [1] Ibidem, p. 382

7 Lógica y argumentación

8 Lógica y argumentación

9 Lógica y argumentación
La noción de prueba formal es una noción efectiva, lo cual significa que se puede deducir mecánicamente, en un número finito de pasos, si una determinada secuencia de enunciados es o no una prueba formal (con respecto a la lista de reglas de inferencia). No se requiere pensar, ni en el sentido de saber lo que "significan" los enunciados de la serie, ni en el de usar la intuición lógica para verificar cada uno de los pasos. Solamente se requieren dos cosas, de la cuales la primera es la habilidad para ver que un enunciado que aparece en un lugar es precisamente el mismo que aparece en otro lugar, porque debemos ser capaces de verificar que algunos enunciados de la prueba son premisas del argumento que se está probando como válido y que el último enunciado de la prueba es la conclusión del argumento. La segunda es la habilidad para ver si un determinado enunciado tiene o no cierto patrón, esto es, para ver si es una instancia de sustitución de una determinada forma enunciativa. [1] [1]Ibidem, p. 385

10 Lógica y argumentación
Aunque una prueba formal de validez es efectiva en el sentido de que se puede decidir mecánicamente si cualquier secuencia dada es o no una prueba, construir una prueba formal de validez no es un procedimiento efectivo. En este sentido, las pruebas formales difieren de las tablas de verdad. El uso de tablas de verdad es completamente mecánico, dado cualquier argumento del tipo que no s interesa, podemos siempre construir una tabla de verdad para probar su validez siguiendo las reglas simples establecidas. [1] [1] Ibidem, pp

11 Lógica y argumentación
FIN