Frank Ramsey was involved in preparing the English translation of the Tractatus as an undergraduate at Cambridge. He developed an account of the theory of types which avoided the difficulties associated with the axiom of reducibility by following what he took to be Wittgensteinian principles. In December 1924, he wrote an essay which was eventually published under the title ‘The foundations of mathematics’. The material in the essay that is relevant here falls into three distinct parts: in the first Ramsey showed how to develop a theory of types on Wittgensteinian principles that had no need of the problematic axiom of reducibility; in the second he dealt with the derivation of the theory of classes from the theory of types; and in the third he addressed the problematic dependence of the theory on the axiom of infinity.
Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
If you think you should have access to this title, please contact your librarian.