50Tagebuch 21. XII. 1945 – 21. XII. 1946 [Rudolf Carnap: Tagebücher], Eintrag Di 26. II. 1946

AbendsNach Vorlesung in die mathematische Bibliothek in Eckart; sie ist zum ersten Mal wieder zugänglich. – Abends 8 Departmentseminar: Vortrag HartshornePHartshorne, Charles, 1897–2000, am. Philosoph, verh. mit Dorothy Hartshorne über ontologisches Argument, usw. Er gibt zu, dass seine Formulierung (siehe mimeographierte Blätter) doch wieder den Existenzbegriff als Eigenschaft enthält; aber er meint, es sei unwesentlich, er könne es anders formulieren. (Er schickt mir einige Tage später ausführliche neue Formulierungen.)7Blätter ???