But Tarski himself made it perfectly clear that an uninterpreted formula (or a string of symbols) cannot be said to be true or false, and that these terms only apply to interpreted formulae to 'meaningful sentences' (as the translation has it).