Unter formaler Erkenntnistheorie versteht man die Anwendung der formalen Logik, formalen und angewandten Stochastik, und theoretischer Informatik auf klassische Probleme der Erkenntnistheorie.