Freges Werk steht am Anfang der modernen Logik. Es ist das erklärte Ziel Freges, eine universalgültige Sprache des reinen Denkens zu erstellen, die auf allen Wissenschaftsbereichen operabel ist. Freges Formalisierung des Denkens zielt demanch nicht nur auf kombinatorische aussagen- und prädikatenlogische Überlegungen ab, wie sie die formale Logik vorstellt, sondern setzt selbst systemimmanente Prämissen voraus, die es mit der Konstitution von Erkenntnis zu tun haben. Die historischen Auseinandersetzungen mit den Inkonsistenzen der Lehre Freges führten in der formalen Logik und Semantik zu einer Korrektur, die im allgemeinen lediglich deren "formales Regelwerk" zum Gegenstand hatte.