Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos

Abstract

En la bibliografía reciente sobre lógica dialógica se estudia el caso de tonk y el concepto antirrealista de armonía. Ahora bien, desde la publicación de esos textos la teoría dialógica ha sido vinculada con la Teoría Constructiva de Tipos (CTT) la cual posee sus propios medios para responder a tonk. El objetivo principal del presente artículo es mostrar que, desde la perspectiva dialógica, la armonía de las reglas de la CTT es consecuencia de un nivel más fundamental de significado en el que las reglas se formulan independientemente del jugador que las aplica.