Die vier Wissenschaften der Pythagoreer. Hundert Jahre formale Logik

Die vier Wissenschaften der Pythagoreer. Hundert Jahre formale Logik

GermanPaperback / softback
Waerden, Bartel L. ˜van derœ
VS Verlag für Sozialwissenschaften
EAN: 9783531082684
On order
Delivery on Friday, 28. of February 2025
CZK 1,230
Common price CZK 1,367
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Praha Korunní
not available
Librairie Francophone Praha Štěpánská
not available
Oxford Bookshop Ostrava
not available
Oxford Bookshop Olomouc
not available
Oxford Bookshop Plzeň
not available
Oxford Bookshop Brno
not available
Oxford Bookshop Hradec Králové
not available
Oxford Bookshop České Budějovice
not available
Oxford Bookshop Liberec
not available

Detailed information

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.
EAN 9783531082684
ISBN 353108268X
Binding Paperback / softback
Publisher VS Verlag für Sozialwissenschaften
Publication date January 1, 1977
Pages 50
Language German
Dimensions 244 x 170 x 3
Country Germany
Readership General
Authors Waerden, Bartel L. ˜van derœ
Illustrations 50 S.
Series Rheinisch-Westfälische Akademie der Wissenschaften