[论文解读] 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.

研究动机与目标

• 将标准逻辑系统扩展以包含非标准元素，通过将其嵌入非标准超结构中。
• 将混合逻辑系统建模为包含标准与非标准分量的有限元组集合。
• 定义并分析由这些混合系统生成的内部非标准推理算子。
• 通过 *-转移原理，研究超有限逻辑系统及其关联的推理算子。
• 为物理与语言过程建模提供一个正式框架，其中非标准元素可影响推理强度。

提出的方法

• 将混合逻辑系统建模为三元关系 $ R = \{({\bf a}_i, \lambda_i, {\bf b}_i) \mid i \in [1,n]\} $，其中 $ \lambda_i \in {}^*\!{\bf L} - {\bf L} $，结合标准与非标准元素。
• 应用 Herrmann (2001) 提出的逻辑系统算法，在标准语言 $ \bf L $ 上定义有限推理算子 $ H_3(x) $，并通过 *-转移扩展至非标准模型。
• 使用 *-转移将有限推理算子 $ H_n' $ 提升至超有限结构，得到 $ {}^*\!{\bf H}_n'(A) = C_A \in {}^*\!{\cal C}_f $，其中 $ A \subset {}^*\!{\bf L}^n $ 为超有限集合。
• 通过插入规则与坐标规则定义内部推理：若不存在前提集 $ D_i \subset X $，则 $ C(X) = 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 $，且当不存在前提集 $ D_i \subset X $ 时，$ C(X) = X $。
• 当 $ D_k \subset X $ 时，算子 $ C $ 对所有 $ j \in [1,m] $ 推出 $ \{ {\bf b}_{i_j} \} $，其中 $ m $ 为满足条件的前提数量，且 $ C(X) = X \cup \{ {\bf b}_{i_j} \} $。
• 当前提数量 $ m $ 较大时，结论 $ {\bf b}_{j_1} $ 的影响更强，该关系通过比较不同系统中的 $ 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 $，展示了在非标准模型中传递闭包的存在。