真理符合论是哲学史上关于强调命题或判断与客观实际相符合的理论，存在若唯物主义和唯心主义、辩证法和形而上学的不同理解。古希腊亚里士多德早就提出，命题或判断是对客观事物的性质、状态或关系等等的描写或陈述。命题或判断的真假取决于它们是否如实地描写或陈述客观事物的性质、状态或义系等等，真理就是命题与世界上有关事态之间的符合关系，洛克支持这理论，认为标示事物的词被结合成命题，如果它们的结合方式符合于外部世界中事物的结合方式，这一命题便是真的，否则便是假的。前期维特根斯坦从他的逻辑原子论和图像论出发论证这种真理论，认为在命题和事实、基本命题和事态、名称和对象之间存在着严格的一一对应关系。命题的真假或者取决于命题与它所描述的事实之间是否存在着符合关系，或者取决于命题是否成为它所描述的事实的图像。罗素在他的逻辑原子论时期持与维特根斯坦相似的观点。在《人类的知识》中从把真理定义为命题与事实相符合改为信念于事实相符会，因为信念是比语言更为基本的东西。