69Tagebuch 31. XII. 1964 – 31. XII. 1965 [Rudolf Carnap: Tagebücher], Eintrag Mo 12. VII. 1965

Vormittags Vorträge von Robinson und Mostowski, nachmittags: Bernays und Körner. (Lebhafte Diskussion zwischen Kreisel und Mostowski. Letzterer sagt, dass die Verwendung von Logik 2. Ordnung für AS der Mengenlehre 🕮 zwecklos ist; auch Bar-Hillel, gegen die vielen ontologischen Fragen, richtig, aber zu scharf.) – Abends (gehen die anderen zu einem Empfang bei Direktor der Schule von Ökonomie.) Ich schreibe und lese auf meinem Zimmer. Abends 2 Noludar.