پژوهش حاضر پس از ملاحظة تعاریف مختلف از نظریة مطابقت در صدق از ارسطو و حکیمان مسلمان تا منطق دانان جدید غرب، به طرح اشکالات عمده ترین چالش با آن یعنی شبهة دروغگو می پردازد. منطق دانان و حکیمان مسلمان از جمله تفتازانی، دوانی و صدر الدین دشتکی، راههای مختلفی در این مقام ارائه کرده اند. در میان منطق دانان غربی نیز راه حل راسل و نظریة مراتبی زبان آلفرد تارسکی از معروفترین راه حلهای معاصر برای حل شبهة دروغگو تلقی شده است . پس از بررسی تطبیقی و انتقادی راه حلهای یاد شده، بر مبنای نظریة اصالت وجود و قاعدة اتحاد عاقل و معقول ملاصدرا، تبیین قابل قبولی از نظریة مطابقت ارائه می شود، به گونه ای که اشکالات مطرح شده برآن وارد نباشد.
