Grundgesetze der Arithmetik I/II

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.

Autorentext
Friedrich Ludwig Gottlob Frege, Mathematiker, Logiker und Philosoph, geboren am 8. November 1848 in Wismar, gestorben am 26. Juli 1925 in Bad Kleinen, gilt als eigentlicher Begründer der modernen Logik. Seine sprachanalytischen Untersuchungen beeinflussten die Entwicklung der Philosophie (z.B. Bertrand Russell und Ludwig Wittgenstein) und der Linguistik nachhaltig.

Klappentext

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".