| dbo:abstract
|
- Gottlob Freges Grundgesetz der Werthverläufe (Grundgesetz V, engl. "basic law V") ist ein Axiomenschema der naiven Mengenlehre. Freges Voraussetzung kann so vorgestellt werden, dass der Wertverlauf einer Funktion f eine Menge geordneter Paare von Werten f(x) und korrespondierenden Argumenten x bildet. Grundgesetz V sagt nun aus, dass der Wertverlauf einer Funktion f identisch ist zu dem einer Funktion g gdw. f und g jedes Objekt auf denselben Wert abbilden. Im Falle von Begriffen: der Begriffsumfang (die Extension, d.i. die Menge der Objekte, welche unter einen Begriff fallen) des Begriffs F ist identisch mit dem Begriffsumfang des Begriffs G genau dann, wenn alle Objekte, welche unter F fallen, auch unter G fallen (materielle Äquivalenz). Frege vertritt nun außerdem ein Substitutionsprinzip, welches aussagt, dass es für jedes Prädikat F mit einer freien Variablen x einen korrespondierenden Begriff gibt bzw. eine Menge gibt, welche alle Objekte einschließt, die unter F fallen. Dies ist eine Variante eines unbeschränkten Komprehensionsaxioms (engl. axiom schema of specification / separation / comprehension). Die naiven Mengenlehren des 19. Jahrhunderts hatten üblicherweise die Existenz bzw. Erzeugbarkeit solcher Mengen zugelassen. Beide Prinzipien zusammen genommen haben aber zur Folge, dass in Freges System die Russellsche Antinomie erzeugbar ist. Bertrand Russell hatte Frege in einem Brief auf dieses Problem hingewiesen. Zu Anfang des 20. Jahrhunderts wurden unterschiedliche Vorschläge erarbeitet, um zu einer konsistenten Mengenlehre zu gelangen. Die seither bei weitem verbreitetste Lösung besteht darin, in axiomatisierten Mengenlehren eine beschränkte Variante eines Komprehensions- bzw. Aussonderungsaxioms (engl. restricted comprehension) zu verwenden. Nach einem Vorschlag von Crispin Wright, dessen Durchführbarkeit durch George Boolos und Richard G. Heck formal bewiesen wurde, kann für eine Axiomatisierung der Arithmetik das Gesetz V durch Humes Prinzip ersetzt werden, so dass man ebenfalls eine konsistente Theorie erhält. Dies ist ein grundlegender Baustein der von Wright und Bob Hale intendierten Wiederbelebung des Fregeschen Programms einer Reduktion von Arithmetik auf Logik - man nennt sie daher Vertreter eines "Neo-Logizismus". (de)
- Gottlob Freges Grundgesetz der Werthverläufe (Grundgesetz V, engl. "basic law V") ist ein Axiomenschema der naiven Mengenlehre. Freges Voraussetzung kann so vorgestellt werden, dass der Wertverlauf einer Funktion f eine Menge geordneter Paare von Werten f(x) und korrespondierenden Argumenten x bildet. Grundgesetz V sagt nun aus, dass der Wertverlauf einer Funktion f identisch ist zu dem einer Funktion g gdw. f und g jedes Objekt auf denselben Wert abbilden. Im Falle von Begriffen: der Begriffsumfang (die Extension, d.i. die Menge der Objekte, welche unter einen Begriff fallen) des Begriffs F ist identisch mit dem Begriffsumfang des Begriffs G genau dann, wenn alle Objekte, welche unter F fallen, auch unter G fallen (materielle Äquivalenz). Frege vertritt nun außerdem ein Substitutionsprinzip, welches aussagt, dass es für jedes Prädikat F mit einer freien Variablen x einen korrespondierenden Begriff gibt bzw. eine Menge gibt, welche alle Objekte einschließt, die unter F fallen. Dies ist eine Variante eines unbeschränkten Komprehensionsaxioms (engl. axiom schema of specification / separation / comprehension). Die naiven Mengenlehren des 19. Jahrhunderts hatten üblicherweise die Existenz bzw. Erzeugbarkeit solcher Mengen zugelassen. Beide Prinzipien zusammen genommen haben aber zur Folge, dass in Freges System die Russellsche Antinomie erzeugbar ist. Bertrand Russell hatte Frege in einem Brief auf dieses Problem hingewiesen. Zu Anfang des 20. Jahrhunderts wurden unterschiedliche Vorschläge erarbeitet, um zu einer konsistenten Mengenlehre zu gelangen. Die seither bei weitem verbreitetste Lösung besteht darin, in axiomatisierten Mengenlehren eine beschränkte Variante eines Komprehensions- bzw. Aussonderungsaxioms (engl. restricted comprehension) zu verwenden. Nach einem Vorschlag von Crispin Wright, dessen Durchführbarkeit durch George Boolos und Richard G. Heck formal bewiesen wurde, kann für eine Axiomatisierung der Arithmetik das Gesetz V durch Humes Prinzip ersetzt werden, so dass man ebenfalls eine konsistente Theorie erhält. Dies ist ein grundlegender Baustein der von Wright und Bob Hale intendierten Wiederbelebung des Fregeschen Programms einer Reduktion von Arithmetik auf Logik - man nennt sie daher Vertreter eines "Neo-Logizismus". (de)
|
| rdfs:comment
|
- Gottlob Freges Grundgesetz der Werthverläufe (Grundgesetz V, engl. "basic law V") ist ein Axiomenschema der naiven Mengenlehre. Freges Voraussetzung kann so vorgestellt werden, dass der Wertverlauf einer Funktion f eine Menge geordneter Paare von Werten f(x) und korrespondierenden Argumenten x bildet. Grundgesetz V sagt nun aus, dass der Wertverlauf einer Funktion f identisch ist zu dem einer Funktion g gdw. f und g jedes Objekt auf denselben Wert abbilden. Im Falle von Begriffen: der Begriffsumfang (die Extension, d.i. die Menge der Objekte, welche unter einen Begriff fallen) des Begriffs F ist identisch mit dem Begriffsumfang des Begriffs G genau dann, wenn alle Objekte, welche unter F fallen, auch unter G fallen (materielle Äquivalenz). (de)
- Gottlob Freges Grundgesetz der Werthverläufe (Grundgesetz V, engl. "basic law V") ist ein Axiomenschema der naiven Mengenlehre. Freges Voraussetzung kann so vorgestellt werden, dass der Wertverlauf einer Funktion f eine Menge geordneter Paare von Werten f(x) und korrespondierenden Argumenten x bildet. Grundgesetz V sagt nun aus, dass der Wertverlauf einer Funktion f identisch ist zu dem einer Funktion g gdw. f und g jedes Objekt auf denselben Wert abbilden. Im Falle von Begriffen: der Begriffsumfang (die Extension, d.i. die Menge der Objekte, welche unter einen Begriff fallen) des Begriffs F ist identisch mit dem Begriffsumfang des Begriffs G genau dann, wenn alle Objekte, welche unter F fallen, auch unter G fallen (materielle Äquivalenz). (de)
|
