論文の概要: Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)

• arxiv url: http://arxiv.org/abs/2605.27246v1
• Date: Tue, 26 May 2026 16:25:52 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-27 17:51:42.412852
• Title: Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
• Title（参考訳）: 多くの論理学, 一つの方法論:形式化された推論における論理的多元主義(プレプリント)
• Authors: Christoph Benzmüller, Daniel Kirchner, Luca Pasetto,
• Abstract要約: 本稿では,LogiKEyのような統一メタロジカルフレームワークにおいて,オブジェクト論理レベルでの論理的多元論を推し進める。 現代の証明助手における論理的多元主義の原則的支持を提唱し、論理的帝国主義に対して警告する。
• 参考スコア（独自算出の注目度）: 0.07646713951724012
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This position statement looks back on two decades of work on shallow embeddings of non-classical logics in classical higher-order logic (HOL), a line of research that expanded into a range of logic embeddings in HOL and inspired the LogiKEy logic-pluralistic knowledge representation and reasoning methodology. This paper advances the case for logical pluralism at object-logic level within a unifying meta-logical framework such as LogiKEy, grounding the argument in computational metaphysics. More broadly, it advocates principled support for logical pluralism in modern proof assistants, and cautions against logical imperialism -- the rigid adoption of a single foundational logic for large-scale theory developments -- which impedes the interdisciplinary reuse that LogiKEy is designed to enable.
• Abstract（参考訳）: このポジションステートメントは、古典的高階論理(HOL)における非古典論理の浅い埋め込みに関する20年間の研究を振り返る。 本稿では,LogiKEyのような統一メタロジカルフレームワークにおいて,オブジェクト論理レベルでの論理的多元論を推し進め,計算メタロジカル論の議論を根拠にしている。 より広くは、近代的な証明助手における論理的多元論の原則的支持と、論理的帝国主義(大規模理論の発展のための単一基礎論理の厳格な採用)に対する警告が、LogiKEyが実現するために設計された学際的再利用を妨げることを主張している。

関連論文リスト

• Logic Unseen: Revealing the Logical Blindspots of Vision-Language Models [58.456656119178064]
  VLM(Vision-Language Models)は、マルチモーダルインテリジェンスの基礎として登場した。 しかし、その論理的理解能力は依然として明らかに過小評価されている。 LogicBenchは9つの論理カテゴリと4つの多様なシナリオにまたがる5万以上の視覚言語ペアを備えたベンチマークである。 VLMの論理感度を高めるためのトレーニングフレームワークであるLogicCLIPを提案する。
  論文  参考訳（メタデータ） (2025-08-15T08:40:13Z)
• Faithful Logic Embeddings in HOL -- Deep and Shallow [0.0]
  本稿では,古典的高次論理学における深層・浅層埋め込みの同時展開法を提案する。 この手法は論理学の教育、研究、応用に有用であり、ここでは単純な命題のモーダル論理を用いて説明される。
  論文  参考訳（メタデータ） (2025-02-26T17:08:07Z)
• Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework [117.6508659085231]
  本稿では論理完全推論フレームワークであるAristotleについて,論理解法,論理解法,論理解法,論理解法の3つの主要なコンポーネントを提案する。 本フレームワークでは,記号表現と論理規則を総合的に推論プロセスに統合する。 いくつかのデータセットの実験結果は、Aristotleが最先端の推論フレームワークを精度と効率の両方で一貫して上回っていることを示している。
  論文  参考訳（メタデータ） (2024-12-22T10:14:09Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• Automated Reasoning in Non-classical Logics in the TPTP World [58.720142291102135]
  TPTP Worldは現在、古典論理のみをサポートしている。 非古典論理推論の同様の標準は存在しない。 本稿では,非古典論理学における推論のための言語と基盤を提供するTPTP Worldの最新の拡張について述べる。
  論文  参考訳（メタデータ） (2022-02-20T15:29:30Z)
• New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework [0.0]
  古典的な高階論理へのデオン論理のセマンティック埋め込みに基づくLogiKEy手法を提案する。 代数的アプローチを用いて,LogiKEyデオン論理とデータセットを大幅に拡張する。
  論文  参考訳（メタデータ） (2021-07-25T16:33:07Z)
• Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis [0.0]
  本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。 我々は古典的な高階論理に最先端の自動推論技術を用いる。
  論文  参考訳（メタデータ） (2020-07-02T11:07:53Z)

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

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