SciELO - Scientific Electronic Library Online

 
vol.31 issue1Teorías de la verdad sin modelos estándar: Un nuevo argumento para adoptar jerarquíasLa preservación de la tesis de la localidad para los casos de doble prevención en la crítica de Ned Hall al análisis contrafactual author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand

Article

Indicators

  • Have no cited articlesCited by SciELO

Related links

  • On index processCited by Google
  • Have no similar articlesSimilars in SciELO
  • On index processSimilars in Google

Bookmark


Análisis filosófico

On-line version ISSN 1851-9636

Abstract

HERRERA GONZALEZ, José Rafael  and  VAZQUEZ CAMPOS, Margarita. Hacia una lógica temporal-epistémica basada en lenguajes híbridos. Anal. filos. [online]. 2011, vol.31, n.1, pp. 33-46. ISSN 1851-9636.

Nuestro principal objetivo en este trabajo es el de analizar si es posible construir sistemas lógicos temporales-epistémicos lo suficientemente satisfactorios. Sin embargo, las principales dificultades para lograr este propósito provienen del hecho de tener que combinar una perspectiva temporal absoluta con una perspectiva epistémica relativa a cada agente; es decir, por un lado, los instantes de tiempo vienen determinados desde el punto de vista de un observador situado fuera del mundo, y, por otro lado, las alternativas epistémicas de cada agente (en cada instante) son relativas a dicho agente. Pensamos que algunas de estas dificultades podrían ser superadas con la ayuda de las lógicas híbridas, puesto que este tipo de lógicas simplifica la combinación de sistemas temporales y epistémicos, y así podemos evitar tener que construir modelos excesivamente complicados.

Keywords : Lógica epistémica; Lógica temporal; Lógica híbrida; Combinación de lógicas.

        · abstract in English     · text in Spanish     · pdf in Spanish