Russellsche Antinomie
Später befasste er sich intensiv mit Gottlob Frege. Zusammen mit Crispin Wright bewies er die Konsistenz eines modifizierten Systems von Freges "Grundgesetzen": Ersetzt man das Grundgesetz der Werthverläufe durch Humes Prinzip, so vermeidet man die Russellsche Antinomie. Damit begründeten die beiden den Neo-Logizismus.