Services on Demand
Journal
Article
Indicators
- Cited by SciELO
- Access statistics
Related links
- Similars in SciELO
Share
Andamios
On-line version ISSN 2594-1917Print version ISSN 1870-0063
Abstract
BUENO, Otávio and VIVANCO, Melisa. Lógica, lenguajes formales y modalidad. Andamios [online]. 2023, vol.20, n.53, pp.45-60. Epub Apr 05, 2024. ISSN 2594-1917. https://doi.org/10.29092/uacm.v20i53.1030.
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.
Keywords : Lógica; lenguajes formales; poder expresivo; poder inferencial; modalidad.