Sitzung mit der ASL:IAssociation for Symbolic Logic (ASL) TarskiPTarski, Alfred, 1901–1983, poln.-am. Mathematiker und Logiker, ChurchPChurch, Alonzo, 1903–1995, am. Mathematiker, RosserPRosser, John Barkley, 1907–1989, am. Mathematiker, KleenePKleene, Stephen Cole, 1909–1994, am. Mathematiker, KraftPKraft, Julius, 1898–1960, dt.-am. Soziologe (Metaphysiker). QuinePQuine, Willard Van Orman, 1908–2000, am. Philosoph, verh. mit Naomi Quine (1932–1947) und Marjorie Boynton Quine (1948–1998) und ich im Panel (ich hauptsächlich zu KleenePKleene, Stephen Cole, 1909–1994, am. Mathematiker). Gute Diskussion. – Lunch mit GoheensPGoheen, John D., 1907–1994, am. Philosoph, verh. mit Nancy Goheen, studierte in Harvard, unterrichtete in Harvard und Queens College NY, bevor er 1950 eine Professur in Stanford antratPGoheen, Nancy, verh. mit John Goheen und Ina. Ina beklagt sich, dass NancyPGoheen, Nancy, verh. mit John Goheen sie so oft kritisiert; und NancyPGoheen, Nancy, verh. mit John Goheen sagt, dass Ina oft nicht im Gleichgewicht ist, Leute Aversy, Exhibitionismus usw. – Nachmittags höre ich nur Vortrag KorschPKorsch, Karl, 1886–1961, dt.-am. Philosoph, Mitglied der Jenaer Freien Studentenschaft, ab 1913 verh. mit Hedda Korsch. – Diskussion in meinem Zimmer mit TarskiPTarski, Alfred, 1901–1983, poln.-am. Mathematiker und Logiker über ‚\(L\)-wahr‘; heute verstehen wir uns besser. Dann mit kommen QuinePQuine, Willard Van Orman, 1908–2000, am. Philosoph, verh. mit Naomi Quine (1932–1947) und Marjorie Boynton Quine (1948–1998) und CurryPCurry, Haskell, 1900–1982, am. Mathematiker und Logiker. Dann wir vier zu QuinesPQuine, Willard Van Orman, 1908–2000, am. Philosoph, verh. mit Naomi Quine (1932–1947) und Marjorie Boynton Quine (1948–1998)PQuine, Naomi, 1907–1997, geb. Clayton, 1932–1947 verh. mit Willard Van Orman Quine: ich sehe die Kinder (ElisabethPQuine, Elizabeth, *1935, Tochter von Willard Van Orman und Naomi Quine und NormaPQuine, Norma, Tochter von Willard Van Orman und Naomi Quine), beide blond. Diskussion mit CurryPCurry, Haskell, 1900–1982, am. Mathematiker und Logiker; seine formalen Systeme sind doch wohl wie meine Kalküle. Mit QuinePQuine, Willard Van Orman, 1908–2000, am. Philosoph, verh. mit Naomi Quine (1932–1947) und Marjorie Boynton Quine (1948–1998) über „Nominalismus“; ich und TarskiPTarski, Alfred, 1901–1983, poln.-am. Mathematiker und Logiker sind bedenklich, ob man das Wort wieder aufnehmen soll. Nach dem Abendessen, spät (½ 9), kommen viele andere, zur Diskussion über 🕮 Wahrscheinlichkeit; ich gehe heim.
