Nachmittags TarskiPTarski, Alfred, 1901–1983, poln.-am. Mathematiker und Logiker, QuinePQuine, Willard Van Orman, 1908–2000, am. Philosoph, verh. mit Naomi Quine (1932–1947) und Marjorie Boynton Quine (1948–1998), GoodmanPGoodman, Nelson, 1906–1998, am. Philosoph hier. Über terminologische Fragen. Wir kommen aber zu keiner Einigung (über ‚propl. var.‘ und ‚pr. Calc.‘).propl. var. ??? proppsition calculus27Terminologische Fragen ???
