Resumen de Armonía dialógica: Tonk, teoría constructiva de tipos y reglas para jugadores anónimos
- español
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.
- English
Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory (CTT) has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT- rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope that the following paper will contribute to a better understanding of the dialogical notion of meaning.
