Aus dem Inhalt: Russells Erkenntnistheorie setzt eine Gesamtsprache voraus, innerhalb derer dann logische, semantische Unterscheidungen
vorgenommen werden. Die Vorgabe einer erfahrungsunabhängigen Sprache wie der Typenlogik heisst Theorie bereits im Ansatz.