Metalanguageは、意味論と哲学において、オブジェクト言語の分析に使用される言語（世界のオブジェクトについて話すために使用される言語）。したがって、メタ言語は別の言語についての言語と考えることができます。ドイツ生まれの論理実証主義者であるルドルフカルナップやポーランド生まれの数学者であるアルフレッドタルスキなどの哲学者たちは、哲学的問題と哲学的陳述は統語論的枠組みの観点から見た場合にのみ解決できると主張した。セマンティクスの論理は、ステートメントの非形式的または実際の意味ではなく、ステートメントの真実を決定するものです。カルナップは、メタ言語で記号表記を利用し、論理のルールを守ることによって、形而上学的判断を回避することが可能であると感じました。
