On meaningfulness and truth

We show how to construct certain L_M, T-type interpreted languages, with ea ch such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the L_T-t ype, truth-theoretic languages first considered by Kripke, yet each of our L_M, T-type languages possesses the additional advantage that, within it, t he meaninglessness of any given meaningless expression can itself be meanin gfully expressed. One therefore has, for example, the object level truth (a nd meaningfulness) of the claim that the strengthened Liar is meaningless.