10 ½ – 1, über Extensionalität. LangfordPLangford, Cooper Harold, 1895–1964, am. Philosoph und MacLanePMacLane, Saunders, 1909–2005, am. Mathematiker meinen, dass man doch für Semantik besser intensionale Sprache nimmt. Nachmittags 3 ½ – 6. Über Antinomien und Typentheorie. Abends HempelsPHempel, Carl Gustav, 1905–1997, dt.-am. Philosoph, verh. mit Eva Hempel, ab 1947 mit Diane HempelPHempel, Eva, 1908–1944, geb. Ahrends, verh. mit Carl Gustav Hempel zum Essen hier. An beiden Nachmittagen kochen EvaPHempel, Eva, 1908–1944, geb. Ahrends, verh. mit Carl Gustav Hempel und EileenPHelmer, Eileen, bis in die 1940er-Jahre verh. mit Olaf Helmer Tee für die Konferenz; wir tagen im EckartPEckart, Carl, 1902–1973, am. Physiker, verh. mit Edith Louise Eckart Common Raum, sehr bequem. Die Diskussionen sind angeregt und gut. 🕮