Presentando a la lógica de justificación

Ponente: Mauricio Andrade (IIMAS-UNAM)

Fecha: 9 de marzo, 12 hrs

Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM.

Resumen:  El lenguaje de la lógica modal formaliza el conocimiento como una modalidad, es decir, un agente epistémico "sabe p" (o sabe que p), se representa como Kp, es decir, p es consistente con todos los mundos accesibles desde el punto de vista del agente. Esta es la convención de formalización que hace posible expresar afirmaciones complejas de conocimiento, por ejemplo, que un agente «sabe que sabe p», que se representaría como KKp. Esta idea, sin embargo, captura de manera implícita el conocimiento solo como una creencia verdadera, faltando la justificación, siendo éste uno de los procesos más problemáticos de afirmaciones de conocimiento. La lógica de justificación es un lenguaje basado en lógica modal que permite razonar sobre la justificación del conocimiento. La justificación de una afirmación epistémica, sin atender a su validez, expresa que dicha afirmación tiene una justificación. En ella se da un carácter explícito a los términos de justificación que permiten razonar sobre justificaciones de creencias. Decimos que una afirmación epistémica P constituye conocimiento, si tiene una justificación t que funciona como una razón para creer P. En símbolos “t : P” se lee "t es una justificación de P".

Presentación.