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

International audience; 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.; En la bibliografía reciente se estudia el caso de tonk y el concepto de armonía en el contexto de una teoría del significado basado en reglas. 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). 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. Esperamos que el presente trabajo contribuya a una mejor comprensión del concepto dialógico de significado.