(Geduscht.) – An pr. – 5 ½ – 6 ½Dana Scott und Montague hier. (Dana wird März bis Mai 1964 in Warschau sein, mit Frau Irene; dann in Wien, vielleicht August zum Jerusalem Kongress. 🕮 Montague will vielleicht auch zum Jerusalem Kongress. – Ich frage Dana, warum er indexierte Sprache nimmt; für Zweck der Wissenschaftssysteme normale Sprache einfacher, z.B. mit integer Koordinaten. Er sagt, er wollte die Beschränkung auf successor Funktor, damit gewisse Arten von Sätzen entscheidbar werden. Richard sagt, eine indexierte Sprache ist doch wichtig für Erkenntnistheorie, und Metaphysik (!), z.B. „Ich sehe jetzt rot“.)
