知識公理または真理公理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/05 09:21 UTC 版)
この公理は T と呼ばれている。すなわち、あるエージェントがある事実を知っているなら、その事実は真に違いないというものである。これは、知識と信念の大きな違いとされることが多い。偽である何かを信じることはできるが、偽である何かを「知る」ことはできない。 K i φ ⟹ φ {\displaystyle K_{i}\varphi \implies \varphi }
※この「知識公理または真理公理」の解説は、「認識論理」の解説の一部です。
「知識公理または真理公理」を含む「認識論理」の記事については、「認識論理」の概要を参照ください。
- 知識公理または真理公理のページへのリンク