یک گزاره زمانی صادق است که واقعیت همانگونه باشد که گزاره میگوید؛ حقیقت در نوعی مطابقت میان حاملِ صدق و جهان است.
1مسئلهای که حل میکند
معرفت به حقیقت نیاز دارد، پس پرسشِ طبیعی این است که چه چیزی گزاره را صادق میکند. نظریهٔ مطابقت پاسخِ واقعگرایانه میدهد: باور و جمله بهسببِ انسجام، سودمندی یا پذیرش صادق نمیشوند؛ بهسببِ آن صادقاند که جهان واقعاً واقعیت یا وضعیتِ مربوط را دارد.
2ایدهٔ اصلی
یک گزاره صادق است هرگاه با آنچه واقعاً هست مطابقت داشته باشد، مستقل از باورِ هر کس. صورتبندیِ ارسطو هنوز روشنترین است: گفتنِ اینکه آنچه هست، هست، صدق است.
این فرضِ پیشفرضِ کارِ تجربی است و همان چیزی است که به شواهد معنا میدهد. اگر صدق در برابر جهان پاسخگو نبود، گردآوری داده کارِ عجیبی میبود.
3خاستگاه و زمینه
ایده باستانی است و معمولاً به ارسطو پیوند داده میشود؛ صورتهای جدید از راسل تا کارِ صوریِ تارسکی امتداد دارند. فشارِ اصلی نه بر شهودِ روزمره بلکه بر متافیزیکِ آن است: واقعیت، حقیقتساز و رابطهٔ مطابقت برای ادعاهای انتزاعی، وجهی، سلبی یا آماری دقیقاً چیست؟
4مثالِ کلاسیک
«این پل ۴۰۰ متر است» صادق است اگر و تنها اگر آن پل ۴۰۰ متر باشد.
5اعتراضها و پاسخها
اعتراض. یک جمله دقیقاً با چه چیزی «مطابقت» میکند، بهویژه در ادعاهایی مانند «تکشاخ وجود ندارد» یا «انتظارات تورمی بالا رفت»؟
پاسخ. مدافع لازم نیست رابطهای تصویری و یکبهیک بسازد. نسخههای جدید میتوانند بگویند حقیقت به چگونگیِ جهان — اشیا، خواص، روابط، نبودها یا شرایطِ حقیقتساز — وابسته است بیآنکه هر جمله به یک شیء ملموس نگاشت شود.
اعتراض. ما نمیتوانیم بیرون از زبان و باورهایمان بایستیم و آنها را با واقعیتِ «فینفسه» مقایسه کنیم.
پاسخ. این نخست اعتراض به دسترسیِ معرفتیِ ماست، نه لزوماً به ماهیتِ حقیقت. نظریهپردازِ مطابقت میتواند دربارهٔ شناختِ این رابطه خطاپذیر باشد و همچنان بگوید خودِ رابطه، نه اطمینانِ ما، گزاره را صادق میکند.
6با اینها اشتباه نگیرید
نظریهٔ مطابقت و واقعگراییِ مستقیم
مطابقت نظریهای دربارهٔ حقیقت است؛ واقعگراییِ مستقیم نظریهای دربارهٔ ادراک. میتوان حقیقت را مطابقِ واقع دانست و در عین حال ادراک را غیرمستقیم دانست.
حقیقت و راستیآزمایی
گزاره ممکن است صادق باشد حتی اگر اکنون هیچکس نتواند آن را راستیآزمایی کند. مطابقت حقیقت را با آزمونِ ما برای حقیقت تعریف نمیکند.
7خطاهای رایج
- تصورِ اینکه مطابقت باید شباهتِ لفظبهشیءِ کاملاً یکبهیک باشد.
- استفاده از «با داده جور است» بهعنوان پایانِ مسئله؛ خودِ داده میتواند پرنویز، گزینشی یا نظریهبار باشد.
8در کارِ شما
فرضِ کاریِ هر «یافتهٔ واقع». همچنین همان چیزی است که یافتهٔ واقع وعده میدهد: نه سازگاریِ درونی، بلکه پاسخگویی در برابر جهان.
9خودآزمایی
مدلی کاملاً منسجم میگوید بیکاری ۴٪ است، اما وضعیتِ واقعیِ جمعیت آمارِ مربوط را ۶٪ میکند. نظریهٔ مطابقت چه میگوید؟
نمایش پاسخ
گزارهٔ ۴٪ با وجودِ انسجام کاذب است. آنچه گزاره را صادق یا کاذب میکند وضعیتِ مربوط در جهان است، نه هماهنگیاش با بقیهٔ مدل.