Frege‘s Theorem

"Frege‘s Theorem" von Richard G. Heck befasst sich mit der logischen und philosophischen Analyse des Frege-Theorems, das eng mit den Arbeiten von Gottlob Frege, einem der Begründer der analytischen Philosophie und modernen Logik, verknüpft ist. Heck untersucht die Grundlagen der Arithmetik, wie sie von Frege in seinem Werk "Die Grundgesetze der Arithmetik" entwickelt wurden. Das Buch beleuchtet die Beziehung zwischen Logik und Mathematik und diskutiert Freges Ansatz zur Ableitung grundlegender arithmetischer Prinzipien aus rein logischen Axiomen. Heck analysiert die Implikationen von Freges Theorem für die Philosophie der Mathematik sowie für die Debatten um den Logizismus, also die Auffassung, dass mathematische Wahrheiten letztlich auf logische Wahrheiten zurückführbar sind. Dabei wird auch auf historische und konzeptionelle Herausforderungen eingegangen, insbesondere im Hinblick auf das berüchtigte Paradoxon von Russell, das Freges System erschütterte.