64Tagebuch 4. I. 1962 – 22. V. 1962 [Rudolf Carnap: Tagebücher], Eintrag Di 3. IV. 1962

3-5 Seminar. (Prof. Markovic aus Belgrad ist hier. – In der Diskussion spricht Montague gegen Propositionsvariable, weil propositions nicht modelltheoretisch definiert seien. Ich sage, das sei leicht möglich; später gebe ich die Definition: das Borel-Feld generiert durch die Menge der atomistischen propositions.)