From belief to knowledge

• Autores: Levan Uridia
• Directores de la Tesis: Sascha Ossowski (dir. tes.), David Pearce (dir. tes.)
• Lectura: En la Universidad Rey Juan Carlos ( España ) en 2012
• Idioma: inglés
• Tribunal Calificador de la Tesis: Luis Fariñas del Cerro (presid.), Juan Manuel Serrano Hidalgo (secret.), Pedro Cabalar (voc.), Alfredo Burrieza Muñiz (voc.), Agustín Valverde Ramos (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica modal
  • Filosofía
    • Filosofía del conocimiento
      • Epistemología
• Enlaces
  • Tesis en acceso abierto en: hdl.handle.net
• Resumen

  • 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