Metajęzyk, w semantyce i filozofii, język używany do analizy języka obiektowego (język używany do mówienia o obiektach na świecie). Metajęzyk można zatem traktować jako język o innym języku. Tacy filozofowie, jak urodzony w Niemczech logistyczny pozytywista Rudolf Carnap i Alfred Tarski, urodzony w Polsce matematyk, argumentowali, że problemy filozoficzne i wypowiedzi filozoficzne można rozwiązać tylko z punktu widzenia ram syntaktycznych. Logika semantyki decyduje o prawdziwości stwierdzenia, a nie o jego nieformalnym lub faktycznym znaczeniu. Carnap uważał, że stosując notację symboliczną w języku metalicznym i przestrzegając reguł logiki, można uniknąć sądów metafizycznych, które w jego systemie były z definicji nieważne.
