Marco Hernández
La Lógica Epistémica da un tratamiento formal de las
nociones de conocimiento y creencia de las que se ocupa el
filósofo interesado en epistemología; ésta
lógica es un caso particular de lógica modal; son
también lógicas modales la lógica deóntica
y la lógica doxástica. La lógica
epistémica es una contribución de la lógica a la
epistemología mas allá de ser una herramienta para
caracterizar la noción de conocimiento. Proposiciones tales
como "María sabe que Cervantes escribió el Quijote" y
"Helen sabe que Shakespeare escribió Hamlet" simbolizadas en
lógica proposicional como J y M son insuficientes para
transmitirnos toda la riqueza de esas proposiciones. Sin embargo, con
la lógica epistémica podemos simbolizar con mayor
expresividad esas proposiciones y otras que hagan referencia al
conocimiento de dos o más personas (conocimiento distribuido o
conocimiento común). Propongo entonces incentivar en el aula el
uso de la lógica, la lógica epistémica en
particular, planteado situaciones en las cuales el conocimiento
común es prerrequisito para solucionar problemas de
coordinación.