Lógica, lenguajes formales y modalidad

• Bueno, Otávio ^[1] ; Vivanco, Melisa ^[2]
  1. [1] University of Miami

     University of Miami

     Estados Unidos

     
  2. [2] Universidad de Texas
• Localización: Andamios: revista de investigación social, ISSN 2594-1917, ISSN-e 1870-0063, Vol. 20, Nº. 53, 2023 (Ejemplar dedicado a: Lógicas No-Clásicas. Fundamentación, aplicaciones y permanencia), págs. 45-60
• Idioma: español
• DOI: 10.29092/uacm.v20i53.1030
• Enlaces
  • Texto completo
• Resumen

  • 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.