論文の概要: Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds

• arxiv url: http://arxiv.org/abs/2506.17276v1
• Date: Thu, 12 Jun 2025 18:35:01 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-29 09:28:14.849164
• Title: Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
• Title（参考訳）: Modal Logic for Stratifiedが登場 - 実現可能な世界を超えて現実化
• Authors: Alexandre Le Nepvou,
• Abstract要約: 本稿では,階層化現実化の考え方に基づくモーダル論理の新しいフレームワークを開発する。 伝統的なクリプキ意味論は、モーダル作用素を完全決定的な選択肢に対する定量化として扱う。 本稿では,モダリティをオントロジ的安定性のレベルによってインデクシングするSAL(Stratetified Actualization Logic)を提案する。
• 参考スコア（独自算出の注目度）: 55.2480439325792
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This article develops a novel framework for modal logic based on the idea of stratified actualization, rather than the classical model of global possible worlds. Traditional Kripke semantics treat modal operators as quantification over fully determinate alternatives, neglecting the local, dynamic, and often asymmetric nature of actualization processes. We propose a system Stratified Actualization Logic (SAL) in which modalities are indexed by levels of ontological stability, interpreted as admissibility regimes. Each modality operates over a structured layer of possibility, grounded in the internal coherence of transitions between layers. We formally define the syntax and semantics of SAL, introduce its axioms, and prove soundness and completeness. Applications are discussed in connection with temporal becoming, quantum decoherence domains, and modal metaphysics. The result is a logic that captures the ontological structure of actualization without recourse to abstract possible worlds, offering a stratified alternative to standard modal realism.
• Abstract（参考訳）: 本稿では,グローバル可能世界の古典的モデルではなく,階層化現実化の概念に基づくモーダル論理の新しいフレームワークを開発する。 伝統的なクリプキ意味論は、モーダル作用素を完全決定的な代替品に対する定量化として扱い、実化過程の局所的、動的、そしてしばしば非対称の性質を無視する。 本稿では,適応性理論として解釈される存在論的安定性のレベルによってモダリティを索引付けするSAL(Stratetified Actualization Logic)を提案する。 それぞれのモダリティは、層間の遷移の内部コヒーレンスに基礎を置き、構造された可能性の層の上で機能する。 我々は、SALの構文と意味を正式に定義し、その公理を導入し、健全性と完全性を証明する。 応用は、時間的転向、量子デコヒーレンス領域、モーダルメタ物理と関連して議論される。 その結果は、抽象可能な世界とは無関係に現実化の存在論的構造を捉え、標準的なモーダルリアリズムに代わる階層化された代替手段を提供する論理である。

関連論文リスト

• Policy Regularization on Globally Accessible States in Cross-Dynamics Reinforcement Learning [53.9544543607396]
  我々は、報酬レンダリングとImitation from Observation (IfO)を統合した新しいフレームワークを提案する。 異なる方法でF距離をインスタンス化することにより、2つの理論的解析を導き、アクセシブルステート指向ポリシー規則化(ASOR)と呼ばれる実用的なアルゴリズムを開発する。 ASOR は、オフライン RL やオフライン RL など、様々なアプローチ RL に組み込まれる一般的なアドオンモジュールとして機能する。
  論文  参考訳（メタデータ） (2025-03-10T03:50:20Z)
• Standard Neural Computation Alone Is Insufficient for Logical Intelligence [3.230778132936486]
  論理的推論を統合するためには、標準的なニューラルネットワーク層を根本的に再考する必要がある、と我々は主張する。 論理演算の微分可能な近似を組み込んだ論理ニューラルネットワーク(LNU)モジュラーコンポーネントを提唱する。
  論文  参考訳（メタデータ） (2025-02-04T09:07:45Z)
• Advancing Interactive Explainable AI via Belief Change Theory [5.842480645870251]
  この種の形式化は、対話的な説明を開発するためのフレームワークと方法論を提供する、と我々は主張する。 まず,人間と機械の間で共有される説明情報を表現するために,論理に基づく新しい形式を定義した。 次に、対話型XAIの現実シナリオについて検討し、新しい知識と既存の知識の優先順位が異なり、フォーマリズムがインスタンス化される可能性がある。
  論文  参考訳（メタデータ） (2024-08-13T13:11:56Z)
• Unifying different notions of quantum incompatibility into a strict hierarchy of resource theories of communication [60.18814584837969]
  我々は、POVM、チャネル、機器の非互換性の異なる概念を統一するq-compatibilityの概念を導入する。 我々は、情報理論資源の観点から、各非互換性の概念が何を構成しているかを正確に特定することができる。
  論文  参考訳（メタデータ） (2022-11-16T21:33:31Z)
• Provable Hierarchy-Based Meta-Reinforcement Learning [50.17896588738377]
  HRLをメタRL設定で解析し、下流タスクで使用するメタトレーニング中に学習者が潜在階層構造を学習する。 我々は、この自然階層の標本効率の回復を保証し、抽出可能な楽観主義に基づくアルゴリズムとともに「多様性条件」を提供する。 我々の境界は、時間的・状態的・行動的抽象化などのHRL文献に共通する概念を取り入れており、我々の設定と分析が実際にHRLの重要な特徴を捉えていることを示唆している。
  論文  参考訳（メタデータ） (2021-10-18T17:56:02Z)
• Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic [0.0]
  量子資源理論は、変数領域S4モーダル論理のモデルに関手的に変換される可能性があることを示す。 次に、これらの論理モデルに構造を加えることによって、この関手関係を射影関係に拡張する。
  論文  参考訳（メタデータ） (2020-06-29T20:11:32Z)
• Logical Neural Networks [51.46602187496816]
  ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。 すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。 推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
  論文  参考訳（メタデータ） (2020-06-23T16:55:45Z)
• Solvable Criterion for the Contextuality of any Prepare-and-Measure Scenario [0.0]
  準備・測定シナリオに関連する量子統計量の操作的非文脈的オントロジーモデルを構築した。 単位分離性と呼ばれる数学的基準は、関連する古典性基準として定式化される。 我々は、一般化確率論の枠組みで結果を再構成する。
  論文  参考訳（メタデータ） (2020-03-13T18:00:05Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。