論文の概要: Warrant Theory
- arxiv url: http://arxiv.org/abs/2609.11667v1
- Date: Thu, 10 Sep 2026 15:06:30 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-11 23:53:35.410466
- Title: Warrant Theory
- Title（参考訳）: 警告説
- Abstract要約: ワーラント理論は論理を、命題が導入されたり、受け入れられたり、拒絶されたり、推論的に採用されるような条件を規定する規範的な枠組みとして再認識する。
ワーラントは推論的権利として理解されており、真実、信念、その他の心理的態度と区別されている。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: In this paper, we develop warrant theory as a philosophical discipline concerned with the inferential legitimacy of propositions within logical analysis. Warrant theory reconceptualises logic as a normative framework governing the conditions under which propositions may be introduced, accepted, rejected, and inferentially employed. Warrant is understood as inferential entitlement and is distinguished from truth, belief, and other psychological attitudes, while its relation to inferential use and meaning is examined. Warrant-theoretic analysis is then developed as a systematic method for investigating how propositions acquire inferential standing, how that standing develops, and how inferential positions interact through relations of dependence, compatibility, incompatibility, and exclusion. Acceptance and rejection provide the bilateral vocabulary for representing positive and negative inferential positions and the consequences and commitments associated with them. Finally, these elements are brought together in a warrant-theoretic definition of logic as the formal and normative study of the conditions under which propositions may be legitimately accepted or rejected and of the inferential transitions that such legitimacy warrants. On this account, logical consequence and logical failure are understood through the presence, preservation, or absence of inferential entitlement, thus locating the philosophical subject matter of logic in the systematic governance of inferential legitimacy.
- Abstract（参考訳）: 本稿では、論理解析における命題の推論正当性に関する哲学的規律として令状理論を開発する。
ワーラント理論は論理を、命題が導入されたり、受け入れられたり、拒絶されたり、推論的に採用されるような条件を規定する規範的な枠組みとして再認識する。
ワーラントは推論的権利として理解され、真理、信念、その他の心理的態度と区別される一方で、推論的使用と意味との関係について検討する。
ワーラント理論分析は、命題がどのように推論的立位を獲得するか、その立位がどのように発達するか、そして、依存、適合性、非競合性、排他性の関係を通して、推論的位置がどう相互作用するかを研究するための体系的な方法として開発される。
受容と拒絶は、正と負の推論位置とそれらに関連する結果とコミットメントを表すために両側の語彙を提供する。
最後に、これらの要素は、命題が合法的に受け入れられたり却下されたりする条件の形式的および規範的な研究と、そのような正当性保証の推論的遷移として、保証理論的な論理の定義にまとめられる。
この観点から、論理的帰結と論理的失敗は、推論的権利の存在、保存、欠如を通じて理解され、推論的正当性の体系的統治において論理学の哲学的主題を定めている。
関連論文リスト
- Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification [49.506412445511934]
大きな言語モデル(LLM)は目覚ましい能力を示すが、その次は論理的不整合と報奨ハックを生み出す。
本稿では,自然言語生成プロセスと形式的記号的検証を動的にインターリーブする形式論理検証誘導フレームワークを提案する。
我々はこのフレームワークを,形式論理検証誘導制御による微調整とポリシー最適化の相乗効果を生かした,新しい2段階のトレーニングパイプラインを通じて運用する。
論文 参考訳（メタデータ） (2026-01-30T07:01:25Z) - A Reduction of Input/Output Logics to SAT [51.82266520875928]
デオン論理(Deontic logic)は、規範、義務、許可、禁止について推論するための形式主義である。
本稿では,I/O論理の自動化手法を提案する。
論文 参考訳（メタデータ） (2025-08-22T09:22:26Z) - Reasoning is about giving reasons [55.56111618153049]
高い精度の3つの一般的な推論データセットにおいて、自然言語の引数の論理構造を同定し、抽出できることが示される。
我々のアプローチは、自然言語の引数の論理構造に依存するあらゆる推論形式をサポートする。
論文 参考訳（メタデータ） (2025-08-20T07:26:53Z) - Toward a Graph-Theoretic Model of Belief: Confidence, Credibility, and Structural Coherence [0.0]
本稿では、有向重み付きグラフとして、信念システムに対する最小の定式化を導入する。
論理的および議論に基づくフレームワークとは異なり、バイナリの正当化ステータスや推論的クロージャをコミットすることなく、きめ細かい構造表現をサポートする。
その目的は、信念体系の内部組織を解析するための基盤となる基盤を提供することである。
論文 参考訳（メタデータ） (2025-08-05T14:03:23Z) - Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems [0.0]
構造的推論、命題的コミットメント、矛盾検出をサポートする。
信念表現、メタ認知プロセス、規範的検証を形式化し、象徴的推論、知識グラフ、ブロックチェーンベースの正当化を統合する。
論文 参考訳（メタデータ） (2025-06-19T04:20:55Z) - An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version) [6.983702226751596]
条件独立の概念は近似不動点理論の枠組みで研究される。
これにより言語に依存しない条件独立性の説明が提供され、固定点意味論を持つあらゆるロジックに簡単に適用できる。
論文 参考訳（メタデータ） (2024-12-18T10:52:57Z) - A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳（メタデータ） (2024-05-10T14:13:21Z) - Inferentialist Resource Semantics [48.65926948745294]
本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。
推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。
この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
論文 参考訳（メタデータ） (2024-02-14T14:54:36Z) - A Unifying Framework for Learning Argumentation Semantics [47.84663434179473]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。
提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文 参考訳（メタデータ） (2023-10-18T20:18:05Z) - Certain and Uncertain Inference with Indicative Conditionals [0.3437656066916039]
我々は、真理条件と自然言語条件の確率の3値意味論を開発する。
いずれのフレームワークにおける推論の3価表現と確率表現の体系的対応を示す。
その結果は、条件推論の妥当性を分析するために有益に適用できる条件のセマンティクスと指示の統一的な説明である。
論文 参考訳（メタデータ） (2022-07-17T20:06:00Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳（メタデータ） (2022-05-25T03:40:59Z) - Transparency, Compliance, And Contestability When Code Is(n't) Law [91.85674537754346]
技術的なセキュリティ機構と法的なプロセスの両方が、一連の規範に従って誤った行動を扱うメカニズムとして機能する。
彼らは一般的な類似点を共有しているが、どう定義されているか、行動し、被験者に与える影響にも明確な違いがある。
本稿では,両機構の類似点と相違点を,誤動作の対処方法として考察する。
論文 参考訳（メタデータ） (2022-05-08T18:03:07Z) - Modelling Value-oriented Legal Reasoning in LogiKEy [0.0]
LogiKEyは、対話的かつ自動化された定理証明技術を利用して、法的ドメイン固有言語や理論の開発と形式的検証を行うためのテストベッドを提供する。
我々は、知識表現における最新の研究と、非古典論理学における推論、自動定理証明、および法的推論における応用の間の新しい橋渡しを確立する。
論文 参考訳（メタデータ） (2020-06-23T06:57:15Z) - Cognitive Argumentation and the Suppression Task [1.027974860479791]
本稿では,認知論(Cognitive Argumentation)と呼ばれる新たなフレームワークにおいて,人間の推論をモデル化する上での課題について述べる。
このフレームワークは認知科学における経験的および理論的研究に基づく認知原理に依存しており、AIから計算議論の一般的かつ抽象的な枠組みを適応させる。
我々は、認知論は、人間の条件推論に一貫性があり、認知的に適切なモデルを提供すると論じている。
論文 参考訳（メタデータ） (2020-02-24T10:30:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。