مهربد نوشته: بگذارید چند چیز را همینجا روشن کنیم، گزاره شما از دیدگاه استدلالی درست خواهد بود،
اما منطقی نخواهد بود چرا که استدلال دیگری در جایگاه «مثال نقض» برای ما
روشن خواهد کرد که انگاشت نخستین -- همه گیاهان سبز هستند -- نادرست است.

به بیان دیگر، گزاره نخست شما «تمام گیاهان سبز هستند» از دیدگاه استدلالی صحیح است (soundness)
ولی از آنجاییکه ریشه در واقعیت ندارد، اعتبار نداشته (validness) و از همین‌رو نادرست (false) خواهد بود.

اگر شما می‌گفتید:
همه گیاهان سبز هستند.
کاج گیاه است.
کاج قهوه‌ای است.


آنگاه گزاره نخستین شما از دیدگاه استدلالی صحیح نخواهد بود، چرا که با گزاره سوم در تضاد
می‌باشد، که به نوبه کار ما را در بیرون کشیدن فرجام منطقی (Conclusion: true, false) بسیار آسان خواهد کرد.

اینها همش برمیگرده به معرفت از جهان. روش علم در کسب معرفت از جهان، استفاده از استقراگرایی ست. همونطور که میدونید استدلالات به دو دسته استنتاجی و استقرایی تقسیم میشند. فرانسیس بیکن پایه گذار این مدل استقراء گرایی در علم بود. در استدلال استنتاجی از مقدمات کلی استفاده میشه و نتایج جزئی گرفته میشه. این استدلالات، پیشینی (aperiori) هم هستند.

خلاصه اینکه این استدلالی که آوردید در مورد تمام گیاهان، ساختارش درست هست، ولی اگر مقدمه 1 نادرست باشه (تمام گیاهان سبز هستند) این دیگه ربطی به منطق نداره، بلکه به همون کسب معرفت از جهان برمیگرده که یا باید استنتاج بشه یا تجربه بشه. باز هم به این برمیگردیم که مبنای کسب شناخت، منطق نیست. منطق صرفن بر این مبنا داوری میکنه.