Blick ins Buch

Die vier Wissenschaften der Pythagoreer. Hundert Jahre formale Logik

247. Sitzung am 1. Dezember 1976 in Düsseldorf

Bartel L. van der Waerden (Autor)

Buch | Softcover

50 Seiten

1977 | 1977
VS Verlag für Sozialwissenschaften
978-3-531-08268-4 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Formal logic presupposes a formal language. A rudimentary formal language was given by G. Boole. A formal language which was sufficient for the purpose of mathematics was constructed by Gottlob Frege in his book " Begriffsschrift, eine der arithmetischen nachgebildete Formel sprache des reinen Denkens" (1879). Since that time we have an abun dant spectrum of logics based on formal languages. There are applications mainly in mathematics ("metamathematics"), but also e. g. in philos ophy, linguistics and computer science. The most important formal language is the first order predicate calculus. There has been a gradual emancipation of this language via the theory of types given by Bertrand Russell. This paper discusses that development in some details. Diskussion Herr Hlawka: Sie haben gesagt, der Wiener Kreis sei tiber Carnap von Frege beeinfluBt gewesen. Ich wtirde eher meinen, tiber Russell. Dann haben Sie gesagt, daB bei Frege der Funktionsbegriff im Vorder grund steht. Ich finde, daB dieser Gesichtspunkt gerade in der von Neu mannschen Theorie verwirklicht ist. Herr Hermes: Von Neumann hat in der Tat den Funktionsbegriff als Grundbegriff der Mengenlehre gewahlt. Es hat aber niemand direkt dar an angekntipft. Herr Hlawka: Vielleicht die moderne Kategorientheorie. Herr Hermes: Das stimmt. Herr Hlawka: Aber dann ist es doch so, daB der Pradikatenkalktil der ersten Stufe nur dann ausreicht, die klassische Mathematik zu begrtin den, das heiBt kurz das, was bei Bourbaki steht, wenn man die Mengen lehre als Fundament nimmt.

Bartel van der Waerden, geb. am 2.2.1903 in Amsterdam, ging 1924 ging als Student nach Göttingen und wurde dort mit Emmy Noether und der abstrakten Algebra bekannt. Sein Hauptinteresse galt damals vor allem der Begründung der algebraischen Geometrie mit Hilfe der neuen algebraischen Methoden. Als er im Jahre 1926 als junger Doktor mit einem Rockefeller-Stipendium nach Hamburg kam, hatte er Gelegenheit, eine didaktisch hervorragende Algebra-Vorlesung von Emil Artin zu hören. Die Ausarbeitung, die er von dieser Vorlesung machte, wurde zum Kern des vorliegenden Werkes. Es erschien zuerst 1930-31 unter dem Titel 'Moderne Algebra' in der Sammlung 'Grundlehren der mathematischen Wissenschaften'. In der Folge wurde das Werk in die englische, russische und chinesische Sprache übersetzt. Im Jahre 1928 wurde der Autor Professor an der Universität Groningen. Seit 1951 lebte und arbeitete er bis zu seiner Emeritierung in Zürich als Professor an der dortigen Universität.

Die vier Wissenschaften der Pythagoreer.- Hundert Jahre formale Logik.

Erscheint lt. Verlag	1.1.1977
Reihe/Serie	Rheinisch-Westfälische Akademie der Wissenschaften
Zusatzinfo	50 S.
Verlagsort	Wiesbaden
Sprache	deutsch
Gewicht	117 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Philosophie Altertum / Antike
Schlagworte	Formale Logik • Logik • Mengenlehre • Zeit
ISBN-10	3-531-08268-X / 353108268X
ISBN-13	978-3-531-08268-4 / 9783531082684
Zustand	Neuware