مکانیک منطق صوری: مقایسه استدلال قیاسی، استقرایی و ربایشی

تصور کنید در مطب پزشک نشسته‌اید و منتظر تشخیص او هستید. پزشک به علائم شما نگاه می‌کند—سرفه‌ی مداوم، تب خفیف، الگوی خاصی از خستگی. در آن اتاق آرام، مغز پزشک در حال اجرای یک نرم‌افزار پیچیده و نامرئی است که میلیون‌ها داده را غربال می‌کند تا به یک نتیجه برسد. این فقط تخصص پزشکی نیست؛ این مکانیک خام منطق صوری در حال حرکت است. چه پزشک باشید که بیماری را تشخیص می‌دهد، چه کارآگاهی که جرمی را حل می‌کند، یا صرفاً کسی که سعی دارد بفهمد چرا ماشین روشن نمی‌شود، ذهن شما به سه موتور استدلالی متمایز متکی است.[7]

ما به ندرت به استحکام ساختاری افکار خود فکر می‌کنیم. اما درک تفاوت بین استدلال قیاسی، استقرایی و ربایشی مانند نگاه کردن به زیر کاپوت شناخت انسان است. این درک، نحوه‌ی مصرف اطلاعات، نحوه‌ی استدلال و نحوه‌ی محافظت از خود در برابر لفاظی‌های متقاعدکننده اما معیوبی که فیدهای روزانه‌ی ما را پر کرده، تغییر می‌دهد. هر یک از این سه حالت منطقی عملکردی کاملاً متفاوت دارد و هر کدام آسیب‌پذیری‌های منحصر به فرد خود را به همراه دارد.[10]

اجازه دهید با معیار طلایی قطعیت منطقی شروع کنیم: قیاس (Deduction). استدلال قیاسی از بالا به پایین کار می‌کند. با یک مقدمه‌ی گسترده و جهانی پذیرفته شده آغاز می‌شود و به یک نتیجه‌ی خاص و گریزناپذیر می‌رسد. اگر مقدمات درست باشند و ساختار منطقی معتبر باشد، نتیجه قطعاً باید درست باشد. در یک استدلال کاملاً قیاسی، هیچ جای ابهام، احتمال یا حدسی وجود ندارد.[2][5]

مثال کلاسیک کتاب‌های درسی تقریباً به طرز دردناکی ساده است: «همه‌ی انسان‌ها فانی هستند. سقراط انسان است. بنابراین، سقراط فانی است.» زیبایی قیاس در ماهیت «حفظ‌کننده‌ی حقیقت» آن نهفته است. در واقع دانش جدیدی در مورد جهان تولید نمی‌کند؛ بلکه حقیقتی را که از قبل در مقدمات پنهان شده، آشکار می‌سازد. در ریاضیات و علوم کامپیوتر، این تنها شکل قابل قبول اثبات است، زیرا نتیجه‌ای بی‌عیب و نقص را تضمین می‌کند.[1][5]

اما قیاس در دنیای واقعی و آشفته یک نقص مهلک دارد: کاملاً به حقیقت مطلق مقدمات آغازین خود وابسته است. اگر با یک فرض معیوب شروع کنید—مثلاً «همه‌ی قوها سفید هستند»—قیاس کاملاً منطقی شما به محض برخورد با یک قوی سیاه، مستقیماً به دیوار دروغ برخورد خواهد کرد. قیاس موتوری بی‌نقص است، اما به سوختی بی‌نقص نیاز دارد که واقعیت به ندرت آن را فراهم می‌کند.[3]

اینجاست که استدلال استقرایی (Induction) وارد عمل می‌شود تا کارهای سنگین زندگی روزمره را انجام دهد. استقرا از پایین به بالا کار می‌کند. مشاهدات خاص را می‌گیرد و آن‌ها را به تعمیم‌های گسترده‌تر بسط می‌دهد. اگر مشاهده کرده‌اید که خورشید در تمام طول زندگی شما هر روز صبح از شرق طلوع کرده است، به صورت استقرایی استدلال می‌کنید که فردا نیز از شرق طلوع خواهد کرد. شما آن را با قطعیت ریاضی ثابت نکرده‌اید، اما الگویی به اندازه‌ی کافی قوی برای زندگی بر اساس آن ایجاد کرده‌اید.[6]

برخلاف قیاس، استقرا قطعیت مطلق ارائه نمی‌دهد. این نوع استدلال منحصراً با واحد پول احتمال و امکان سر و کار دارد. هنگامی که یک نظرسنجی‌کننده از هزار رأی‌دهنده نظرسنجی می‌کند تا انتخابات ملی را پیش‌بینی کند، یا هنگامی که یک دانشمند یک آزمایش بالینی را برای آزمایش واکسن جدید انجام می‌دهد، از منطق استقرایی استفاده می‌کنند. آن‌ها شرط می‌بندند که یک نمونه‌ی به اندازه‌ی کافی بزرگ و نماینده، رفتار کل جمعیت را به درستی منعکس خواهد کرد.[8][9]

آسیب‌پذیری استقرا این است که همیشه، از نظر فنی، یک جهش ایمانی است. دیوید هیوم، فیلسوف مشهور، اشاره کرد که صرفاً به این دلیل که چیزی در گذشته به روشی خاص اتفاق افتاده، از نظر منطقی تضمین نمی‌کند که در آینده نیز به همان شکل رخ دهد. یک بوقلمون ممکن است به صورت استقرایی استدلال کند که کشاورزی که هر روز به او غذا می‌دهد، بهترین دوست اوست، تا صبح روز شکرگزاری! استقرا دانش ما را گسترش می‌دهد، اما همیشه دری را برای خطا باز می‌گذارد.[6]

در نهایت، به خلاقانه‌ترین، شهودی‌ترین و مسلماً انسانی‌ترین شکل منطق می‌رسیم: استدلال ربایشی (Abduction). ربایش که توسط فیلسوف آمریکایی، چارلز سندرز پیرس، ابداع شد، فرآیند نگاه کردن به مجموعه‌ای از مشاهدات و کار کردن به عقب برای یافتن محتمل‌ترین توضیح است. این منطق شرلوک هولمز است، علیرغم ادعای مداوم کارآگاه مشهور مبنی بر استفاده از «قیاس».[2][4]

ربایش یک سوال ساده می‌پرسد: «با توجه به این حقایق عجیب، بهترین داستانی که آن‌ها را توجیه می‌کند چیست؟» اگر وارد آشپزخانه‌ی خود شوید و یک بشقاب شکسته روی زمین و سگی را ببینید که قیافه‌ی گناهکار به خود گرفته، شما اثبات قیاسی مطلقی ندارید که سگ بشقاب را شکسته است. همچنین هزاران آزمایش استقرایی در مورد سگ‌ها و بشقاب‌ها انجام نداده‌اید. در عوض، شما ربایش می‌کنید که سگ مقصر است، زیرا این ساده‌ترین و ظریف‌ترین توضیحی است که تمام شواهد را در بر می‌گیرد.[4]

در حوزه‌ی پزشکی، این فرآیند به عنوان تشخیص افتراقی (Differential Diagnosis) شناخته می‌شود. پزشک به خوشه‌ای از علائم نگاه می‌کند و بیماری‌ای را ربایش می‌کند که بهترین توضیح را برای آن‌ها ارائه می‌دهد. این یک حدس آگاهانه است، یک جهش تخیلی که توسط حقایق محدود شده است. ربایش نحوه‌ی تولید فرضیه‌های جدید است، که سپس می‌توانیم با استفاده از دو شکل دیگر منطق، آن‌ها را آزمایش کنیم.[7][8]

در حالی که این سه حالت اغلب در کلاس‌های فلسفه به عنوان تمرین‌های آکادمیک مجزا تدریس می‌شوند، در کاربرد عملی به عنوان یک موتور شناختی وابسته به هم عمل می‌کنند. آن‌ها یک حلقه‌ی مستمر و خوداصلاح‌گر از کاوش انسانی را تشکیل می‌دهند که محرک همه چیز، از پیشرفت‌های علمی گرفته تا حل مسائل روزمره است.[10]

این حلقه به این صورت کار می‌کند: ربایش فرضیه را تولید می‌کند (سگ بشقاب را شکست). قیاس پیامدهای ضروری آن فرضیه را پیش‌بینی می‌کند (اگر سگ بشقاب را شکسته باشد، باید رد پنجه در غذای ریخته شده باشد). سپس استقرا آن پیش‌بینی‌ها را در برابر واقعیت مشاهده شده آزمایش می‌کند (رد پنجه را می‌بینم، که احتمال درست بودن فرضیه‌ی من را افزایش می‌دهد). این سه با هم، معماری کامل تفکر عقلانی را تشکیل می‌دهند.[7][10]

تشخیص این تعامل در عصر اطلاعات نادرست یک ابرقدرت است. وقتی کسی ادعای بزرگی می‌کند، اکنون می‌توانید سوالات ساختاری بپرسید: آیا آن‌ها ادعای قطعیت قیاسی بر اساس یک مقدمه‌ی معیوب دارند؟ آیا آن‌ها یک جهش استقرایی از یک نمونه‌ی کوچک انجام می‌دهند؟ یا یک حدس ربایشی را به عنوان یک حقیقت مطلق ارائه می‌دهند؟ با درک مکانیک نحوه‌ی تفکر ما، می‌توانیم در نهایت کمی واضح‌تر فکر کنیم.[10]