知道邏輯
知

知道邏輯　　　zhī dào luó jí

研究和“知道”有關(guān)的邏輯問題的學(xué)說。現(xiàn)代邏輯的一個分支?！?a href="/hydcd/335621c.html">知道”是一種關(guān)系，一種關(guān)于知道者與被知道命題之間的二元模態(tài)關(guān)系?！?a href="/hydcd/335621c.html">知道”不同于“相信”。從“x知道p”可以推出p（因為如果p不真，就不能成為“知道”的對象），而從“x相信p”不能推出p（因為一個人所相信的未必是真命題）。