Metalanguage, i semantikk og filosofi, språk som brukes til analyse av gjenstandsspråk (språk som brukes til å snakke om objekter i verden). Dermed kan en metallspråk bli tenkt som et språk om et annet språk. Slike filosofer som den tyskfødte logiske positivisten Rudolf Carnap og Alfred Tarski, polskfødte matematiker, hevdet at filosofiske problemer og filosofiske uttalelser bare kan løses når de sees i form av et syntaktisk rammeverk. Semantikkens logikk er det som bestemmer sannheten i et utsagn, snarere enn utsagnets ikke-formelle, eller faktiske, mening. Carnap følte at ved å benytte seg av symbolsk notasjon i et metallspråk og ved å følge logiske regler var det mulig å unngå metafysiske vurderinger, som i sitt system per definisjon var ugyldige.