If we give up the goal of a universal language, models of the type presented in this paper are plausible as models of natural language at a stage before we reﬂect on the generation process associated with the concept of truth, the stage which continues in the daily life of nonphilosophical speakers.