Metajezik je v semantiki in filozofiji jezik, ki se uporablja za analizo predmetnega jezika (jezik, ki se uporablja za govor o predmetih v svetu). Tako je metajeziko mogoče obravnavati kot jezik o drugem jeziku. Takšna filozofa, kot sta nemški rojeni logični pozitivisist Rudolf Carnap in Alfred Tarski, poljsko matematik, sta trdila, da je mogoče filozofske probleme in filozofske izjave rešiti le, če jih vidimo v smislu skladenjskega okvira. Logika semantike je tista, ki določa resničnost trditve in ne pomen neformalnega ali dejanskega pomena. Carnap je menil, da se je z uporabo simbolnega zapisa v metajeziku in z upoštevanjem logičnih pravil mogoče izogniti metafizičnim sodbam, ki so bile v njegovem sistemu po definiciji neveljavne.
