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. Lógica, lenguajes formales y modalidad. 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.
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.
Palabras llave : Lógica; lenguajes formales; poder expresivo; poder inferencial; modalidad.