Lunch bei 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. Nachmittags mit ihm über sein neues MS: Eine Klassentheorie ohne Typenregel.45Vgl. Quine, On the Theory of Types.BQuine, Willard Van Orman!1938@„On the Theory of Types“, The Journal of Symbolic Logic 3, 1938, 125–139 Meine Bedenken: 1) Ob vielleicht semantische Antinomien konstruierbar, weil „wahr“ ausdrückbar; 2) Ob die Allsätze über reelle Zahlen sich nur auf die definierbaren beziehen. Die Form- und Umformungsbestimmungen sind noch nicht formuliert. Wir essen noch bei ihnen zu Abend.
