Ramsey defined truth in the following way: x is true if and only if ∃p(x = [p] & p). This definition is ill-formed in standard first-order logic, so it is normally interpreted using substitutional or some kind of higher-order quantifier. I argue that these quantifiers fail to provide an adequate reading of the definition, but that, given certain adjustments, standard objectual quantification does provide an adequate reading.
Russell: the Journal of Bertrand Russell Studies:
1, Article 7.
Available at: http://digitalcommons.mcmaster.ca/russelljournal/vol31/iss1/7