Freges Theorem

Freges Theorem

Freges Theorem ist eine der Grundlagen des Neo-Logizismus.

Gottlob Frege bewies 1884 in Die Grundlagen der Arithmetik informal, dass Peano-Axiome der Arithmetik aus Humes Prinzip mittels einer Logik zweiter Stufe abgeleitet werden können. Ein formaler Beweis folgte in Grundgesetze der Arithmetik.

Crispin Wright entdeckte das Theorem in den 1980ern wieder und begründete damit den Neo-Logizismus.


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Die Grundlagen der Arithmetik — (1884) mit dem Untertitel „Eine logisch mathematische Untersuchung über den Begriff der Zahl“ ist eines der Hauptwerke Gottlob Freges. Thema des Buches ist die Erläuterung des Begriffs „Zahl“ bzw. „Anzahl“. Anhand dieses Grundbegriffs skizziert… …   Deutsch Wikipedia

  • Logizismus — Der Logizismus oder das logizistische Programm bezeichnet eine bestimmte Position in der Philosophie der Mathematik. Sie wurde zuerst von Gottlob Frege Ende des 19. Jahrhunderts formuliert und besagt, dass sich die Mathematik auf die Logik… …   Deutsch Wikipedia

  • Humes Prinzip — ist ein Prinzip der Logik, das von David Hume in A Treatise of Human Nature aufgestellt und von George Boolos Humes Prinzip oder HP genannt wurde. Humes Prinzip lautet: Die Anzahl der Fs ist gleich der Anzahl der Gs genau dann, wenn es eine… …   Deutsch Wikipedia

  • Crispin Wright — (* 21. Dezember 1942 in Surrey) ist ein britischer Philosoph und Mitbegründer des Neo Logizismus. 1968 machte er den Ph.D. am Trinity College und arbeitete am All Souls College (1969–1978). Danach wurde er Professor für Logik und Metaphysik an… …   Deutsch Wikipedia

  • Begriffsschrift — Das Titelblatt der Begriffsschrift Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik. Es wurde 1879 mit dem Untertitel „Eine der arithmetischen… …   Deutsch Wikipedia

  • Begriffsschriftnotation — Das Titelblatt der Begriffsschrift Die Begriffsschrift ist ein schmales, weniger als hundert Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik. Es wurde 1879 mit dem Untertitel „Eine der arithmetischen… …   Deutsch Wikipedia

  • Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de …   Deutsch Wikipedia

  • Grundgesetz der Werthverläufe — Gottlob Freges Grundgesetz der Werthverläufe (Grundgesetz V, engl. basic law V ) ist ein Axiomenschema der naiven Mengenlehre[1]. Freges Voraussetzung kann so vergestellt werden, dass der Wertverlauf einer Funktion f eine Menge geordneter Paare… …   Deutsch Wikipedia

  • Geschichte der Logik — Die Geschichte der Logik behandelt die Logik als Ganzes in ihrer Entstehung und Entwicklung zur formalen Logik, wobei auch andere Entwicklungen berücksichtigt werden. Die europäisch westliche Logik hat ihren Anfang im antiken Griechenland.… …   Deutsch Wikipedia

  • Extension und Intension — sind moderne semantische Ausdrücke, insbesondere der Logik, Sprachphilosophie und Linguistik, die den Umfang beziehungsweise Inhalt von Zeichen oder sprachlicher Ausdrücke bedeuten. Sie werden vornehmlich statt der traditionellen Ausdrücke… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”