By means of ‘means that’ and propositional quantification, we can define a truth predicate. This also allows the construction of liar sentences, either by self-reference or by means of quantification. In order to avoid inconsistency, restrictions on expressive power must be imposed, and the question is how far such restrictions will limit our ability to say of what is intuitively described as ‘‘meaningful’’ that it is precisely meaningful.