技術的概要：証明論的意味論を通じた情報への推論主義的説明への道

1. 問題提起

本論文は、現代社会および情報科学の中心にある概念である「情報」に対して、完全に説得力のある論理的または数学的基盤が欠如しているという問題に取り組む。現在のアプローチ、特に状況理論（Situation Theory）に根ざしたものは、外部モデルから導出される真理条件に依存している。著者らは、この真理（特に「真実性テーゼ」）および外部モデルへの依存が、複雑で分散された情報生態系についての推論能力を制限すると主張する。彼らは、情報の意味がモデルとの対応ではなく、推論における使用によって決定されるような枠組みが必要であると提唱する。

2. 方法論

著者らは、特にベース拡張意味論（B-eS）を利用した証明論的意味論（P-tS）に根ざした情報の推論主義的意味論を提案する。この方法論は、以下の 3 つの相互作用する構成要素を含む：

1. 概念分析（形而上学）： 著者らは、フレッド・ドレツキの情報の形而上学（意図性、真理、伝達性）を再解釈する。彼らは真理の要件を推論可能性に置き換える。情報はモデルにおいて真である事実としてではなく、原子論的規則の集合（「ベース」）から導出可能な単位として定義される。
2. 論理（形式化）： 本論文は、**推論子（inferon）と呼ばれる情報の原始単位に関する数学的・論理的理論を構築するために P-tS を採用する。このアプローチは、状況理論（Barwise、Seligman 他）のモデル論的インフォン（infon）**に対抗する。
   • 推論子： $\langle\langle P, \mathcal{P}, b \rangle\rangle$ という三つ組として定義される。ここで $P$ は原子命題または述語、$\mathcal{P}$ は局所的推論子ベース（原子論的規則の集合）、$b$ は極性（肯定または否定）である。
   • 意味： 推論子の意味は、一階モデルではなく、原子論的規則のグローバルベースと推論子の局所ベースから導出される。
   • 論理： 著者らは、直観主義命題論理（IPL）に対する Sandqvist の B-eS および Gheorghiu の一階論理への拡張を拡張し、推論子に基づく論理を開発する。
3. システム（応用）： 開発された P-tS ツールは、分散システムのモデル化に応用される。著者らは、分類とインフォモルフィズムを推論子ベースと**推論子モルフィズム（inferomorphisms）**に置き換えることで、Barwise と Seligman の「分散システムの論理（LDS）」フレームワークを適応させる。

3. 主要な貢献

A. 推論子と推論主義的意味論

核心的な貢献は、状況理論のインフォンに対する推論主義的対応物として推論子を定義することである。

• 構造： 推論子 $\iota = \langle\langle P, \mathcal{P}, b \rangle\rangle$ は、命題 $P$、局所ベース $\mathcal{P}$、および極性 $b$ から構成される。
• 支持関係： 妥当性は、ベース $B$ に対する支持関係 $\Vdash_B$ によって定義される。原子論的推論子が支持されるのは、グローバルベースと局所ベースの和集合において導出可能である場合に限る：$\Vdash_B \langle\langle P, \mathcal{P}, b \rangle\rangle$ であることと、$\vdash_{B \cup \mathcal{P}} \langle\langle P, b \rangle\rangle$ であることは同値である。
• 主体性： この枠組みは、推論能力を表すために主体モダリティ（$[a]$ および $\langle a \rangle$）を導入する。ある主体が推論子を支持する能力は、環境ベースと主体固有のベースの集合の和集合に依存する。

B. 論理的結果

本論文は、推論子の論理の形式的性質を確立する：

• 健全性と完全性： 著者らは Sandqvist の証明を適応させ、推論子の命題論理に対して定理 11（健全性）と定理 12（完全性）を証明する。これらの結果は、一階の場合に拡張される（定理 11 および 12 の拡張）。
• （推論子）公理： 自然推論計算とベース拡張意味論の間の整合性を確保するために、局所ベースとグローバル支持関係の相互作用を処理する特定の公理が導入される。
• 複合推論子： この枠組みは、推論子内の論理結合子を可能とし、支持関係は再帰的に定義される（図 9）。

C. 情報の流れと推論子モルフィズム

本論文は、分散システムにおける情報の流れに対する推論主義的説明を開発する：

• 推論子モルフィズム： LDS におけるインフォモルフィズムに類似して、推論子モルフィズムは、異なるベース間での導出可能性関係を保存する関数の対（項上の $f^\vee$、述語上の $f^\wedge$）である。
• チャネル： チャネルは、共通のコア（中央ベース）を共有する推論子モルフィズムの族として定義される。
• 情報の流れ： 情報の流れは、チャネルを介した推論子間の制約によって特徴づけられる。もし制約がコアで成立する場合、それはあるコンポーネントから別のコンポーネントへ情報を転送する。
• サイトと文脈： 著者らは、サイト（有限の推論子原子の集合）と文脈的支持関係 $\Vdash^P_B$ を導入する。これにより、制約が外部の意味的条件ではなく、含意と「Inf」規則を介して内部化される、情報の流れのモデル化が可能になる。

4. 結果と例

本論文は、以下のいくつかの例を通じて、この枠組みの実用性を示す：

• 火のない所に煙は立たず： 制約への「同調」を、推論子ベースを結びつける推論規則として形式化する。これは、遠隔の事実への直接的なアクセスなしに、局所的な知覚（煙）と共有された制約に基づいて、遠隔の状況（火）に関する情報を主体が導出できる方法を示す。
• 賢人パズル： 固定された推論能力を用いて認識論的パズルをモデル化する。主体は他の主体の推論不可能性について推論し、この枠組みが無限の状態空間探索を必要とせずに推論そのものについての推論をどのように処理するかを実証する。
• アクセス制御： パスワードとトークンがアクセスにつながるシステムをモデル化し、制約が含意を介して論理に内部化される方法を示す。
• 空港セキュリティ： 情報（パスポート、チケット、手荷物）が分散システムを流れる様子をモデル化する詳細なケーススタディ（図 11）。これは、サイト（ある場所で利用可能な情報）とベース（推論能力）がチャネルを介してどのように進化し、相互作用してシステムの完全性（例えば、乗客と手荷物の一致）を確保するかを実証する。

5. 意義と主張

本論文は、推論と推論に根ざした、概念的に厳密な数学的・論理的な情報の説明を提供すると主張する。その意義は以下の点にある：

• 基盤の転換： モデル論的視点（モデルにおける真理）から証明論的視点（ベースにおける導出可能性）へと移行する。これは、意味が使用によって決定されるという推論主義的哲学と合致する。
• Van Benthem のカテゴリーへの対応： 著者らは、彼らのアプローチは主に（推論子と状況を通じて）情報＝相関に対処するが、（ベースの範囲を通じて）情報＝範囲および（メッセージの推論的内容を通じて）情報＝コードに対処する道筋も提供すると論じる。
• 分散システムのモデル化： これは、情報処理システムの組織化に適用可能な、推論に基づく情報の流れの理論を提供し、潜在的に管理不可能なグローバルモデルに依存することなく、複雑な生態系を理解するためのツールを提供する。
• 謙虚さ： 著者らは、この作業を完全な推論主義的説明への「第一歩」として特徴づける。彼らは、真実性、主体性、および他の論理的ダイナミクス（例えば、Van Benthem の仕事）との統合に関するより深い議論は将来の課題に委ねられることを認めている。彼らはすべての基礎的問題を解決したと主張するのではなく、さらなる発展のための実行可能な論理的枠組みを確立したと主張している。