Crítica, Revista Hispanoamericana de Filosofía, Volume 49, number 145, abril 2017
Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos
[Interaction and Equality Dialogical Interpretation of Constructive Type Theory]
Shahid Rahman
Département de Philosophie
CNRs, UMR 8163: STL
Université de Lille

shahid.rahman@univ-lille3.fr
Nicolas Clerbout
CDHACS/Instituto de Filosofía
Universidad de Valparaíso

nicolas.clerbout@uv.cl
Juan Redmond
Instituto de Filosofía
Universidad de Valparaíso

nicolas.clerbout@uv.cl

Abstract: Mediante un estudio dialógico de la noción de igualdad definicional de la teoría constructiva de tipos (TCT), se mostrará que tal igualdad, que en la TCT provee el criterio de identidad asociado a un tipo, puede comprenderse, desde el punto de vista lúdico, como resultado de una forma específica de interacción dialógica regida por la regla formal, más conocida recientemente como la regla socrática, que prescribe el uso de jugadas de espejo (copy-cat moves). Esto se ilustrará con el desarrollo dialógico de las partes esenciales de la demostración del axioma de elección de Per Martin-Löf, quien basó su prueba en la igualdad definicional entre la función que prueba el antecedente y la función que ocurre en el consecuente.
Keywords: identidad, teoría de juegos, regla socrática, jugada de espejo, interlocutor implícito

Abstract in English | PDF en Spanish (257 Kb)