Lógica, lenguajes formales y modalidad

Autores/as

  • Otávio Bueno Universidad de Miami
  • Melisa Vivanco Universidad de Texas

DOI:

https://doi.org/10.29092/uacm.v20i53.1030

Palabras clave:

Lógica, lenguajes formales, poder expresivo, poder inferencial, modalidad

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.

Descargas

Los datos de descargas todavía no están disponibles.

Biografía del autor/a

Otávio Bueno, Universidad de Miami

Departamento de Filosofía de la Universidad de Miami, Florida, Estados Unidos.

Melisa Vivanco, Universidad de Texas

Departamento de Filosofía de la Universidad de Texas, Valle del Rio Grande, Texas, Estados Unidos. 

Descargas

Publicado

2023-10-27