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