Servicios Personalizados
Revista
Articulo
Indicadores
Citado por SciELO
Accesos
Links relacionados
Similares en SciELO
Compartir
Andamios
versión On-line ISSN 2594-1917versión impresa ISSN 1870-0063
Resumen
BUENO, Otávio y VIVANCO, Melisa. Logic, formal languages and modality. Andamios [online]. 2023, vol.20, n.53, pp.45-60. Epub 05-Abr-2024. ISSN 2594-1917. https://doi.org/10.29092/uacm.v20i53.1030.
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.
Palabras llave : Logic; formal languages; expressive power; inferential power; modality.