Lógica, formalismo lógico y racionalidad

Abstract

En este trabajo pretendo exponer la última de las tres heridas epistemológicas que he reseñado aquí: el teorema de limitación o incompletud de Godel a la luz de una tesis que pretendo extraer del seno de la teoría de la argumentación de Chaim Perelman. Perelman sugiere en algunos de sus textos la necesidad de ampliar el concepto de lógica y la razón a su paso para que dé cuenta de procesos de razonamiento de carácter no formal presentes en el derecho, la ética y la filosofía. Para poder cumplir ese cometido consideramos que es necesario desligar definitivamente la idea, la ciencia de la lógica, del formalismo o deductivismo formal, a través de una distinción de objetos, por un lado el objeto de la lógica: las inferencias racionales en el lenguaje ordinario; por otro lado, el objeto que la nueva ciencia lógica matemática moderna intentó superponer al anterior para explicarlo y en cierta medida, trata de suprimirlo: la idea de sistema formal o cálculo.