Metalsprog, i semantik og filosofi, sprog, der bruges til analyse af objektsprog (sprog, der bruges til at tale om objekter i verden). Således kan et metalsprog betragtes som et sprog om et andet sprog. Sådanne filosofer som den tyskfødte logiske positivist Rudolf Carnap og Alfred Tarski, polskfødt matematiker, argumenterede for, at filosofiske problemer og filosofiske udsagn kun kan løses, når de ses i form af en syntaktisk ramme. Semantikens logik er det, der bestemmer sandheden i en erklæring, snarere end udsagnets ikke-formelle eller faktiske betydning. Carnap mente, at det ved at gøre brug af symbolsk notation i et metalsprog og ved at overholde regler for logik var det muligt at undgå metafysiske vurderinger, der i sit system per definition var ugyldige.
