Substitution and Types: Russell's Intermediate Theory
Résumé
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.
Loading...