La tesis generalizada de Tarski en clave elucidatoria

Resumen

Una pieza clave del pluralismo lógico de Beall y Restall es la llamada Tesis Generalizada de Tarski (TGT). En su clásico libro Logical Pluralism, ellos afirman que esta tesis es una afirmación “del mismo tipo” que la tesis de Church-Turing (Beall y Restall, 2006, p. 25). El objetivo del artículo es mostrar con cierto detalle la dificultad que involucra elaborar la analogía entre ambas tesis. A tales efectos, describimos lo que llamaremos “enfoque elucidatorio” de las tesis, con base en un modo usual de entender la tesis de Church-Turing, a la cual Beall y Restall suscriben. Posteriormente, identificamos tres características de TGT y, con base en ellas, argumentamos que TGT no es asimilable a la perspectiva elucidatoria de la tesis de Church-Turing.