間接的な自己言及

間接自己参照とは、ある対象が間接的に自身を参照することを指します。例えば、「この文は偽である。」という文は直接自己参照を含んでおり、「この文」という句が文全体を直接参照しています。間接自己参照文では、「この文」という句が間接参照に置き換えられます。間接参照は実質的に文全体を参照しますが、「これ」という代名詞は使用されません。^[1]

間接的な自己参照は、参照関係のグラフにおける循環の観点から厳密に定義することができます。^[2]

その一例はポストカードのパラドックスで、ある文が別の文を参照し、その文がまた元の文を参照するというものです。^[1]

間接的な自己言及はWVクワインによって深く研究され、ゲーデルの不完全性定理の証明において中心的な位置を占めている。^[3]

参照

• 数学ポータル
• 哲学ポータル

• 対角線の補題 – 数理論理学における命題
• 固定小数点（数学）  – 数学関数によって自身にマッピングされた要素
• 固定小数点コンビネータ – Y f = f (Y f) となる高階関数 Y
• ゲーデル、エッシャー、バッハ – ダグラス・ホフスタッター著、1979年
• 間接参照 – コンピュータプログラミング構造
• クワインのパラドックス – 真理値に関する論理的パラドックス
• セルフホスティング（コンパイラ）  - 自分自身の新しいバージョンを生成できるソフトウェア
• 自己インタープリタ – エンコードされたロジックを実行するソフトウェアPages displaying short descriptions of redirect targets

参考文献

1. Bolander, Thomas (2024), Zalta, Edward N.; Nodelman, Uri (eds.)、「Self-Reference and Paradox」、The Stanford Encyclopedia of Philosophy (Fall 2024 ed.)、Metaphysics Research Lab、Stanford University 、 2025年12月5日閲覧。
2. Bolander, Thomas (2005). 「自己言及と論理」（PDF） .
3. シルバ、マテウス（2025年12月1日）「ゲーデルの不完全性証明の循環性について」philarchive.org . 2025年12月5日閲覧。