dor_id: 4115252

506.#.#.a: Público

590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única

510.0.#.a: Arts and Humanities Citation Index, Revistes Cientifiques de Ciencies Socials Humanitais (CARHUS Plus); Latinoamericanas en Ciencias Sociales y Humanidades (CLASE); Directory of Open Access Journals (DOAJ); European Reference Index for the Humanities (ERIH PLUS); Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex); SCOPUS, Journal Storage (JSTOR); The Philosopher’s Index, Ulrich’s Periodical Directory

561.#.#.u: https://www.filosoficas.unam.mx/

650.#.4.x: Artes y Humanidades

336.#.#.b: article

336.#.#.3: Artículo de Investigación

336.#.#.a: Artículo

351.#.#.6: https://critica.filosoficas.unam.mx/index.php/critica

351.#.#.b: Crítica. Revista Hispanoamericana de Filosofía

351.#.#.a: Artículos

harvesting_group: RevistasUNAM

270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

590.#.#.c: Open Journal Systems (OJS)

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://revistas.unam.mx/catalogo/

883.#.#.a: Revistas UNAM

590.#.#.a: Coordinación de Difusión Cultural

883.#.#.1: https://www.publicaciones.unam.mx/

883.#.#.q: Dirección General de Publicaciones y Fomento Editorial

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: https://critica.filosoficas.unam.mx/index.php/critica/article/view/199/195

100.1.#.a: Rahman, Shahid; Clerbout, Nicolas; Redmond, Juan

524.#.#.a: Rahman, Shahid, et al. (2017). Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos. Crítica. Revista Hispanoamericana de Filosofía; Vol. 49 Núm. 145, 2017; 51-91. Recuperado de https://repositorio.unam.mx/contenidos/4115252

245.1.0.a: Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM

264.#.0.c: 2017

264.#.1.c: 2018-10-31

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico alberto@filosoficas.unam.mx

884.#.#.k: https://critica.filosoficas.unam.mx/index.php/critica/article/view/199

001.#.#.#: 034.oai:ojs2.132.248.184.97:article/199

041.#.7.h: spa

520.3.#.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.

773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol. 49 Núm. 145 (2017); 51-91

773.1.#.o: https://critica.filosoficas.unam.mx/index.php/critica

022.#.#.a: ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

310.#.#.a: Cuatrimestral

300.#.#.a: Páginas: 51-91

264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM

doi: https://doi.org/10.22201/iifs.18704905e.2017.199

handle: 00ec69a5c13fad77

harvesting_date: 2023-08-23 17:00:00.0

856.#.0.q: application/pdf

file_creation_date: 2017-06-27 21:06:56.0

file_modification_date: 2017-06-30 17:16:29.0

file_name: 4b446bd8331fe8dcff03d71e06a45621b44db8001ec24e90eca71d8e18680a65.pdf

file_pages_number: 41

file_format_version: application/pdf; version=1.6

file_size: 263549

245.1.0.b: Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos

last_modified: 2023-08-23 17:00:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2