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

Lógica y argumentación Prueba formal de validez

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

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

Lógica y argumentación La regla de reemplazo

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

Lógica y argumentación

Lógica y argumentación

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

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. 385-386

Lógica y argumentación FIN