Die epistemische Logik ist daran
interessiert zu zeigen, wann eine
Aussage jeweils als bewiesen gilt, wann
sie geglaubt, behauptet, gewusst wird.
Sie beschäftigt sich ebenso mit den
Begriffen Lüge und Irrtum und der
Wahrscheinlichkeit. Die Übergänge zur
Logik der Wahrscheinlichkeiten sind
fließend.