論理Epistemische-ウィキペディア

Posted on by
before-content-x4

認識論的論理 （ギリシャ語からἐπιστήμηの科学、知識 ‘）、 知識ロジック 、個人やグループ間の信仰と知識を扱っています。認識論的論理を使用した研究の目的は、多くの場合、意見と知識の動的または柔軟なモデルです。哲学的論理のこの分野は、モダロジーのサブエリアであり、しばしば信仰と意見（信念）の分野のドキシスティックロジックと一致します。

after-content-x4

認識論的論理は、基本的な声明または述語論理を逆転させる古典的な論理を拡大する哲学的論理です

  • 知識のためにオペレーターを拡張しました（知識オペレーター “W”）（= 狭い意味での認識論的論理 （知識の論理） ））

またはDoxastic Logicの他の演算子、例えばB.のため

  • 信仰（納得した （強い信念）; 可能性のために保持します （弱い信念） ）） [初め] また
  • 可能なことを考慮する [2] （= さらに意味のある認識論的論理 ）） [初め] （信仰と知識の論理） 。

その現代形式の認識論的論理は、認識論的モダリティのより複雑な計算へのつながりを調べます。したがって、認識論的論理は、知識の形態、たとえば、知識の可能性のために保存された知識や知識の自己反省の間の体系的な関係を示し、論理における認識論の基本的な用語を再構築します。声明が証明されていると見なされたとき、それが信じられたときに主張したときに示すことに興味があります。彼女はまた、嘘とエラーと確率という用語を扱っています。確率の論理への遷移は流動的です。

認識論的ロジックは拡張することはできませんが、せいぜい 集中的な 解釈。集中的なセマンティクスは、可能な世界のセマンティクスにあります [3] 。基本的な考え方は、誰かがPを確信しているということです。あらゆる世界で彼がそうだと思うなら、誰かがそうだと確信しているということです。認識論的またはドキシスティックロジックのさまざまなシステムのより正確な構文および意味的特性。 Modallogikを参照してください。

認識論的論理からの有効および無効なステートメントの例（より狭い意味で） [ 編集 | ソーステキストを編集します ]

  • 有効：AがPを知っている場合、Pは真です。 [4]
  • 有効：Aがそのpを知っていて、そのqを知っている場合、そのpとqを知っています。
  • 無効：私はそのpを知りません

Doxasticロジックからの有効および無効なステートメントの例 [ 編集 | ソーステキストを編集します ]

  • 有効：AがPを確信し、QをQと確信した場合、AはPとQを確信しています。
  • 有効：Aは、Pが当てはまらないと確信していない場合、P。
  • 無効：aがそのpを考慮し、そのqを好む場合、aはpとqを考慮します [5] 。

一部のシステムで有効なステートメントの例 [ 編集 | ソーステキストを編集します ]

  • Aがそのpを知っている場合、彼はP.（だから、肯定的な内省saxiomを呼び出した）を知っていることも知っています。
  • AがPを知らない場合、AはそのP.を知らないことを知っています（そのため、ネガティブイントロスペクションsaxiom。）

認識論的論理を正式化し、それを適用できるようにするための多くのアプローチがあります。背景は、信仰と知識に基づいて目的を実装する努力です。一般的なアプローチは、声明または述語論理の表現の可能性を想定し、信仰と知識のために2つの新しいオペレーター（モーダルオペレーター）を紹介することです。これらの演算子の特異性は、彼らが主題Aの存在、その信念または知識を必要とすることであり、それらを表現することを可能にします。

g a（ p ）） {displaystyle g_ {a}（p）}

次のようなことを意味します：主題Aは、Pが真であると信じています。

after-content-x4

の a（ p ）） {displaystyle w_ {a}（p）}

次のようなことを意味します：主題Aは、pが真であることを知っています。

認識論的論理有効なステートメントの（ほとんどのシステム）の別の簡単な例を示すために、主題Aによるポネンモードの習得は、まだここに記載されている必要があります。

の a（ p ）） ∧ の a（ p → Q ）） → の a（ Q ）） {displaystyle w_ {a}（p）ウェッジw_ {a}（prightarrow q）rightarrow {a}（q）}

（AがPを知っており、P qが暗示することを知っている場合、AはQを知っています）。

もちろん、異なる主題は、互いに矛盾することさえできるさまざまなことを信じたり知ったりすることができます。
このような論理的な世界は、たとえば、実装する人工知能にあります マルチ市民システム 使用済み。

  • ジョージ・ヘンリック・フォン・ライト： モーダルロジックのエッセイ。 ノースホランド出版社、アムステルダム1951年。
  • Jaakko hintikka： 知識と信念。 イサカ1962。2005年に新たに演奏された、ISBN 978-1904987086。
  • Jaakko hintikka： 認識論の論理と論理の認識論。 スプリンガーオランダ、ベルリン1989。
  • ヴォルフガング・レンゼン： 信仰、知識、確率。 ウィーン /ニューヨーク、スプリンガー1980。
  • Hans Van Ditmarsch、Wiebe Van der Hoek、Barteld Kooi： 動的認識論理。 Springs 2007、ISBN 978-1402058387。
  • ロナルド・ファギン、ジョセフ・ハルパーン、ヨーラム・モーゼス、モシェY.ヴァルディ： 知識についての推論。 Press 1995、ISBN 978-0262562003。
  1. ↑ a b Regenbogen/Meyer、哲学用語辞書（2005）、Doxastic Logicを参照してください
  2. ↑ そのため、前身バージョン。情報源には言及されていません
  3. ↑ Rainbow/Meyer、哲学用語の辞書（2005）、認識論的論理
  4. ↑ Rainbow/Meyer、哲学用語辞書（2005）、認識論的論理：「非ストリット法」
  5. ↑ Regenbogen/Meyerを参照してください： 哲学的用語の辞書 （2005）、認識論的論理

after-content-x4