[論文レビュー] Nonstandard Consequence Operators Generated By Mixed Logic-Systems

Robert A. Herrmann|arXiv (Cornell University)|Dec 31, 2004

Mathematical and Theoretical Analysis参考文献 2被引用数 5

ひとこと要約

本稿では、非標準解析の枠組み内で、標準的要素と非標準的要素を併せ持つ混合論理システムを導入し、それぞれが内部的非標準的帰結作用素を生成することを示している。主な貢献は、このようなシステムが超有限的で、内部的推論規則に関して閉じた非標準的帰結作用素を生成することの証明であり、物理的および言語的プロセスの超論理的モデル化への応用が含まれる。

ABSTRACT

Mixed logic-systems contain both standard and nonstandard coordinate values. In this paper, it is shown that each of the specifically defined mixed logic-systems generates an internal nonstandard consequence operator.

研究の動機と目的

• 標準的論理システムに非標準的要素を埋め込むことにより、非標準的超構造に統合して拡張すること。
• 標準的および非標準的成分を併せ持つタプルの有限集合として、混合論理システムをモデル化すること。
• これらの混合システムによって生成される内部的非標準的帰結作用素を定義し、分析すること。
• 非標準解析における *-転送原理を用いて、超有限的論理システムおよびそれらに関連する帰結作用素を調査すること。
• 非標準的要素が推論強度に与える影響を形式的にモデル化するためのフレームワークを提供すること。

提案手法

• 混合論理システムを、$ \lambda_i \in {}^*\!{\bf L} - {\bf L} $ を満たす三項関係 $ R = \{({\bf a}_i, \lambda_i, {\bf b}_i) \mid i \in [1,n]\} $ としてモデル化し、標準的および非標準的要素を統合する。
• Herrmann (2001) が提示した論理システムアルゴリズムを適用し、標準的言語 $ \bf L $ 上で有限帰結作用素 $ H_3(x) $ を定義し、*-転送を用いて非標準的モデルに拡張する。
• *-転送を用いて、有限帰結作用素 $ H_n' $ を超有限的構造へと拡張し、超有限的 $ A \subset {}^*\!{\bf L}^n $ に対して $ {}^*\!{\bf H}_n'(A) = C_A \in {}^*\!{\cal C}_f $ を得る。
• 内部的推論を挿入および座標規則により定義する：$ C(X) = X $（前提集合 $ D_i \subset X $ が存在しない場合）、さもなくば $ C(X) = X \cup \{ {\bf b}_{i_j} \} $（関連する $ i_j $ に対して）。
• 部分列長 $ m $ を用いて推論強度の尺度を導入し、より長い列は $ C(X) $ における強い影響要因を示す。
• 射影写像 $ p_1, p_2, p_3 $ を用いて成分を抽出し、非標準的推論間の影響強度を比較する。

実験結果

リサーチクエスチョン

• RQ1 標準的論理システムは、論理的閉包を保ちつつ、非標準的要素をどのように拡張できるか？
• RQ2 非標準的モデルにおいて、混合論理システムによって生成される帰結作用素がどのような性質を持つのか？
• RQ3 非標準解析において、*-転送は有限帰結作用素をどのように超有限的構造へと拡張するか？
• RQ4 前提の部分列長が、非標準的帰結作用素における推論強度にどのように影響するか？
• RQ5 繰り返しまたは超有限的推論鎖がより強い結論を生む場合に、非標準的論理システムは物理的または言語的プロセスをモデル化できるか？

主な発見

• 各混合論理システム $ R \subset {}^*\!{\bf L} \times {\bf L} \times {\bf L} $ は、内部的非標準的帰結作用素 $ C \in {}^*\!{\cal C}_f $ を生成する。$ C(X) = X $ は、前提集合 $ D_i \subset X $ が存在しない場合に成り立つ。
• $ D_k \subset X $ である場合、作用素 $ C $ はすべての $ j \in [1,m] $ に対して $ \{ {\bf b}_{i_j} \} $ を帰結し、$ C(X) = X \cup \{ {\bf b}_{i_j} \} $ となる。ここで $ m $ はそのような前提の数である。
• 結論 $ {\bf b}_{j_1} $ の影響力は、前提数 $ m $ が大きいほど強くなる。これは、異なるシステムにおける $ m $ と $ m' $ の比較によって形式化される。
• 超有限的 $ A \in {}^*\!{\cal F}'( {}^*\!{\bf L}^n ) $ に対して、*-転送により非標準的帰結作用素 $ C_A \in {}^*\!{\cal C}_f $ が得られ、内部的閉包が保証される。
• 例 3.1 において、作用素 $ C $ は $ C(\{f(0)\}) = d $ を満たし、$ d $ が超有限的集合であることを示しており、初期要素が全超有限的鎖を生成できることを示している。
• 構造 $ R = \{(x,y) \mid x = f(i), y = f(i+1) \} $ は超有限的関係を形成し、$ C $ は $ \{f(0)\} $ を全集合 $ d $ へ写像する。非標準的モデルにおける推移的閉包の実現を示している。