信念句邏輯

信念句邏輯(logic of belief statement)是現代邏輯的分支之一。系統研究相信者和被相信命題之間的邏輯關係的理論。信念是與認識直接聯繫的一個的重要概念。羅素曾說：“整個的理智生活都是由信念，以及從一個信念到另一個信念的所謂的‘推理’組成的。”“我們把信念看成是我們的哲學觀的極為重要的支柱”（《心的分析》）

信念可以看成由相信者和被相信命題兩者形成的一種二元模態。當用x表示相信者，p表示被相信命題時，人們用符號B(x,p)表示x相信命題p。信念通常可理解為:（1）x像他所相信的p那樣行動。（2）x傾向於公開接受p。意指，如果恰當的問及x（並且認為x是誠實的），那么他將表示同意p。（3）x承諾的接受p。