Descargar número completo (5,95 MB) - Eikasia

Pérez Herranz, Fernando-M.: «Lenguaje e intuición espacial»
Lógica Analítica con la defensa del Capitalismo, y la Lógica Dialéctica con la defensa del
Comunismo, es síntoma de que la Lógica no se entendía como algo neutral o inocente.
Tampoco lo fue entre nosotros, aunque aquí tomó su particular sesgo, que ya es posible
contemplar con serenidad desde la distancia. Porque la Lógica jugó un papel beligerante
contra las maneras escolásticas de la argumentación, que, desde sus presupuestos
ontológicos, gnoseológicos y morales, parecían defender un Régimen que reprimía las
libertades culturales, políticas e intelectuales del país. La Lógica fue, dentro de los ámbitos
escolar y universitario, un arma más enfrentada a aquella escolástica que atentaba a un
mismo tiempo contra "el sentido común, la lógica de los Principia Mathematica, el
principio de verificabilidad, la sintaxis, la semántica y la pragmática, el habla corriente,
nuestro esquema conceptual y cualquier otra actividad pensante por la que deseemos
reemplazarlo", según el mordaz comentario de Javier Muguerza.
Y, mientras se iban suavizando y olvidando estas cuestiones y cada buho o mochuelo
anclaba ocupado en encontrar su olivo, la Lógica se estaba transformando en un saber
fundamentalmente vinculado al mundo tecnológico de la Computación. Y, en éstas, se
consumó lo que hoy llamamos Sociedad Informática, que nos cogió, presumiblemente,
«pensando» en otras cosas. Todavía hoy, algunos intelectuales se niegan a ver la TV o a
usar un ordenador personal: y eso por principio.
Y, como suele ocurrir con las situaciones a las que se califica de «paradójicas», los
escolásticos tenían su pequeña racioncita de razón al atentar contra los Principia
Mathematica por echar en falta en ellos lo que hoy llamaríamos cuestiones semánticas.
Pero ni el escepticismo ni el criticismo desplegados por la Escolástica eran necesarios
contra los formalismos; la resolución del problema ya se había consumado dentro de los
marcos internos de la investigación y del desarrollo de la Lógica. Muy pronto se
comprendió que suponía demasiada exigencia para cualquier lenguaje su traducibilidad
al lenguaje lógico e imposible la demostrabilidad de todos los enunciados verdaderos. El
Teorema de Codel ponía las cosas en su sitio: fueron abandonadas las creencias en el
método axiomático como una suerte de panacea universal y se inició una serie de
valiosísimos intentos de recuperación de la Semántica por parte de los lógicos: La Teoría
de Modelos, las Lógicas Intensionales y hasta la Lógica Borrosa se dispusieron y se
122 Eikasia. Revista de Filosofía, año VI, 36 (enero 2011). http://www.revistadefilosofia.com