@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024}, author = {Frege,Gottlob}, subject = {Russells Paradoxie}, note = {Thiel I 335 Logik/Frege/Thiel: Freges Begriff der Logik, auf die er die gesamte nicht-geometrische Mathematik zurückführen wollte, war ein weiterer als der heutige. Für Frege zählt die Mengenbildung nämlich zu den logischen Prozessen, sodass der Übergang von der Aussage, dass genau dieselben Gegenstände unter zwei Begriffe A und B fallen, zur Aussage der Gleichheit der Begriffsumfänge von A und B bei Frege ein Gesetz der Logik ist. >Begriffsumfang. I 335/336 Heutige Auffassung: Begriffsumfänge sind nichts anderes als Mengen, daher gehört das Gesetz nicht in die Logik, sondern zur Mengenlehre. In der Traditionellen Logik war die Lehre der Begriffsumfänge Teil der Logik. Heute sind sie Teil der Mengenlehre, während die Lehre vom "Begriffsinhalt" in der Logik verbleibt. Dies ist recht merkwürdig. Russelssche Antinomie/5. Grundgesetz/Frege: Frege gab die Schuld an der Inkonsistenz dem fünften seiner "Grundgesetze"(1) (d.h. Axiome) nach dem zwei Begriffe dann und nur dann den gleichen Umfang haben, wenn jeder Gegenstand, der unter einen von ihnen fällt, auch unter den anderen fällt. Und allgemeiner, wenn zwei Funktionen den gleichen >"Wertverlauf" (von ihm geprägtes Kunstwort) haben, dann und nur dann, wenn sie für jedes Argument genau denselben Wert ergeben. Frege kam in seiner ersten Analyse des Unglücksfalles zu dem Schluss, dass nur die Ersetzung der Argumente in den Funktionstermen durch Namen für die gleichgesetzten Begriffsumfänge bzw. Wertverläufe selbst zu dem Widerspruch führe. Er änderte dementsprechend sein Grundgesetz V ab, in dem er die Verschiedenheit aller einsetzbaren Argumente von diesen speziellen Begriffsumfängen bzw. Wertverläufen durch ein dem Ausdruck vorgeschaltetes Antecedens forderte. Er hat nicht mehr erlebt, dass dieser Versuch ("Freges way out") sich doch als ungeeignet erwies. Thiel I 337 Russell und Whitehead sahen sich genötigt, mit ihrer verzweigten Typentheorie das logizistische Programm noch einmal zu begraben. Die Existenz eines unendlichen Individuenbereichs musste durch ein eigenes Axiom postuliert werden, (da sie nicht im System selbst beweisbar war), und ein ebenso ad hoc eingeführtes und anders nicht begründbares "Reduzibilitätsaxiom" ermöglichte typenunabhängige Allaussagen z.B. über reelle Zahlen. >Reduzibilitätsaxiom. >Typentheorie. Schon beim Erscheinen der zweiten Auflage von Principia Mathematica war offensichtlich, dass die Zurückführung der Mathematik auf die Logik gescheitert war. Somit markiert die Russellsche Antinomie das unglückliche Ende des Logizismus. 1. Gottlob Frege [1893–1903]: Grundgesetze der Arithmetik. Jena: Hermann Pohle}, note = {G. Frege I Frege Die Grundlagen der Arithmetik Stuttgart 1987 II Frege Funktion, Begriff, Bedeutung Göttingen (Vandenhoeck) 1994 1. Funktion und Begriff 2. Über Sinn und Bedeutung 3. Über Begriff und Gegenstand 4. Was ist eine Funktion? 5. Über die wissenschaftliche Berechtigung einer Begriffsschrift IV Frege Logische Untersuchungen Göttingen 1993 1. Der Gedanke 2. Die Verneinung 3. Zu Ernst Schröders Algebra der Logik Husted V Jörgen Husted "Gottlob Frege: Der stille Logiker." in: A. Hügli/P. Lübcke (Hrsg.) Philosophie im 20. Jahrhundert Reinbek 1993 T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 }, file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=264319} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=264319} }