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
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/212525

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