پارادوکس های تایید

مقاله حاضر در مورد مباحث مهم معرفت شناسی، یعنی بحث استقراء، انشاء حکم کلی از مشاهده برخی مصادیق جزئی و تهیه شواهد و قرائن خوب برای تایید آن است. مساله این است که ما برای تایید یک حکم کلی به چه تعداد و با چه کیفیتی از شواهد و قرائن نیازمندیم. همه ما قضیهG1 «هر حکم کلی، بوسیله مصداقیش تایید می شود» را قبول داریم. ولی دو پارادوکس تایید، با عنوان پارادوکس کلاغ ها و سآبی می خواهند نشان دهند که قبول این قضیه در برخی موارد دچار پارادوکس می شود. پارادوکس کلاغ ها که توسط کارل همپل کشف شد نشان می دهد یک کفش سفید، باید موید قضیه «همه کلاغ ها سیاه هستند» باشد در حالیکه ما به روشنی می دانیم چنین نیست. سآبی(سبز+آبی)، واژه اختراعی نلسون گودمن برای نشان دادن نارسایی G1 است. شی ء x، سآبی به شمار می آید اگر و تنها اگر یکی از دو شرط ذیل را داشته باشد: X سبز است و ملاحظه شده است.X آبی است و ملاحظه نشده است. بنابراین طبق تعریف، مجموعه اشیاء سآبی تنها از اشیاء سبز ملاحظه شده، به همراه اشیاء آبی ملاحظه نشده ساخته می شود. مطابق قضیه اول همه زمردهای ملاحظه شده از آنجا که همه آنها سبز هستند، سآبی محسوب می شوند. بنابراین طبقG1 آنها موید این فرضیه که همه زمردها سآبی هستند می باشند. ولی این نامعقول است زیرا اگر این فرضیه که همه زمردها سآبی هستند درست باشد پس زمردهای ملاحظه نشده آبی خواهند بود. ولی همه می دانیم که این نادرست است.