Abstract:
نظریه حداقلی صدق (MT) نظریه ای است که پول هاریچ آن را مطرح کرده و به دفاع از آن پرداخته است. این نظریه ، در گروه نظریه های انقباضی صدق قرار می گیرد و می توان آن را جدیدترین گونه از این نظریات محسوب کرد. هاریچ ادعا می کند MT، «شرایط کفایت» نظریه های صدق را برآورده می سازد؛ یعنی با استفاده از آن می توان همه امور واقع مربوط به صدق را تبیین کرد. در این مقاله، چهارچوب کلی MT و شرایط کفایت آن به اختصار معرفی می شوند. بعضی منتقدان تلاش کرده اند با نشان دادن امور واقعی که به نظر می رسد به صدق مربوط هستند ولی ظاهرا MT نمی تواند آن ها را تبیین کند، کفایت MT را مورد تردید قرار دهند. انتقادهای آنیل گوپتا و اسکات سومز در این چهارچوب کلی قرار می گیرد. به طور خاص آن ها می خواهند نشان دهندMT کفایت لازم را برای تبیین امور واقع کلی ندارد و اصطلاحا با مسئله تعمیم روبه رو است. در ادامه مقاله، انتقادهای گوپتا و سومز مرور می گردد، پاسخ هاریچ به آن انتقادها مورد بررسی و ارزیابی قرار می گیرد، و استدلال می شود که پاسخ او به انتقادهای مطرح شده رضایت بخش نیست. در پایان، پاسخ دیگری به انتقادهای مطرح شده فراهم می شود و نشان داده می شود که پاسخ پیشنهادی، هیچ یک از مشکلات پاسخ هاریچ را ندارد.
Machine summary:
"در ویرایش نخست کتاب «صدق»، هاریچ تبیینی به صورت زیر برای (G3) ارائه کرده بود: 1) هر گزارة منفردی به فرم ذیل را میتوان تبیین کرد [منطق]: < [ p & ( p → q ) ] → q > 2) در نتیجه، هر گزارهای به فرم ذیل قابل تبیین است: [از (1) و MT] < [صادق است) <p> ( & ( p → q ) ] → صادق است) <q> ( > 3) با داشتن معنای «نتیجه دادن»، هر گزارهای به فرم ذیل را خواهیم داشت: [مقدمه] < را) <q> نتیجه میدهد <p> ( → ( p → q ) > 4) در نتیجه هر مصداقی از گزارة ذیل را داریم: [از (2) و (3)] < [صادق است) <p> ( & را) <q> نتیجه میدهد <p> ( ] → صادق است) <q> ( > 5) در نتیجه، همة گزارهها با فرم ذیل صادق هستند: [از (4) و MT] < [صادق است) <p> ( &را) <q> نتیجه میدهد <p> ( ] → صادق است) <q> ( > (Horwich, 1990: 23) با در نظر گرفتن تبیین فوق، انتقاد گوپتا را میتوان به این صورت بیان کرد که هاریچ نمیتواند خط (5) را از خط (4) و MT نتیجه بگیرد؛ چون اگر در مورد هر یک از گزارههایی که به فرم خاصی هستند، بدانیم آن گزاره صادق است، نمیتوانیم نتیجه بگیریم که همة گزارههایی که از آن فرم خاص هستند صادقاند."