論文の概要: 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つに対するプルーピッカス解釈は哲学的に問題であり, 不要かつ強い論理体系をもたらすと論じる。
私は、ムーアのパラドックスのような問題事例の説明を犠牲にすることなく、信念の概念に関する論理的な直観をより正確にとらえるより弱い選択肢を提供する。
関連論文リスト
- Contrastive Chain-of-Thought Prompting [74.10511560147293]
本稿では,言語モデル推論を強化するために,思考の対照的な連鎖を提案する。
従来の思考の連鎖と比較して,本手法は妥当かつ無効な推論実証を提供する。
推論ベンチマーク実験により、思考の対照的な連鎖は、思考の連鎖の促進に役立てることができることを示した。
論文 参考訳(メタデータ) (2023-11-15T18:54:01Z) - Logic meets Wigner's Friend (and their Friends) [77.34726150561087]
我々は、Wigner's Friend thought-experimentと、Frauchiger-Renner Paradoxのような、より最近の変種と拡張を新たに見ていく。
我々はこれらの質問に対する新しい回答を提案し、この回答の特定の形式的な実装をスケッチし、Wigner Friend-type paradoxesの原理的な解を得るためにそれを適用する。
論文 参考訳(メタデータ) (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) - Quantum Theory Needs No 'Interpretation' But 'Theoretical
Formal-Conceptual Unity' (Or: Escaping Adan Cabello's "Map of Madness" With
the Help of David Deutsch's Explanations) [0.0]
我々は、量子論の「解釈」が反現実主義者によって設計された罠として機能していると考える理由があると主張している。
アインシュタインが1世紀ほど前にハイゼンベルクに語ったように、この解釈の反現実主義的罠から逃れる鍵は、何が観察できるかを教えてくれる理論に過ぎません。
論文 参考訳(メタデータ) (2020-08-01T19:10:06Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。