Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos

Autores/as

DOI:

https://doi.org/10.15381/tesis.v14i19.21937

Palabras clave:

problema de la adopción, dialógica, teoría constructiva de tipos, antiexcepcionalismo, semánticas lúdico-teóricas

Resumen

Las leyes de la lógica no pueden adoptarse, tal como sostiene el problema de la adopción de Kripke y Padró. Su argumento puede interpretarse como una invitación a revisar la forma en que relacionamos la lógica con la práctica inferencial: la primera no viene antes, sino después de la segunda. En este artículo profundizo en esta conclusión mostrando cómo la imposibilidad de la adopción puede ser asociada muy naturalmente con algunas características de immanent reasoning, un cruce entre la lógica de diálogos y la teoría intuicionista de tipos que incorpora elementos pragmáticos en el corazón de su formalismo. La observación más importante de esta aproximación es que la adopción, aunque todavía imposible, ya no es necesaria; y, por lo tanto, el “problema” deja de ser “problemático”. Esto ilustra algunas de las ventajas de favorecer una aproximación lúdico-teórica a la semántica de la lógica filosófica.

Descargas

Los datos de descargas todavía no están disponibles.

Descargas

Publicado

2022-01-02

Cómo citar

Álvarez Lisboa, M. . (2022). Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos. Tesis (Lima), 14(19), 677–696. https://doi.org/10.15381/tesis.v14i19.21937