Gespräche, Vorträge, Séancen: Kurt Gödels Wiener Protokolle 1937/38

Abstract

Diese Reihe, begonnen bei Hölder-Pichler-Tempsky, wird im Springer-Verlag fortgesetzt. Der Wiener Kreis, eine Gruppe von rund drei Dutzend Wissenschaft-lerInnen aus den Bereichen der Philosophie, Logik, Mathematik, Natur-und Sozialwissenschaften im Wien der Zwischenkriegszeit, zählt unbestritten zu den bedeutendsten und einflußreichsten philosophischen Strömungen des 20. Jahrhunderts, speziell als Wegbereiter der (sprach)analytischen Philosophie und Wissenschaftstheorie. Die dem Wiener Kreis nahestehenden Persönlichkeiten haben bis heute nichts von ihrer Ausstrahlung und Bedeutung für die moderne Philosophie und Wissenschaft verloren: Schlick, Carnap, Neurath, Kraft, Gödel, Zilsel, Kaufmann, von Mises, Reichenbach, Wittgenstein, Popper, Gomperzum nur einige zu nennen -zählen heute unbestritten zu den großen Denkern unseres Jahrhunderts. Gemeinsames Ziel dieses Diskussionszirkels war eine Verwissenschaftlichung der Philosophie mit Hilfe der modernen Logik auf der Basis von Alltagserfahrung und einzelwissenschaftlicher Emperie. Aber während ihre Ideen im Ausland breite Bedeutung gewannen, wurden sie in ihrer Heimat aus sogenannten "rassischen" und/oder politisch-weltanschaulichen Gründen verdrängt und blieben hier oft auch nach 1945 in Vergessenheit. Diese Reihe hat es sich zur Aufgabe gemacht, diese DenkerInnen und ihren Einfluß wieder ins öffentliche Bewußtsein des deutschsprachigen Raumes zurückzuholen und im aktuellen wissenschaftlichen Diskurs zu präsentieren.

Gödel on Many-Valued Logic

“…Although Łukasiewicz insisted that 'both disjunction and conjunction of two possible propositions are possible propositions (and nothing else)' (cf. [26], p. 19), this attitude leads to difficulties when interpreting the propositions a ∨ ¬a and a ∧ ¬a, which, despite of an indeterminacy of the proposition a, should have a determinate truth-value 1 or 0, respectively. Whereas these kinds of difficulties, which have been called 'a serious blow upon Łukasiewicz's conception' ( [26], p. 21), might well have led G ödel to his new definitions of disjunction and conjunction, this section will mainly concentrate on the interplay between implication and conjunction, which is another possible source for his investigations.…”

“…This indicates that in order to reach further 11 In S 3 , both formulas have the one and only common counterexample p = 1 2 , q = 0. For details about G ödel's proof and the role of the two 'crucial' formulas, see [19]. 12 a is Łukasiewicz's notation for the negation of a.…”

“…It was mentioned during a meeting in December 1937 at Edgar Zilsel's home as well as in a conversation in early 1938 with Max S öderman, 17 who, according to G ödel's protocols, calls it a 'reasonable application of logistics'. 18 Only a few years later, in 1943, G ödel wrote down the following affirmative philosophical notes about these 'real' empirical objects and their properties, which can be found in his notebook MaxPhil X 19 Wissenschaften' (the first application of logistic methods to problems of scientific theory outside the field of the exact sciences). 17 Max S öderman , a student of philosopher Eino Kaila from Helsinki, Finland, stayed in Vienna in 1937/1938 and appears to have been in close contact to G ödel.…”

“…18 For details on these occasions, see [20]. 19 Kurt G ödel Papers, Box 6b, Folder 70, item accession 030096.…”

“…The phrase, which is Luther's usual translation of the Latin 'Domine, Domine' (or 'Domine Deus' in some cases), 20 appears in many places both in the Old and the New Testament of the Luther Bible 21 and apparently serves-in G ödel's eyes-as a strengthening of the form of address in the above sense of a strengthened implication. Other examples of G ödel's inclusion of the Bible in his philosophical thoughts can be found in [19] and [21]. §6.…”