Lógica, lenguajes formales y modalidad

Authors

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

DOI:

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

Keywords:

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

Abstract

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.

Downloads

Download data is not yet available.

Author Biographies

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. 

Published

2023-10-27