Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos
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 est...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universidad Nacional Mayor de San Marcos, Facultad de Letras y Ciencias Humanas
2021-12-01
|
| Series: | Tesis (Lima) |
| Subjects: | |
| Online Access: | https://revistasinvestigacion.unmsm.edu.pe/index.php/tesis/article/view/21937 |
| _version_ | 1828763145033744384 |
|---|---|
| author | Miguel Álvarez Lisboa |
| author_facet | Miguel Álvarez Lisboa |
| author_sort | Miguel Álvarez Lisboa |
| collection | DOAJ |
| 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. |
| first_indexed | 2024-12-11T01:55:07Z |
| format | Article |
| id | doaj.art-e53a88b7702d4bce83052053146d7abf |
| institution | Directory Open Access Journal |
| issn | 1995-6967 2707-6334 |
| language | Spanish |
| last_indexed | 2024-12-11T01:55:07Z |
| publishDate | 2021-12-01 |
| publisher | Universidad Nacional Mayor de San Marcos, Facultad de Letras y Ciencias Humanas |
| record_format | Article |
| series | Tesis (Lima) |
| spelling | doaj.art-e53a88b7702d4bce83052053146d7abf2022-12-22T01:24:38ZspaUniversidad Nacional Mayor de San Marcos, Facultad de Letras y Ciencias HumanasTesis (Lima)1995-69672707-63342021-12-01141967769610.15381/tesis.v14i19.2193734198Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tiposMiguel Álvarez Lisboa0https://orcid.org/0000-0003-0291-4650IIF-SADAF-CONICET, ArgentinaLas 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.https://revistasinvestigacion.unmsm.edu.pe/index.php/tesis/article/view/21937problema de la adopcióndialógicateoría constructiva de tiposantiexcepcionalismosemánticas lúdico-teóricas |
| spellingShingle | Miguel Álvarez Lisboa Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos Tesis (Lima) problema de la adopción dialógica teoría constructiva de tipos antiexcepcionalismo semánticas lúdico-teóricas |
| title | 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_short | Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos |
| title_sort | imposible pero no problematico comprendiendo la adopcion con teoria dialogica de tipos |
| topic | problema de la adopción dialógica teoría constructiva de tipos antiexcepcionalismo semánticas lúdico-teóricas |
| url | https://revistasinvestigacion.unmsm.edu.pe/index.php/tesis/article/view/21937 |
| work_keys_str_mv | AT miguelalvarezlisboa imposibleperonoproblematicocomprendiendolaadopcionconteoriadialogicadetipos |