67Tagebuch 31. XII. 1962 – 31. XII. 1963 [Rudolf Carnap: Tagebücher], Eintrag Di 15. X. 1963

Vormittags Thesis gelesen. – 3-7 David hier. Über seine thesis. Er erklärt, dass wirklich \(N\exists \equiv \exists N\). Über die Natur der bar Funktion; es entspricht nicht einem Symbol der Objektsprache! Über L-dot Intension einer Entität; das nennt er die essence der Identität; das wird definiert mit Hilfe von St-Ausdrücken, wie auch in M&N. ch. II. Er ist hocherfreut, dass ich nicht nur Interesse, Verständnis und Schätzung für die thesis habe, sondern dass ich schon einiges im voraus gedacht habe; und dass er mit mir Probleme besprechen kann, über die er sonst mit niemandem sprechen kann.)