60Tagebuch 1. I. 1957 – 4. III. 1959 [Rudolf Carnap: Tagebücher], Eintrag Fr 16. I. 1959

Logik. – 4 – 5 ½Vortrag Suszko, im logischen Kolloquium ( „Eine neue Form von logischem Kalkül“, der Kalkül bezieht sich nicht direkt auf Sätze, sondern als Schlussschemata für Formeln mit dummy Variablen. Trotz meines Rates, immer nicht-technische Erklärungen zu geben, gibt er nicht genug; man weiß oft nicht, wohin er steuert. – Er betont die Wörter ‚Konsequenz‘ und ‚Sentenz‘ immer falsch, hunderte von Malen. – In der Diskussion sagt David Kaplan, der für Bochenski Seminar hierüber gelesen hat, dass die Stoiker auch schon Schemata im Sinn hatten, nicht Theoreme.) Ina fährt mich hin, Kaplans zurück, weil es dann dunkel ist.