La lógica de Aristóteles, a la que se denominó órganon (en griego, "instrumento"), estudia en particular los métodos que se emplean para distinguir entre el razonamiento correcto y el no correcto. Nuestra propuesta, de exclusivo carácter metodológico, no es un libro de lógica (que los hay muchos y muy buenos); es simplemente un camino de iniciación hacia el método demostrativo; un intento por lograr que el lector llegue a comprender uno de los procedimientos destinados a demostrar la validez de un razonamiento dado. Este tipo de ejercicio permitirá enriquecer la práctica del razonar, y fomentará el desarrollo de los hábitos de indagación reflexiva necesarios para formar un lector apto para un posterior estudio de la lógica. Nuestra propuesta es instrumento, es medio para, es formativa. No es fin en sí misma. Es una propedéutica de la lógica. Los autores
Indice | |
Indice | Prólogo apócrifo 9 Nota para el lector 11 1. El estudio de las formas 13 La importancia de la forma 13 Para tener en cuenta 16 Julio Colacilli de Muro (1965) nos in-forma 19 Tiempo de definiciones 20 Abstraer o interpretar 25 La clave del lector 26 Formalización de enunciados 28 2. Las reglas del juego 42 Modus Ponendo Ponens /PP 42 Doble Negación /DN 49 Modus Tollendo Tollens /TT 54 Adjunción /A 62 Simplificación /S 63 Modus Tollendo Ponens /TP 65 Regla de Adición /Ad 73 Silogismo Hipotético /SH 75 Silogismo Disyuntivo /SD 78 Reducción Disyuntiva /RD 80 Reglas Conmutativas /C 84 Reglas de De Morgan /DM 88 Regla de las Bicondicionales /B 92 Regla del Reemplazo y equivalencias 96 Manuel Garrido (1973) da el ejemplo 100 Demostración indirecta o por reducción al absurdo 102 Un par de ejemplos en la matemática 106 Anexo 109 Bibliografía 127 |