Nota acerca de las traducciones de Gödel de la logica intuicionista

OLIMPIA LOMBARDI

REVISTA DE FILOSOFÍA

ASOCIACIÓN DE ESTUDIOS FILOSÓFICOS (ADEF)

Lugar: Buenos Aires; Año: 1997 vol. 12 p. 63 - 70

0326-8160

Históricamente, la lógica intuicionista se presenta como una restricción  a la lógica clásica: la axiomática de Heyting para el cálculo proposicional pretende limitar las inferencias válidas de acuerdo con las exigencias de constructividad intuicionistas.  Las traducciones de Gödel del cálculo de Heyting, sugirieron a algunos autores que, en realidad, la lógica intuicionista “contiene” a la clásica.  En el presente trabajo se argumenta que la interpretación de la lógica intuicionista como una extensión de la lógica clásica sobre la base de las traducciones de Gödel pasa por alto ciertos detalles que, no obstante, la vuelven inaceptable.