研究和“知道”有关的逻辑问题的学说。现代逻辑的一个分支。“知道”是一种关系，一种关于知道者与被知道命题之间的二元模态关系。“知道”不同于“相信”。从“x知道p”可以推出p（因为如果p不真，就不能成为“知道”的对象），而从“x相信p”不能推出p（因为一个人所相信的未必是真命题）。
