論文の概要: Truth and Subjunctive Theories of Knowledge: No Luck?
- arxiv url: http://arxiv.org/abs/2103.13332v1
- Date: Wed, 24 Mar 2021 16:40:42 GMT
- ステータス: 処理完了
- システム内更新日: 2021-03-25 13:52:10.871401
- Title: Truth and Subjunctive Theories of Knowledge: No Luck?
- Title（参考訳）: 真理とサブジャンクティブな知識理論:幸運ではない?
- Authors: Johannes Stern
- Abstract要約: 本論文は、クリプケの真理論を反ラックの意味論、すなわち知識の分節論に応用することを検討する。
論文は、クリプケの真理の理論は、知識の従属理論の枠組みでうまく適用できることを示しています。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The paper explores applications of Kripke's theory of truth to semantics for
anti-luck epistemology, that is, to subjunctive theories of knowledge.
Subjunctive theories put forward modal or subjunctive conditions to rule out
knowledge by mere luck as to be found in Gettier-style counterexamples to the
analysis of knowledge as justified true belief. Because of the subjunctive
nature of these conditions the resulting semantics turns out to be
non-monotone, even if it is based on non-classical evaluation schemes such as
strong Kleene or FDE. This blocks the usual road to fixed-point results for
Kripke's theory of truth within these semantics and consequently the paper is
predominantly an exploration of fixed point results for Kripke's theory of
truth within non-monotone semantics. Using the theory of quasi-inductive
definitions we show that in case of the subjunctive theories of knowledge the
so-called Kripke jump will have fixed points despite the non-monotonicity of
the semantics: Kripke's theory of truth can be successfully applied in the
framework of subjunctive theories of knowledge.
- Abstract（参考訳）: 本稿は、クリプキの真理理論を反ラック認識論の意味論、すなわち知識の亜分岐理論に応用するものである。
従属理論は、真の信念を正当化する知識の分析に対するゲティエスタイルの反例に見られるように、単に幸運によって知識を除外するために、様相的あるいは従属的条件を推し進めた。
これらの条件の部分的性質のため、強クリーネやFDEのような非古典的な評価スキームに基づいているとしても、結果のセマンティクスは非単調であることが判明した。
これにより、これらの意味論におけるクリプキの真理理論の固定点結果への通常の道が塞がれ、この論文は主に非単調意味論におけるクリプキの真理理論の固定点結果の探索である。
準帰納的定義の理論を用いることで、知識の亜共役理論の場合、いわゆるクリプキジャンプは意味論の非単調性にもかかわらず固定点を持つことを示す: クリプキの真理理論は知識の亜共役理論の枠組みにうまく適用できる。
関連論文リスト
- Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement [92.61557711360652]
言語モデル(LM)は、しばしば帰納的推論に不足する。
我々は,反復的仮説修正を通じて,LMの帰納的推論能力を体系的に研究する。
本研究は, LMの誘導的推論過程と人間とのいくつかの相違点を明らかにし, 誘導的推論タスクにおけるLMの使用の可能性と限界に光を当てる。
論文 参考訳（メタデータ） (2023-10-12T17:51:10Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - Strengthening Consistency Results in Modal Logic [0.0]
モーダル論理における根本的な問題は、与えられた理論が一貫性はあるが、何と一貫性があるのかである。
この問題に対処する典型的な方法は、背景知識公理の選択(例えば、S4、Dなど)を特定し、その背景公理と整合性のある理論によって導かれた仮定を示す。
本稿では、より堅牢な方法で整合性に対処するための命題モーダル論理の一般的な理論を紹介する。
論文 参考訳（メタデータ） (2023-07-11T07:05:37Z) - Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on
Kripke Semantics [1.6916260027701393]
我々は知識は本質的に動的であり、マクスウェルの悪魔や有名な証明である「知識は力である」との特定のつながりを引き出すと論じている。
我々は知識は本質的に動的であるという哲学的理論を提案し、マクスウェルの悪魔と「知識は力である」というよく知られた証明とのある関係を描いている。
論文 参考訳（メタデータ） (2022-09-27T00:16:05Z) - Incompatibility of observables, channels and instruments in information
theories [68.8204255655161]
運用確率論におけるテストの整合性の概念について検討する。
ある理論が不整合性テストを認めていることは、ある情報が障害なく抽出できない場合に限る。
論文 参考訳（メタデータ） (2022-04-17T08:44:29Z) - Causal Inference Principles for Reasoning about Commonsense Causality [93.19149325083968]
コモンセンス因果推論(Commonsense causality reasoning)は、平均的な人によって妥当と見なされる自然言語記述における妥当な原因と影響を特定することを目的としている。
既存の作業は通常、深い言語モデルに全面的に依存しており、共起を混同する可能性がある。
古典的因果原理に触発され,我々はCCRの中心的問題を明確にし,観察研究と自然言語における人間の対象間の類似性を引き出す。
本稿では,時間信号をインシデント・インシデント・インシデント・インシデント・インシデントとして活用する新しいフレームワークであるROCKをReason O(A)bout Commonsense K(C)ausalityに提案する。
論文 参考訳（メタデータ） (2022-01-31T06:12:39Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
我々は、量子リアリズムの公理化(量子論と相容れないリアリズムの概念)を構築する。
提案された公理のほとんどすべてを満たすことを示すエントロピー量化器のクラスを明示的に構成する。
論文 参考訳（メタデータ） (2021-10-10T18:08:42Z) - Unscrambling the omelette of causation and inference: The framework of
causal-inferential theories [0.0]
プロセス理論形式論を用いた因果推論理論の概念を導入する。
この型で運用理論と現実主義理論の考え方をリキャストすることで、実験の現実主義的説明が操作的説明を超えたものを提供するものを明らかにする。
因果関係と推論の概念がそれらの従来の(古典的な)解釈と異なるような現実主義因果推論理論の公理を特定できるならば、本質的な量子的リアリズムの概念を定義する手段がある。
論文 参考訳（メタデータ） (2020-09-07T17:58:22Z) - Quantum epistemology and constructivism [0.0]
構成主義は直観と量子論理の両方に相容れないことを示す。
この結果はフラウチャー=レンナーの定理によって示唆されるが、独立に重要である。
論文 参考訳（メタデータ） (2020-09-01T10:03:50Z) - Exploiting Game Theory for Analysing Justifications [13.72913891724593]
3つの主要な貢献によって正当化理論の研究を継続する。
1つ目は、正当化理論とゲーム理論の関係を研究することである。
第2の貢献は、正当化理論の2つの異なる方言が一致する条件下での研究である。
第3の貢献は、正当化理論によって誘導される意味論が一貫性のある結果をもたらすときの正確な基準を確立することである。
論文 参考訳（メタデータ） (2020-08-04T14:45:08Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。