このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

メタレベルと対象レベル

  • メタ(形容詞)=我々が生きている現実世界の …
  • 対象(形容詞)=我々が調査と考察の対象(目的物)とする数学的モデル(対象演繹システム)内の …

例:

  1. メタ記号 vs. 対象記号
  2. メタ変数 vs. 対象変数
  3. メタ命題 vs. 対象命題
  4. メタ定理 vs. 対象定理

メタ側がモヤッとしている例:

  1. メタ言語 vs. 対象言語
  2. メタ構文 vs. 対象構文
  3. メタ論理 vs. 対象論理
  4. メタ数学 vs. 対象数学

機械的に(語感とかニュアンスとかは一切考慮しないで)「メタ」と「対象」を付けて区別する。