Semántica verificacionista y lenguaje universal

JAVIER LEGRIS

Epistemología e Historia de la Ciencia. Selección de Trabajos de las XX Jornadas. Vol. 16

Universidad Nacional de Córdoba

Lugar: Córdoba; Año: 2010; p. 294 - 299

Jaakko Hintikka ha distinguido dos concepciones alternativas del lenguaje que, según él, están presupuestas en la filosofía del siglo XX: la concepción de la universalidad del lenguaje y la concepción del lenguaje como cálculo. Este trabajo se ocupa de aplicar esta distinción a la semántica basada en el concepto de demostración (Proof-theoretic semantics). Hay evidencia para vincular esta perspectiva semántica con la concepción de la universalidad del lenguaje, aunque al mismo tiempo la metodología que emplea obedezca a la concepción del lenguaje como cálculo. Como consecuencia, se advierte una tensión dentro de la semántica misma que no parece haber sido discutida hasta ahora con suficiente detalle. Ahora bien, como solución a esta suerte de tensión, puede modificarse la pretensión de universalidad limitando la semántica a determinados fragmentos del lenguaje en su totalidad. Esta solución armoniza con los rasgos verificacionistas o constructivos de la semántica basada en la teoría de la demostración y también con las ideas que el intuicionismo matemático tenía acerca del lenguaje.