Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración

Abstract

El objetivo del presente trabajo es caracterizar las principales nociones de la concepción de la llamada proof-theoretic semantics, una alternativa a la semántica extensional basada en la teoría de modelos, y analizar desafíos conceptuales y filosóficos de la misma. Esta perspectiva surge como una profundización de los aportes de Gehard Gentzen a la teoría de la demostración a partir de los desarrollos de los sistemas de deducción natural y cálculo de secuentes. Se analizan esquemáticamente desarrollos semánticos basados en la teoría de la demostración con un corte inferencialista como elucidación de la relación de consecuencia lógica y se sugieren ampliaciones en vistas a determinar una visión completa del significado desde la perspectiva de los sistemas formales incluyendo aspectos pragmáticos.