Das Forschungsvorhaben besteht aus vier Teilprojekten und ist methodisch der formalen Erkenntnistheorie zuzuordnen. Inhaltlich möchte es sowohl Themen der traditionellen Erkenntnistheorie des Wissens als auch der modernen Erkenntnistheorie des Glaubens behandeln.
Eines der zentralen Themengebiete der traditionellen Erkenntnistheorie des Wissens ist die dreiteilige Definition von Wissen als wahrem und gerechtfertigtem Glauben. Das Projekt Justification widmet sich dem Rechtfertigungsteil in dieser Definition. Hier soll über die Kohärenztheorien der Rechtfertigung hinausgegangen und Einsichten der formalen Lerntheorie berücksichtigt werden. Demgegenüber nimmt das Projekt Knowledge den Wissensbegriff als erkenntnistheoretisch basal an und analysiert mit diesem den Begriff der Rechtfertigung.
Historisch haben die Projekte Belief und Degrees of Belief ihre Wurzeln in den Werken von Hintikka bzw. Ramsey. Heute werden sowohl die epistemische Logik als auch die Theorie der Glaubensgrade in erster Linie in der Künstlichen Intelligenz vorangetrieben. Von philosophischem Interesse ist die These von Locke, die eine einfache Beziehung zwischen kategorischem ja-oder-nein Glauben einerseits und Glaubensgraden andererseits beschreibt: Kategorischer Glaube besteht in hinreichend hohem Glaubensgrad. Weiters stellt sich die Frage nach der Rechtfertigung der verschiedenen Glaubensgradtheorien: Warum sollen die Glaubensgrade einer rationalen Person gerade diesen - und nicht irgendwelchen anderen - Gesetzen gehorchen ? Doch weder gibt es eine Theorie der Glaubensgrade, die einen vernünftigen Begriff des kategorischen Glaubens definiert und die Lockesche These erfüllt; noch gibt es eine, die sich einer sakrosanten Rechtfertigung rühmen kann.
