La interpretación del significado y los sistemas de deducción natural

Resumen

Este artículo analiza los fundamentos semánticos de una propuesta alternativa para la enseñanza introductoria de la lógica en filosofía, centrada exclusivamente en los sistemas de deducción natural. La necesidad de esta revisión surge de una laguna pedagógica identificada en los cursos habituales donde, si bien se trabaja con sistemas deductivos, el significado intrínseco de estos sistemas no se desarrolla autónomamente, sino que se subsana mediante equivalencias con conceptos de la teoría de modelos. Esta aproximación deja a los estudiantes sin una comprensión genuina del significado dentro del marco puramente inferencial en el que se ejercitan.
Frente a la hegemonía de la teoría semántica de modelos con su enfoque representacionista, este trabajo propone una fundamentación semántica para la deducción natural basada en una filosofía del lenguaje como uso. Apoyándose en las reflexiones del segundo Wittgenstein y en el inferencialismo normativo de Robert Brandom, la perspectiva presentada desplaza el foco desde una verdad de carácter ontológico hacia las prácticas justificativas y los compromisos inferenciales que constituyen el significado lógico. Se argumenta que comprender las reglas de inferencia como normas que rigen prácticas discursivas ofrece una base semántica autónoma y pedagógicamente viable. Esta aproximación, coherente con el enfoque de Dag Prawitz sobre la normalización de derivaciones, no solo enriquece la comprensión de la deducción, sino que restablece el lugar central de la pragmática en la determinación del significado.