From belief to knowledge

Abstract

La combinación de la creencia y el conocimiento en un formalismo ha sido una problemática en epistemología. Un formalismo que cumple tal combinación una llamamos doxepi-formalismo. Existen varios doxepi-formalismos basados en lógica modal, donde la combinación razonable de operadores de creencia y conocimiento ocurren. Aunque en todos los existentes, vemos la tendencia a priorizar la lógica modal doxástica bien establecida y construir lógica epistémica de acuerdo con algunos principios que la lógica doxástica 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 conocida epistémica LE y encontrar una buena lógica doxástica L que se combina con 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 estas lógicas.