数学基礎論や数理論理学では、数学や論理学を(人工)言語とみなした上で数学的手段を用いて研究としているので、研究対象たる「数学」や「論理学」のような「言語」と、それらの研究対象を研究するために用いる「数学」、「論理学」、「言語」を分けて考える必要があり、後者をそれぞれ「メタ数学」(英: metamathematics、超数学とも訳される)「メタ論理」、「メタ言語」と呼ぶ。またメタ数学やメタ言語等に関する概念には「メタ」という接頭辞を用い、例えばメタ数学の定理を研究対象の数学の定理と区別し、「メタ定理」(英: metatheorem)と呼ぶ。より一般に、これらの例のように何らかの理論(上では「数学」や「論理学」)を研究するための理論を一般に「メタ理論」と呼ぶ。
数理論理学をその始祖の一つとして持ち、人工言語たるプログラミング言語を研究対象の一つとして持つ計算機科学でも、「メタデータ」「メタプログラミング」「メタタグ」「メタヒューリスティクス」「メタ構文変数」「メタ検索エンジン」「メタファイル」「メタクラス」等の用例がある。
他にも「メタ認知」「メタ知識」「メタ記憶」「メタアナリシス」「メタデザイン」「メタモデル」「メタメッセージ」「メタ法価値論」「メタフィクション」等の用例がある。 「メタ」は元来は古代ギリシャ語で「あとに」という意味で[1]、線文字Bで書かれたミケーネ・ギリシャ語での用例が最古のものである[4]。この元来の意味も学術用語で使われる事があり、例えばMetatheria(後獣下綱)は、生物の分類を木で表したときTheria(獣亜綱)のあとに来る事による命名である。 「超越した」、「高次の」という意味で「メタ」が用いられるようになったのはアリストテレスの『タ・メタ・タ・ピュシカ』(古希: τ? μετ? τ? φυσικ?、直訳は『自然に関するものの後に』[1]だが、通常は『形而上学』と訳される)という書物に起源を持つ[1]。 本書が編集された際、自然学的な著作の後に置かれた事からこの名称で呼ばれたと思われるが[1]、後世になって本書がその短縮形『メタピュシカ』(古希: Μεταφυσικ?)で呼ばれるようになるとこの本来の意味は忘れられ、「自然学を越えたもの」という意味に解されるようになった[1]。 オックスフォード英語辞典によれば、「?を超えて」、「?について」といった意味で「メタ」を英語で用いたのは1917年に遡り、数理論理学に関連する単語で用いられるようになったのは1929年以前である。1920年にはヒルベルトが「メタ数学」という単語を用いている。また1937年にはクワインが「メタ定理」という単語を用いている[5]。 ベンゼン環の2置換体の構造異性体のうち、2つの置換基が炭素原子1つをはさんでいるものにメタ(meta-、イタリックで、ハイフンをつける)をつける。
語源
化学におけるメタ
芳香族の位置異性体キシレンの位置異性体。左からオルト、メタ、パラ。