La lógica IF y los fundamentos de las matemáticas

Resumen

El objetivo del presente artí­culo es someter a escrutinio la afirmación de Hintikka según la cual la verdadera lógica elemental no es la clásica sino la lógica IF y, en consecuencia, el marco en que ordinariamente son pensadas las relaciones entre lógica y matemáticas es por completo inadecuado. Para ello, primero se exponen las funciones o caracterí­sticas que una lógica debe poseer y, en segundo lugar, se presentan las ideas constitutivas de la lógica IF. Más adelante se demuestran algunas de las propiedades matemáticas de la lógica IF y se analizan las complejidades a que da lugar la negación en este sistema. Por último, se ofrecen algunas razones para matizar o poner en duda las conclusiones que Hintikka extrae de su propuesta para la filosofí­a de las matemáticas.