مسئله صدق در گزاره ها یکی از مسائل مهم معرفت شناسی است. از این رو، فیلسوفان و معرفت شناسان از دیرباز تا کنون دیدگاه های گوناگونی درباره «ماهیت و چیستی صدق» و نیز «معیار صدق» ابراز داشته اند. در این نوشتار، ما به بررسی نظریه مطابقت می پردازیم اما رویکرد ما بیشتر معطوف به ماهیت و چیستی صدق است نه معیار صدق.
نظریه مطابقت یک پیش فرض مهم دارد و آن واقع گرایی است؛ بدین معنا که اولاً، ملتزم باشیم که واقعیتی مستقل از باورها و ذهن ما وجود دارد. ثانیاً، ذهن انسان را در کشف واقعیت توانمند دانسته، معتقد باشیم که انسان توانایی نیل به واقع و دسترسی به آن را دارد. ثالثاً، بپذیریم که زبان توان حکایت از واقع را دارا هست.
نظریه مطابقت از آنجایی که به درک متعارف در باب صدق بسیار نزدیک است، پیشینه و رواج نسبی بیشتری نسبت به نظریه های بدیل خود داشته است، به طوری که بسیاری از فیلسوفان آن را مبنای معرفت شناسی نظام فلسفی خود قرار داده اند. با این حال، نظریه مطابقت نتوانست از عهده اشکالات گوناگون، از جمله عدم سنخیت، عدم جامعیت و عدم ارائه ملاک اثباتی برآید و سرانجام با انتقادات فیلسوفان معرفت یا به شکل تعدیل یافته ظهور و بروز یافت یا جای خود را به نظریاتی چون نظریه انسجام، نظریه کارآمدی، نظریه زائد بودن و... داد. این نظریات برخلاف نظریه مطابقت، در باب چیستی صدق، صدق را نه به امری فراسوی باور بلکه به خود باور وابسته می دانند، یعنی بدون تلاش برای رفتن به فراسوی باور، باید در درون باورها وضعیتی کشف شود که بر اساس آن بتوان گفت باوری صادق است یا نیست.