Resumo

BUENO, Otávio  e  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.

Palavras-chave : Logic; formal languages; expressive power; inferential power; modality.