Elija su propia lógica

• Autores: Carlos Areces
• Localización: Azafea: revista de filosofía, ISSN 0213-3563, Nº. 8, 2006 (Ejemplar dedicado a: Cuestiones de lógica actual), págs. 71-83
• Idioma: español
• Títulos paralelos:
  • Choose your own logic
• Enlaces
  • Texto completo
• Resumen
  • español

    En este artículo se sintetiza una visión moderna de las lógicas modales y temporales. En vez de dar una motivación histórica, el paper presenta estas lógicas en relación con ciertos fragmentos de la lógica de primer orden que poseen propiedades interesantes. Esta visión de la lógica es seductora porque nos permite diseñar lenguajes a medida, es decir, optimizados para una tarea específica.

  • English

    This paper presents a modern vision of the field of modal and temporal logics. Instead of being historically motivated, the paper presents these logics in conexion with some fragments of first order logic with interesting properties. This approach is seductive because it allows us to view modal logics as languages designed to size», i.e., to fit a given task.