信念の論理

「信念の論理」の英語

「信念の論理」は英語で doxastic logic と言います。主体が持つ主観的な信念や、その変化を形式的に扱う専門用語です。知識を扱う epistemic logic とは区別されます。

doxastic logic
主体の主観的な信念とその変化を扱う、論理学の専門用語です。
Automated systems use doxastic logic for belief revision.
自動化システムは、信念の改訂に信念の論理を使います。

主体の信念とその変化を形式的に記述する論理体系

doxastic logicは、ギリシャ語doxa（意見・信念）に由来するdoxastic（信念に関する）とlogic（論理）が結び付き、信念の性質や更新を形式的に扱う用語として発展した。

epistemic logicと区別される点は、epistemic logicが知識を扱うのに対し、doxastic logicは主体の主観的な信念とその更新を扱う点にある。

中学
The system uses doxastic logic to model beliefs.

そのシステムは信念をモデル化するために信念の論理を使います。
高校・英検2級
Doxastic logic can describe how a person's beliefs change.

信念の論理は、人の信念がどのように変化するかを記述できます。
TOEIC・ビジネス
The research team applied doxastic logic to the decision-making model.

研究チームは意思決定モデルに信念の論理を適用しました。
日常会話
Is doxastic logic about what people believe?

信念の論理って、人が何を信じているかを扱うもの？

× epistemic logic is the same as doxastic logic.

○ Epistemic logic and doxastic logic are different.

知識を扱う論理と、主観的な信念を扱う論理は区別されます。

Q. 「信念の論理」を英語で一言で言うと？

doxastic logic と言います。論理学や人工知能研究で使われる専門用語です。

doxastic logic は主に主体の信念を扱い、epistemic logic は主に知識を扱います。ただし、epistemic logic で知識と信念の両方を扱う理論もあります。

Q. 「信念の論理」はビジネスで使えますか？

一般的なビジネス会話ではなく、論理学、人工知能、意思決定モデルなどの専門分野で使われます。