Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos
- Autores
- Alvarez Lisboa, Miguel Agustin
- Año de publicación
- 2021
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- Las leyes de la lógica no pueden adoptarse, tal como sostiene el problema de la adopción de Kripke y Padró. Su argumento puede interpretarse como una invitación a revisar la forma en que relacionamos la lógica con la práctica inferencial: la primera no viene antes, sino después de la segunda. En este artículo profundizo en esta conclusión mostrando cómo la imposibilidad de la adopción puede ser asociada muy naturalmente con algunas características de immanent reasoning, un cruce entre la lógica de diálogos y la teoría intuicionista de tipos que incorpora elementos pragmáticos en el corazón de su formalismo. La observación más importante de esta aproximación es que la adopción, aunque todavía imposible, ya no es necesaria; y, por lo tanto, el “problema” deja de ser “problemático”. Esto ilustra algunas de las ventajas de favorecer una aproximación lúdico-teórica a la semántica de la lógica filosófica.
Logical laws cannot be adopted —so goes Kripke and Padró’s Adoption Problem. Their argument can be seen as an invitation to revisit the way in which we relate Logic and inferential practice. For them, the former does not come before, but after the latter. In this paper I delve into this conclusion by showing how the impossibility of adoption can be naturally associated with some features of Immanent Reasoning, which is a mix between Dialogic and Constructive Type Theory that incorporates the pragmatics of inference at its core. The major insight to be drawn from this approximation is that adoption, although not possible, is no longer needed. Subsequently, the ‘problem’ loses its ‘problematic’ character. This conclusion illustrates some of the advantages of favoring the game-theoretic approach to semantics in philosophical logic.
Fil: Alvarez Lisboa, Miguel Agustin. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina - Materia
-
PROBLEMA DE LA ADOPCIÓN
DIALÓGICA
TEORÍA CONSTRUCTIVA DE TIPOS
ANTIEXCEPCIONALISMO
SEMÁNTICAS LÚDICO-TEÓRICAS - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by/2.5/ar/
- Repositorio
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/212525
Ver los metadatos del registro completo
id |
CONICETDig_6a8996ab842de0bbfbcd154fb4a59523 |
---|---|
oai_identifier_str |
oai:ri.conicet.gov.ar:11336/212525 |
network_acronym_str |
CONICETDig |
repository_id_str |
3498 |
network_name_str |
CONICET Digital (CONICET) |
spelling |
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tiposImpossible, yet not problematic: Making sense of adoption with dialogic type theoryAlvarez Lisboa, Miguel AgustinPROBLEMA DE LA ADOPCIÓNDIALÓGICATEORÍA CONSTRUCTIVA DE TIPOSANTIEXCEPCIONALISMOSEMÁNTICAS LÚDICO-TEÓRICAShttps://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6Las leyes de la lógica no pueden adoptarse, tal como sostiene el problema de la adopción de Kripke y Padró. Su argumento puede interpretarse como una invitación a revisar la forma en que relacionamos la lógica con la práctica inferencial: la primera no viene antes, sino después de la segunda. En este artículo profundizo en esta conclusión mostrando cómo la imposibilidad de la adopción puede ser asociada muy naturalmente con algunas características de immanent reasoning, un cruce entre la lógica de diálogos y la teoría intuicionista de tipos que incorpora elementos pragmáticos en el corazón de su formalismo. La observación más importante de esta aproximación es que la adopción, aunque todavía imposible, ya no es necesaria; y, por lo tanto, el “problema” deja de ser “problemático”. Esto ilustra algunas de las ventajas de favorecer una aproximación lúdico-teórica a la semántica de la lógica filosófica.Logical laws cannot be adopted —so goes Kripke and Padró’s Adoption Problem. Their argument can be seen as an invitation to revisit the way in which we relate Logic and inferential practice. For them, the former does not come before, but after the latter. In this paper I delve into this conclusion by showing how the impossibility of adoption can be naturally associated with some features of Immanent Reasoning, which is a mix between Dialogic and Constructive Type Theory that incorporates the pragmatics of inference at its core. The major insight to be drawn from this approximation is that adoption, although not possible, is no longer needed. Subsequently, the ‘problem’ loses its ‘problematic’ character. This conclusion illustrates some of the advantages of favoring the game-theoretic approach to semantics in philosophical logic.Fil: Alvarez Lisboa, Miguel Agustin. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaUniversidad Nacional Mayor de San Marcos2021-12info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/212525Alvarez Lisboa, Miguel Agustin; Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos; Universidad Nacional Mayor de San Marcos; Tesis; 14; 19; 12-2021; 677-6962707-6334CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://revistasinvestigacion.unmsm.edu.pe/index.php/tesis/article/view/21937info:eu-repo/semantics/altIdentifier/doi/10.15381/tesis.v14i19.21937info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T10:08:41Zoai:ri.conicet.gov.ar:11336/212525instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 10:08:41.373CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
dc.title.none.fl_str_mv |
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos Impossible, yet not problematic: Making sense of adoption with dialogic type theory |
title |
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos |
spellingShingle |
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos Alvarez Lisboa, Miguel Agustin PROBLEMA DE LA ADOPCIÓN DIALÓGICA TEORÍA CONSTRUCTIVA DE TIPOS ANTIEXCEPCIONALISMO SEMÁNTICAS LÚDICO-TEÓRICAS |
title_short |
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos |
title_full |
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos |
title_fullStr |
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos |
title_full_unstemmed |
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos |
title_sort |
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos |
dc.creator.none.fl_str_mv |
Alvarez Lisboa, Miguel Agustin |
author |
Alvarez Lisboa, Miguel Agustin |
author_facet |
Alvarez Lisboa, Miguel Agustin |
author_role |
author |
dc.subject.none.fl_str_mv |
PROBLEMA DE LA ADOPCIÓN DIALÓGICA TEORÍA CONSTRUCTIVA DE TIPOS ANTIEXCEPCIONALISMO SEMÁNTICAS LÚDICO-TEÓRICAS |
topic |
PROBLEMA DE LA ADOPCIÓN DIALÓGICA TEORÍA CONSTRUCTIVA DE TIPOS ANTIEXCEPCIONALISMO SEMÁNTICAS LÚDICO-TEÓRICAS |
purl_subject.fl_str_mv |
https://purl.org/becyt/ford/6.3 https://purl.org/becyt/ford/6 |
dc.description.none.fl_txt_mv |
Las leyes de la lógica no pueden adoptarse, tal como sostiene el problema de la adopción de Kripke y Padró. Su argumento puede interpretarse como una invitación a revisar la forma en que relacionamos la lógica con la práctica inferencial: la primera no viene antes, sino después de la segunda. En este artículo profundizo en esta conclusión mostrando cómo la imposibilidad de la adopción puede ser asociada muy naturalmente con algunas características de immanent reasoning, un cruce entre la lógica de diálogos y la teoría intuicionista de tipos que incorpora elementos pragmáticos en el corazón de su formalismo. La observación más importante de esta aproximación es que la adopción, aunque todavía imposible, ya no es necesaria; y, por lo tanto, el “problema” deja de ser “problemático”. Esto ilustra algunas de las ventajas de favorecer una aproximación lúdico-teórica a la semántica de la lógica filosófica. Logical laws cannot be adopted —so goes Kripke and Padró’s Adoption Problem. Their argument can be seen as an invitation to revisit the way in which we relate Logic and inferential practice. For them, the former does not come before, but after the latter. In this paper I delve into this conclusion by showing how the impossibility of adoption can be naturally associated with some features of Immanent Reasoning, which is a mix between Dialogic and Constructive Type Theory that incorporates the pragmatics of inference at its core. The major insight to be drawn from this approximation is that adoption, although not possible, is no longer needed. Subsequently, the ‘problem’ loses its ‘problematic’ character. This conclusion illustrates some of the advantages of favoring the game-theoretic approach to semantics in philosophical logic. Fil: Alvarez Lisboa, Miguel Agustin. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina |
description |
Las leyes de la lógica no pueden adoptarse, tal como sostiene el problema de la adopción de Kripke y Padró. Su argumento puede interpretarse como una invitación a revisar la forma en que relacionamos la lógica con la práctica inferencial: la primera no viene antes, sino después de la segunda. En este artículo profundizo en esta conclusión mostrando cómo la imposibilidad de la adopción puede ser asociada muy naturalmente con algunas características de immanent reasoning, un cruce entre la lógica de diálogos y la teoría intuicionista de tipos que incorpora elementos pragmáticos en el corazón de su formalismo. La observación más importante de esta aproximación es que la adopción, aunque todavía imposible, ya no es necesaria; y, por lo tanto, el “problema” deja de ser “problemático”. Esto ilustra algunas de las ventajas de favorecer una aproximación lúdico-teórica a la semántica de la lógica filosófica. |
publishDate |
2021 |
dc.date.none.fl_str_mv |
2021-12 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11336/212525 Alvarez Lisboa, Miguel Agustin; Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos; Universidad Nacional Mayor de San Marcos; Tesis; 14; 19; 12-2021; 677-696 2707-6334 CONICET Digital CONICET |
url |
http://hdl.handle.net/11336/212525 |
identifier_str_mv |
Alvarez Lisboa, Miguel Agustin; Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos; Universidad Nacional Mayor de San Marcos; Tesis; 14; 19; 12-2021; 677-696 2707-6334 CONICET Digital CONICET |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/https://revistasinvestigacion.unmsm.edu.pe/index.php/tesis/article/view/21937 info:eu-repo/semantics/altIdentifier/doi/10.15381/tesis.v14i19.21937 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by/2.5/ar/ |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by/2.5/ar/ |
dc.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Universidad Nacional Mayor de San Marcos |
publisher.none.fl_str_mv |
Universidad Nacional Mayor de San Marcos |
dc.source.none.fl_str_mv |
reponame:CONICET Digital (CONICET) instname:Consejo Nacional de Investigaciones Científicas y Técnicas |
reponame_str |
CONICET Digital (CONICET) |
collection |
CONICET Digital (CONICET) |
instname_str |
Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.name.fl_str_mv |
CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.mail.fl_str_mv |
dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar |
_version_ |
1844613956783570944 |
score |
13.070432 |