در دوره اخير، تئورى هاى سنتى مطابقت و انسجام، منازعاتى را برانگيخته است: يكى از آنها ديدگاه «حشو اظهارى» است. دكترين اين نظريه براساس گفته هاى رمزى (Ramsey) است; هر چند نشانه هايى از اين ديدگاه را مى توان در آثار برخى از رياضيدان هاى كمبريج مثل فرگه (Frege) ديد. اين تئورى با «نظريه ساده صدق» پريور (Prior's simple theory of truth) و ديدگاه مكّى (Mackie) و ويليامز (Williams) و نظريه گرور (Grover) و كامپ (Camp) و بلناپ (Belnap) قرابت و همسايگى نزديك دارد.
رمزى اين نظريه را چنين بيان داشت: در واقع صدقْ امر مستقلى نيست; بلكه نوعى آشفتگى زبان است».
او معتقد شد كه وصف و محمولِ «صادق است» يا «كاذب است» در جملات، وصفى زايد و حشوند; به گونه اى كه بود و نبود ِ آنها تفاوتى را برنمى انگيزد. مثلاً در جمله «درست است كه باران مى آيد.» تعبير «درست است كه» زايد و قابل حذف است; به عبارت ديگر هيچ گونه بار معنايى و اطلاع جديدى دربر ندارد. پس جمله «صادق است كه على آمد.» با جمله «على آمد.» دقيقاً برابر است. اين نظريه درست برخلاف سه ديدگاه پيشين كه براى صدقْ معناى محصّل و مجزا قائل بودند، آن را از معنا تهى مى كند.
بنابراين در تئورى حشواظهارى «p صادق است» يا «صادق است كه p با p» معادل است. همچنين «واقعيت دارد كه p» يا «p امر واقع است.» با«p» به يك معنا است. در واقع هرگاه «صادق يا كاذب است» و يا «واقعيت دارد يا ندارد» و امثال آن به جمله اى افزوده شود، چيزى بر معناى آن نيفزوده است و جمله جديد حامل بار اطلاعاتى جديد نخواهد بود. مگر آن كه از باب تنوع و تفنن ادبى يا تأكيد در نظر گرفته شود. والا از نظر منطقى، فلسفى و معنا شناختى اختلافى ايجاد نمى شود.
دليل رمزى بر اين مدعا غير از پرهيز از برخى اشكالات تئورى هاى سابق تمسك به «توازى منطقى» است. او مى گفت: از نظر منطق جديد دو تعبير « pصادق است» با «p» يكسان و معادل است. استراوسون (Strawson) دقيقاً به همين مطلب اشكال كرده مى افزايد: ممكن است از نظر معادلات رياضى در منطق صورت اين سخن درست باشد، ولى نمى توان از اين مطلب به برابرى معنايى رسيد. شاهد نقض; اين كه دو جمله «اين مثلث متساوى الاضلاع است.» با «اين مثلث متساوى الزوايا است.» از نظر منطقى برابرند، ولى بار معناى آن دو يكسان نيست. از اين رو استراوسون كوشيد نظريه رمزى را كامل كند. او با ارائه «نظريه تنجيزى صدق» (Performative theory of truth) ديدگاه رمزى را تكميل و تعديل كرد. تعبير «صادق است» يا «كاذب است» در اين ديدگاه غير از كاركرد تأكيدى يا تنوع ادبى، كارايى هاى ديگرى هم دارد كه رمزى از آن غافل مانده بود. از جمله گاهى براى تأييد و اظهار موافقت به كار مى رود.
ما با گفتن اين كه گزاره «الف صادق است.» خبرى از آن گزاره نمى دهيم. بلكه در واقع بدين وسيله كارى انجام داده ايم; مثلا موافقت و قبول خود را نسبت به آن اعلام كرده ايم. اگر چه ظاهر گرامرى «صادق» گوياى آن است كه اين واژه نوعى وصف است، در واقع كاركرد آن مانند واژه (Ditto) است كه به معناى «همين طور است» مى باشد. شما در واكنش نسبت به كسى كه مى گويد «باران مى بارد.» گاهى از واژه (Ditto) استفاده مى كنيد و گاهى از true. به طور خلاصه، جمله اى كه متعلَّق صدق و كذب قرار مى گيرد، موضوعِ آن نيست تا صدق و كذب اخبار از آن باشد; بلكه فرصت و مجالى است براى اظهار موافقت و مخالفت.
بر دو نظريه رمزى و استراوسون چند ايراد وارد شده است: به نظريه تنجيزى اشكال شده است كه اولا موافقت و عدم موافقت ملاك مى خواهد. مى توان سؤال كرد كه چرا در موردى با گزاره ها موافق هستيم و در مورد ديگر مخالف. پس صادق بودن با موافق بودن هميشه برابر نيست. ثانياً آن جا كه هر دو تعبير در مورد جمله اى وجود دارد، موافقتْ نيازمند ملاكى قبلى است كه تا به واقعيت خارجى منتهى نشود، سؤال همچنان باقى است. افزون بر آن، اشكال شده است كه اگر ما صدق را در استنتاج هاى منطقى به حساب نياوريم، جريان استدلال به اشكال برمى خورد; زيرا استدلالى نظير «اگر Pدرست است، آنگاهq » و « Pدرست است» پس «q درست است» تنها در صورتى معتبر است كه «درست است» معناى محقق و مجزايى داشته باشد و صرفاً معناى موافقت عملى ـ چنان كه استراوسون مى گفت ـ در آن نباشد در زمينه تئورى صدق، ديدگاه هاى ديگرى هم وجود دارد كه برخى كاملا جديد است; مثل ديدگاه معناشناسى تارسكى (Tarski's semantic theory). ولى از آن جا كه در اين نوشتار مجال بحثى مستقل در باب صدق نيست، از بيان آنها صرف نظر مى كنيم. در اين جا به منظور سهولت امر نمايه آرا و نظريات ترسيم مى شود.
ارسطو اصالت عمل پيرس انسجامبرادلى حشواظهارى رمزى معنى شناسى تارسكى مطابقت راسل ويتگنشتاين جيمز ديويى رشر تأثير مستقيم ــــــــــــ قرابت ـ ـ ـ ـ ـ توسعه ( ) (استين) ساده پريور كريپ كى ديويد سن پوپر استين (ويتگنشتاين) تنجيزى مكى دمّت
استراوسون ويليامز بلناپ
گرور كامپ