La Genealogía Dialógica de la Igualdad Interacción e Igualdad en la Teoría Constructiva de Tipos 1

Resumen: La tesis principal del presente trabajo, es que la distinción introducida en el lenguaje objeto por la Teoría Constructiva de Tipos entre igualdad ontológica y e igualdad predicativa tiene sus raíces en una forma específica de interacción dialógica, gobernada por lo que en la literatura sobre enfoques lúdicos de la teoría del significado llamamos la regla formal, la jugada de espe-jo (copycat moves) o, más recientemente, la regla socrática. La idea principal es que las for-mas explícitas de igualdad intencional expresadas en un juicio resultan, a nivel estratégico, de las elecciones del Proponente copiando las elecciones de su adversario para introducir una de-finición real. Summary: Abstract: The main claim of the present paper is that distinction between the ontological and the predicative forms of equality introduced by Constructive Type Theory at the object-language level, can be seen as rooted in a specific form of dialogical interaction ruled by what in the literature on game-theoretical approaches to meaning has been called formal rule or copycat rule or (more recently) Socratic rule. In fact the leading idea is that explicit forms of intensional identity expressed by means of an assertion are, at the strategic level, the result of choices of the Proponent, who copies the choices of his adversary in order to introduce a real definition.