| Revista: | Andamios |
| Base de datos: | |
| Número de sistema: | 000592344 |
| ISSN: | 1870-0063 |
| Autores: | Bueno, Otávio1 Vivanco, Melisa2 |
| Instituciones: | 1University of Miami, Departamento de Filosofía, Miami, Florida. Estados Unidos de América 2University of Texas, Departamento de Filosofía, Rio Grande Valley, Texas. Estados Unidos de América |
| Año: | 2023 |
| Periodo: | Sep-Dic |
| Volumen: | 20 |
| Número: | 53 |
| Paginación: | 45-60 |
| País: | México |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Resumen en español | Este artículo examina dos supuestas limitaciones en el uso de lenguajes formales: por un lado, las compensaciones entre el poder expresivo e inferencial y, por el otro, el fenómeno del encarcelamiento del sistema. Después de reconceptualizar el tema, consideramos el papel que desempeña la modalidad en la comprensión de ciertos aspectos de las estructuras matemáticas y defendemos su centralidad. |
| Resumen en inglés | This paper examines two alleged limitations in the use of formal languages: on the one hand, the trade-offs between expressive and inferential power, and on the other, the phenomenon of system imprisonment. After reconceptualizing the issue, we consider the role played by modality in the understanding of certain aspects of mathematical structures, and argue for its centrality. |
| Disciplinas: | Filosofía |
| Palabras clave: | Lógica, Lenguajes formales, Poder expresivo, Poder inferencial, Modalidad |
| Keyword: | Logic, Formal languages, Expressive power, Inferential power, Modality |
| Texto completo: | Texto completo (Ver PDF) Texto completo (Ver HTML) |
