Fugu-MT 論文翻訳(概要): Moore's Paradox and the logic of belief

論文の概要: Moore's Paradox and the logic of belief

arxiv url: http://arxiv.org/abs/2006.11363v1
Date: Fri, 19 Jun 2020 20:41:19 GMT
ステータス: 処理完了
システム内更新日: 2022-11-19 05:09:52.248312
Title: Moore's Paradox and the logic of belief
Title（参考訳）: ムーアのパラドックスと信念の論理
Authors: Andr\'es P\'aez
Abstract要約: ムーアズ・パラドックス(英語: Moores Paradox)は、任意の形式的信念理論のテストケースである。私はヒンティッカのドクサス作用素の解釈が哲学的に問題であると主張する。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Moores Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikkas interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a more accurate way our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moores Paradox.
Abstract（参考訳）: ムーアのパラドックスは、任意の形式的信念理論のテストケースである。知識と信条において、ヒンティッカは知識と信条の認識的概念を含む文を表現するための多モーダル論理を開発した。彼の説明はパラドックスの説明をすることになっている。本稿では, ドキサスティック作用素の1つに対するプルーピッカス解釈は哲学的に問題であり, 不要かつ強い論理体系をもたらすと論じる。私は、ムーアのパラドックスのような問題事例の説明を犠牲にすることなく、信念の概念に関する論理的な直観をより正確にとらえるより弱い選択肢を提供する。

関連論文リスト

A refined Frauchiger--Renner paradox based on strong contextuality [0.0]
論理的文脈性はFRパラドックスの重要な成分である。我々は、これらの拡張されたウィグナーの友人パラドックスを解決するために、ペレスの独裁の自然な拡張を提案する。
論文参考訳（メタデータ） (2024-09-09T10:36:47Z)
Interpretability Needs a New Paradigm [49.134097841837715]
解釈可能性(英: Interpretability)とは、人間に理解可能な言葉でモデルを説明する研究である。この議論の核心は、それぞれのパラダイムがその説明が忠実である、すなわちモデルの振舞いに忠実であることをいかに保証するかである。この論文の立場は、信仰を警戒しながら新しいパラダイムを考えるべきだというものである。
論文参考訳（メタデータ） (2024-05-08T19:31:06Z)
Logic meets Wigner's Friend (and their Friends) [49.1574468325115]
我々は、Wignerのフレンドの思考体験と、そのより最近の変種と拡張について、新しい見返りをする。本稿では,いくつかの疑問に焦点をあてて,文献で提案される様々な解決策について論じる。
論文参考訳（メタデータ） (2023-07-04T13:31:56Z)
Language Models with Rationality [57.37201135072838]
大規模言語モデル(LLM)は質問応答(QA)に熟練している答えが潜んでいる「信条」からどのように従うか(あるいはたとえも)は必ずしも明確ではない。
論文参考訳（メタデータ） (2023-05-23T17:04:25Z)
Quantum theory can consistently describe the use of itself in Frauchiger-Renner's Gedankenexperiment [0.0]
FrauchigerとRennerはノーゴー定理を提示し、量子力学をより議論を呼んでいる。本文では, 証明手法の有効性について論じる。
論文参考訳（メタデータ） (2022-09-19T12:36:53Z)
Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations [71.2950434944196]
ノイズや一貫性のない言語モデルでさえも問題に対する正しい答えを推測するMaieutic Promptingを開発する。 Maieutic Promptingは最先端のプロンプト法よりも最大20%精度が高い。
論文参考訳（メタデータ） (2022-05-24T06:36:42Z)
Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning [1.6916260027701393]
本稿では,モーダル論理と順序算術を組み合わせた超有限モーダル論理を導入する。我々は、超有限モーダル論理がベイズ的推論の本質をかなり明確で単純な形で捉えていることを示唆する。
論文参考訳（メタデータ） (2022-04-02T17:58:14Z)
Surreal Decisions [0.0]
我々は、ジョン・コンウェイの超現実的数の使用は、半無限決定論の堅固な数学的基礎を提供すると論じる。そして我々は、我々の理論を、文学におけるより残酷な決定問題の一つ、パスカルのワーガー(Pascal's Wager)に当てはめる。
論文参考訳（メタデータ） (2021-10-23T18:37:20Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)
Non-Boolean Hidden Variables model reproduces Quantum Mechanics' predictions for Bell's experiment [91.3755431537592]
ベルの不等式に反することを目的とした理論は、ブール論理を諦めることから始めなければならない。ハード」問題は、単一粒子が検出された時の時間値を予測することである。「ソフト」の問題は、ベルの不平等が(非ブール的)地方リアリズムに違反していることを説明することである。
論文参考訳（メタデータ） (2020-05-20T21:46:35Z)
Epistemic Phase Transitions in Mathematical Proofs [0.0]
我々は,認知的に証明可能な信念形成機構の下では,数学的議論に対する信念は,不確実性からほぼ完全に近い信頼まで,合理的なクレーム・トゥ・クレーム・トゥ・フレーム・エラー・レートで劇的かつ急激な飛躍を経験できることを示した。我々の結果は、証明を理解する方法に関する数学の歴史と哲学における最近の研究と、複雑な信念を正当化する方法に関する基本的な認知科学に関する疑問の両方に関係している。
論文参考訳（メタデータ） (2020-03-31T18:39:56Z)

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