Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos
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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Nacional Autónoma de México (UNAM)
2018-10-01
|
| Series: | Crítica |
| Subjects: | |
| Online Access: | https://critica.filosoficas.unam.mx/index.php/critica/article/view/199 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849344376053956608 |
|---|---|
| author | Shahid Rahman Nicolas Clerbout Juan Redmond |
| author_facet | Shahid Rahman Nicolas Clerbout Juan Redmond |
| author_sort | Shahid Rahman |
| collection | DOAJ |
| description |
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.
|
| format | Article |
| id | doaj-art-e84c6d798cc1413484a3f1a938d108d7 |
| institution | Kabale University |
| issn | 0011-1503 1870-4905 |
| language | English |
| publishDate | 2018-10-01 |
| publisher | Universidad Nacional Autónoma de México (UNAM) |
| record_format | Article |
| series | Crítica |
| spelling | doaj-art-e84c6d798cc1413484a3f1a938d108d72025-08-20T03:42:40ZengUniversidad Nacional Autónoma de México (UNAM)Crítica0011-15031870-49052018-10-014914510.22201/iifs.18704905e.2017.199Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tiposShahid Rahman0Nicolas Clerbout1Juan Redmond2Université de Lille, Département de PhilosophieUniversidad de ValparaísoUniversidad de Valparaíso, Instituto de Filosofía 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. https://critica.filosoficas.unam.mx/index.php/critica/article/view/199identidadteoría de juegosregla socráticajugada de espejointerlocutor implícito |
| 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 identidad teoría de juegos regla socrática jugada de espejo interlocutor implícito |
| 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 | identidad teoría de juegos regla socrática jugada de espejo interlocutor implícito |
| url | https://critica.filosoficas.unam.mx/index.php/critica/article/view/199 |
| work_keys_str_mv | AT shahidrahman interaccioneigualdadlainterpretaciondialogicadelateoriaconstructivadetipos AT nicolasclerbout interaccioneigualdadlainterpretaciondialogicadelateoriaconstructivadetipos AT juanredmond interaccioneigualdadlainterpretaciondialogicadelateoriaconstructivadetipos |