تئوری های صدق (2)

سؤال نامناسبی که درباره صدق مطرح می گردد، این است که «صدق چیست». لذا بهتر است با پرسش «صدق یک گزاره (عبارت، جمله، باور) چیست» کار آسانتر شود. هدف این مقاله این است که پیرامون سؤال فوق به تبیین تعدادی از تئوری های صدق و به عبارتی دقیق تر، خانواده نظریات مربوط به صدق بپردازد: تئوری های پیوستگی مشتمل بر نسبتهای پیوستگی بین یک مجموعه از باورهاست. تئوری های مطابقت رویکردی به صدق گزاره ها دارد نه از آن جهت که با گزاره های دیگر چه نسبتی دارد، بلکه از این باب که نسبت آن گزاره با خارج چگونه است، یعنی مطابقت آن با اعیان خارجی و واقع. در تئوری های عملگرایی صدق یک باور از مطابقت آن با واقع برگرفته می شود، اما تاکید می کند که بقای باورها، توسط آزمون تجربه حاصل می شود یعنی مطابقت آن با باورهای دیگر. از نظر تارسکی، صدق برحسب یک نسبت معنایی از صدق پذیری تعریف می شود. در تئوری صدق بیان زائد، «صادق» امری است زائد. زیرا گفتن اینکه «P صادق است» معادل است با گفتن P.