Full Idea
Such a proposition as 'all the judgements made by Epimenedes are true' will only be prima facie capable of truth if all his judgements are of the same order.
Gist of Idea
'All judgements made by Epimenedes are true' needs the judgements to be of the same type
Source
Bertrand Russell (The Theory of Logical Types [1910], p.227)
Book Reference
Russell,Bertrand: 'Essays in Analysis', ed/tr. Lackey,Douglas [George Braziller 1973], p.227
A Reaction
This is an attempt to use his theory of types to solve the Liar. Tarski's invocation of a meta-language is clearly in the same territory.