INTERACCIÓN E IGUALDAD. LA INTERPRETACIÓN DIALÓGICA DE LA TEORÍA CONSTRUCTIVA DE TIPOS
The main aim of the present paper is to show, by means of a dialogical study, that the notion of judgemental equality of Constructive Type Theory (CTT), which in this theory furnishes the criterion of identity of a type, can be understood from the game-theoretical point of view as the result of a sp...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Nacional Autónoma de México (UNAM)
2017-04-01
|
| Series: | Crítica |
| Subjects: | |
| Online Access: | http://critica.filosoficas.unam.mx/pg/en/descarga.php?id_volumen=179&id_articulo=1119 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850253464737677312 |
|---|---|
| author | SHAHID RAHMAN NICOLAS CLERBOUT JUAN REDMOND |
| author_facet | SHAHID RAHMAN NICOLAS CLERBOUT JUAN REDMOND |
| author_sort | SHAHID RAHMAN |
| collection | DOAJ |
| description | The main aim of the present paper is to show, by means of a dialogical study, that the notion of judgemental equality of Constructive Type Theory (CTT), which in this theory furnishes the criterion of identity of a type, can be understood from the game-theoretical point of view as the result of a specific form of dialogical interaction governed by the development rule known as formal rule or (more re- cently) Socratic rule, which prescribes the use of copy-cat moves. It will be shown, as an example, how to develop the core of a winning strategy for Per Martin-Löf’s demonstration of the Axiom of Choice, who based his proof in the judgemental equality between the function in the antecedent and the function occurring in the consequent of the axiom. |
| format | Article |
| id | doaj-art-605a49b68aca456cb325073c38ff65f4 |
| institution | OA Journals |
| issn | 0011-1503 1870-4905 |
| language | English |
| publishDate | 2017-04-01 |
| publisher | Universidad Nacional Autónoma de México (UNAM) |
| record_format | Article |
| series | Crítica |
| spelling | doaj-art-605a49b68aca456cb325073c38ff65f42025-08-20T01:57:24ZengUniversidad Nacional Autónoma de México (UNAM)Crítica0011-15031870-49052017-04-01491454989INTERACCIÓN E IGUALDAD. LA INTERPRETACIÓN DIALÓGICA DE LA TEORÍA CONSTRUCTIVA DE TIPOSSHAHID RAHMAN0NICOLAS CLERBOUT1JUAN REDMOND2Université de LilleUniversidad de ValparaísoUniversidad de ValparaísoThe main aim of the present paper is to show, by means of a dialogical study, that the notion of judgemental equality of Constructive Type Theory (CTT), which in this theory furnishes the criterion of identity of a type, can be understood from the game-theoretical point of view as the result of a specific form of dialogical interaction governed by the development rule known as formal rule or (more re- cently) Socratic rule, which prescribes the use of copy-cat moves. It will be shown, as an example, how to develop the core of a winning strategy for Per Martin-Löf’s demonstration of the Axiom of Choice, who based his proof in the judgemental equality between the function in the antecedent and the function occurring in the consequent of the axiom.http://critica.filosoficas.unam.mx/pg/en/descarga.php?id_volumen=179&id_articulo=1119identitygame theorySocratic rulecopy-cat movesimplicit inter- locutorimplicit interlocutor |
| spellingShingle | SHAHID RAHMAN NICOLAS CLERBOUT JUAN REDMOND INTERACCIÓN E IGUALDAD. LA INTERPRETACIÓN DIALÓGICA DE LA TEORÍA CONSTRUCTIVA DE TIPOS Crítica identity game theory Socratic rule copy-cat moves implicit inter- locutor implicit interlocutor |
| title | INTERACCIÓN E IGUALDAD. LA INTERPRETACIÓN DIALÓGICA DE LA TEORÍA CONSTRUCTIVA DE TIPOS |
| title_full | INTERACCIÓN E IGUALDAD. LA INTERPRETACIÓN DIALÓGICA DE LA TEORÍA CONSTRUCTIVA DE TIPOS |
| title_fullStr | INTERACCIÓN E IGUALDAD. LA INTERPRETACIÓN DIALÓGICA DE LA TEORÍA CONSTRUCTIVA DE TIPOS |
| title_full_unstemmed | INTERACCIÓN E IGUALDAD. LA INTERPRETACIÓN DIALÓGICA DE LA TEORÍA CONSTRUCTIVA DE TIPOS |
| title_short | INTERACCIÓN E IGUALDAD. LA INTERPRETACIÓN DIALÓGICA DE LA TEORÍA CONSTRUCTIVA DE TIPOS |
| title_sort | interaccion e igualdad la interpretacion dialogica de la teoria constructiva de tipos |
| topic | identity game theory Socratic rule copy-cat moves implicit inter- locutor implicit interlocutor |
| url | http://critica.filosoficas.unam.mx/pg/en/descarga.php?id_volumen=179&id_articulo=1119 |
| work_keys_str_mv | AT shahidrahman interaccioneigualdadlainterpretaciondialogicadelateoriaconstructivadetipos AT nicolasclerbout interaccioneigualdadlainterpretaciondialogicadelateoriaconstructivadetipos AT juanredmond interaccioneigualdadlainterpretaciondialogicadelateoriaconstructivadetipos |