真理符合论是哲学类术语，主张真值载体的真值取决于其是否与事实相符合。该理论最早由亚里士多德明确表述，经后世发展形成逻辑原子论和日常语言哲学形态。现代学者如奥斯汀、巴威斯等对其进行了不同诠释，逻辑原子论强调语言与世界结构对应，奥斯汀则基于约定关系阐述符合论。陈波（2021年）对否定事实的必要性提出质疑，认为其缺乏本体论地位。该理论在人工智能领域被作为理论基础之一，认为世界是存在的、可认知的，且对世界的表征具有真理性。

真理符合论作为最古老的真理理论之一，其明确表述可追溯至亚里士多德的《形而上学》。他在论述中提出真理存在于陈述中，强调命题与客观事实的符合关系。这一朴素理论成为后世真理研究的基础，马克思主义哲学在其框架下引入实践观点，发展为动态认识过程。

在现代分析哲学背景下，真理符合论主要表现为两种形态：

否定事实是否具有本体论地位是哲学争议焦点。陈波（2021年）指出否定事实缺乏独立存在，由正面状态、主体预期及推论构成，设定其存在会导致本体论膨胀等问题。这一观点与李主斌对事实概念的辩护形成对立，引发学界讨论。

张志林（2018年）在科学哲学研究中指出，真理符合论构成人工智能的理论基础，预设世界可认知且表征具有真理性。这一应用虽存在哲学争议，但为AI的认知模型提供了关键框架。