In der modernen Logik wird die Unterscheidung zwischen Metasprache und Objektsprache gemacht, um die Semantik formalisierter Sprachen genau beschreiben zu können und Antinomien zu vermeiden. Im Gegensatz zur Objektsprache, die über Objekte spricht, wird in der Metasprache über die Objektsprache gesprochen, wobei deren semantische Eigenschaften bestimmt werden. Die Metasprachen werden zumeist so konstruiert, dass in ihnen alles ausgedrückt werden kann, was in den zugehörigen Objektsprachen auszudrücken ist. Die Metasprachen müssen so beschaffen sein, dass alle Zeichen der Objektsprache bezeichnet werden können. Dabei müssen die Eigenschaften und Beziehungen der Ausdrücke der Objektsprache wie auch ihre Definitions- und Umformungsregeln formulierbar sein.