Semántica verificacionista y lenguaje universal
Abstract
Jaakko Hintikka ha distinguido dos concepiones 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 notificarse la pretensión de
universalidad limitando la semántica a determinado 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.
Collections
The following license files are associated with this item: