2004
Rouilhan (de) Philippe, « Substitution and Types: Russell's Intermediate Theory », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10670/1.uyanfl
Russell went through three "substitutional" theories on his way to the so-calledramifiedtheoryoftypes. Thefirstwassostrongastobeinconsistent; thesecondwasconsistent,buttooweak. Thethirdismentionedinpassingin"MathematicalLogicasBasedontheTheoryof Types", and abandoned in favor of the ramified theory of types for the sake of "practicalconvenience". However, it is doubtless the most fascinating theory Russell ever came up with.