Grundgesetze der Arithmetik

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.
***************
Frege’s work is the starting point of modern logic. His starting goal was to set up a universally applicable language of pure thought which is operable in all fields of science. Frege’s formalization of thought does not just aim at combined propositional and predicative logical considerations, as envisaged in formal logic, but presupposes premises immanent to the system dealing with the constitution of knowledge. The historical dispute over the contradictions in the teachings of Frege led to corrections in formal logic and semantics which in general were only made up of „formal controls“.