Die Logik der Forschung ist Poppers Hauptwerk. Sie entstand in der Auseinandersetzung mit dem Neopositivismus des Wiener Kreises. Sein Abgrenzungskriterium löste Wittgensteins Sinnkriterium ab und seine Lösung des Basisproblems beendete die Protokollsatzdebatte. Er zeigt, dass Theorien nicht beweisbar, sondern fehlbare Vermutungen sind. Die Erkenntnistheorie versteht er als Methodologie. Sie soll die Prüfbarkeit unserer Theorien sichern, damit wir aus Versuch und Irrtum lernen können.