From belief to knowledge

Resumo

La combinación de la creencia y el conocimiento en un solo formalismo ha sido una problemática epistemológica. Un formalismo que cumple esta condición le llamaremos doxepi-formalismo. Existen varios doxepi-fromalismos basados en lógica modal, donde la combinación razonable de operadores de creencia y conocimiento ocurre. Aunque en todos los existentes, vemos la tendencia a priorizar la lógica modal doxástica bien establecida y construir la lógica epistémica de acuerdo con algunos principios que la lógica doxáxtica sugiere, es decir, el algoritmo es: tomar una lógica doxástica LD conocida y construir la lógica L que tiene un cierto sabor epistémico y mantiene una buena interrelación con LD. En este trabajo tomamos la dirección inversa y damos prioridad a las lógicas modales epistémicas conocidas. Así que nuestra fórmula que también motiva el título es: tomar una lógica epistémica LE y encontrar una buena lógica doxástica L que se combine con la LE de una manera suficiente. En la tesis cumplimos esta tarea para las lógicas S5 y S4 y estudiamos varios conceptos y doxepi-formalismos sobre la base de cuentas lógicas