Journal Article

Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos: (Dialogical Harmony: tonk, constructive type theory and rules for anonymous players)

Redmond, Juan, Rahman, Shahid

2016

Overview

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. La bibliografía reciente sobre lógica dialógica, estudia el caso de tonk y la noción de armonía en el contexto de una teoría del significado basado en reglas. Ahora bien, desde la publicación de tales 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 un punto de vista dialógico, la armonía de las reglas de la CTT es consecuencia de un nivel más fundamental de significado caracterizado por la independencia de los jugadores. Esperamos que el presente trabajo contribuya a una mejor comprensión de la noción dialógica de significado.

• Publisher: University of the Basque Country and the Center for Analysis, Logic, and Legal Informatics (CALIJ)
• Subject: Analytic Philosophy / Dadaism / Dialogism / Embargoes / Game theory / Inference / Intuitionistic type theory / Literary dialogue / Logic / Philosophy of Science / Tablas / Transponders