Waerden | Die vier Wissenschaften der Pythagoreer. Hundert Jahre formale Logik | Buch | 978-3-531-08268-4 | sack.de

Buch, Deutsch, Band 268, 50 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 109 g

Reihe: Rheinisch-Westfälische Akademie der Wissenschaften

Waerden

Die vier Wissenschaften der Pythagoreer. Hundert Jahre formale Logik


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

Buch, Deutsch, Band 268, 50 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 109 g

Reihe: Rheinisch-Westfälische Akademie der Wissenschaften

ISBN: 978-3-531-08268-4
Verlag: VS Verlag für Sozialwissenschaften

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.
Waerden Die vier Wissenschaften der Pythagoreer. Hundert Jahre formale Logik jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Waerden, Bartel L. van der

Fachgebiete

Weitere Infos & Material

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.