Mostrar el registro sencillo del ítem
dc.contributor.author
Alvarez Lisboa, Miguel Agustin
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.date.available
2023-09-21T14:48:36Z
dc.date.issued
2021-12
dc.identifier.citation
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
dc.identifier.issn
2707-6334
dc.identifier.uri
http://hdl.handle.net/11336/212525
dc.description.abstract
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.
dc.description.abstract
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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Universidad Nacional Mayor de San Marcos
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by/2.5/ar/
dc.subject
PROBLEMA DE LA ADOPCIÓN
dc.subject
DIALÓGICA
dc.subject
TEORÍA CONSTRUCTIVA DE TIPOS
dc.subject
ANTIEXCEPCIONALISMO
dc.subject
SEMÁNTICAS LÚDICO-TEÓRICAS
dc.subject.classification
Filosofía, Historia y Filosofía de la Ciencia y la Tecnología
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Filosofía, Ética y Religión
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
HUMANIDADES
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos
dc.title
Impossible, yet not problematic: Making sense of adoption with dialogic type theory
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2023-09-21T11:14:08Z
dc.journal.volume
14
dc.journal.number
19
dc.journal.pagination
677-696
dc.journal.pais
Perú
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Lima
dc.description.fil
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
dc.journal.title
Tesis
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://revistasinvestigacion.unmsm.edu.pe/index.php/tesis/article/view/21937
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.15381/tesis.v14i19.21937
Archivos asociados