Академический Документы
Профессиональный Документы
Культура Документы
cuadrados de los catetos. (Si no conocía esta prueba del teorema, ¿imaginó alguna
vez que pudiera ser tan sencilla?)
Todos tenemos alguna idea sobre la lógica y sobre su uso, aun sin haber estudiado el
tema formalmente. En el lenguaje cotidiano usualmente calificamos como “lógico”
lo que nos parece evidente o claro, lo que aparentemente no deja lugar a dudas: “Es
lógico que, si tengo sobrepeso, debo comer menos”. Por el contrario, decimos que algo
es “ilógico” o que “no tiene lógica” cuando nos parece absurdo, imposible, carente
de sentido: “No existe razón lógica para pensar que los alzados en armas puedan
tener interés en desmovilizarse” [R. Pombo, Revista Cambio, 14 de agosto de 2000, p.
10]. Pero también la expresión “es lógico” se utiliza para indicar que una afirmación
se sigue inevitablemente como consecuencia de otra u otras: “Es lógico que Juan sepa
nadar, porque es buzo profesional”. Este enunciado encierra tres afirmaciones. Una
de ellas está enunciada explícitamente: “Juan es buzo profesional”; otra está implícita
en el texto: “Todo buzo profesional sabe nadar”. La tercera afirmación, “Juan sabe
nadar”, está precedida de la expresión “es lógico“, como aseveración de que ella
está garantizada por las dos afirmaciones anteriores. En síntesis, en este ejemplo, la
expresión “es lógico” se utiliza con el significado de “es inevitable concluir que…,
dado que…”.
Con frecuencia opinamos que algo “es lógico” o, por el contrario, que “no tiene
lógica”. Sin embargo, no siempre lo que es “lógico” para algunos, lo es para todos.
Por ejemplo, si sé que hoy es miércoles y que todos los miércoles tengo clase de
Cálculo, es “lógico”, es “natural” concluir que hoy tengo clase de Cálculo. Y es
razonable esperar que todos concluyamos así, pues tal conclusión está prácticamente
contenida en las afirmaciones que la preceden y por lo tanto se deriva de ellas de
manera inevitable. Pero no siempre coincidimos todos en calificar como “lógicas”
6 Lógica y argumentación: De los argumentos inductivos a las álgebras de Boole