جستجوي پيشرفته | کتابخانه مجازی الفبا

لوئیس کرول در مقالة «لاک پشت به آشیل چه گفت؟» یکی از بنیان های منطق را زیر سؤال می برد و در گفت وگویی خیالی این مسئله را مطرح می کند که اصولاً چرا باید از مقدمات یک استدلال به نتیجه رسید. آیا منطق به تنهایی می تواند توجیه کنندة استفاده از منطق نیز باشد یا باید کاربرد منطق را در خارج از علم منطق توجیه کرد.در این مقاله، به دو رویکرد کلی در پاسخ به این سؤال توجه می شود. نخست، رویکردی کاملاً منطقی که از راسل با عنوان نمایندة آن نام برده می شود و دوم، رویکردی اجتماعی ـ درون گرایانه که پیتر وینچ از آن دفاع می کند. این دو فیلسوف در برخی از کتاب های خود چندین بار به این مقالة کرول ارجاع داده اند. در رویکرد راسل بیان می شود که، تحلیل منطقی به تنهایی می تواند ضرورت حرکت از مقدمات به نتیجه را توضیح دهد و در مقابل وینچ و موافقان او می گویند هر حرکتی از جمله استنتاج نتیجه از مقدمات ریشه در بطن زندگی دارد و اگر حرکت فکری در استدلال از آن حذف شود، چیزی به نام منطق وجود نخواهد داشت. به هر دو رویکرد انتقاداتی وارد است که به تفصیل مطرح می شوند.راه حلی که در نهایت پیشنهاد می شود بازگشت به اساس منطق صوری است. وقتی منطق صوری فهمیده شد دیگر لازم نیست منطق دیگری، چه نظری چه عملی، عرضه شود که به ما بگوید منطق را چگونه بفهمیم. استدلال های معتبر منطق صوری معادل با منطق اند و اگر کسی این استدلال ها را نقض کند، خارج از اساس منطق قرار دارد.

سیستم استنتاج طبیعی روشی است که با استفاده از تعدادی قاعده و فرض، و بدون استفاده از هیچ اصل موضوعی، استدلال‌ها و قضایای منطق را ثابت می‌کند. و از آنجا که این روش به زبان طبیعی و طبیعت ذهن انسان نزدیک است آن را روش استنتاج طبیعی می‌نامند. این سیستم‌ که تقریرهای مختلف و متعددی دارد به خاطر مشکلاتی که سیستم‌های اصل موضوعی(که در اوخر قرن نوزدهم و اوایل قرن بیستم توسط فرگه و راسل وایتهد ابداع شده بود) در امر آموزش و یادگیری داشتند، توسط یاکوفسکی و گنتزن طراحی شد. یاکوفسکی و گنتزن در سال 1934 به طور همزمان و مستقل از یکدیگر مقالاتی را منتشر کردند که در آن به تبیین این روش پرداخته بودند. یاکوفسکی دو روش، یکی گرافیکی و دیگری دفترداری را ابداع کرد، و گنتزن نیز یک روش را ارایه داد که استدلال‌ها و قضایای منطق را در یک ساختار درختی اثبات می‌کرد. این روش‌ بعدها مخصوصاً در دهه‌های پنجاه و شصت میلادی توسط منطقدانانی نظیر کواین، کپی، فیچ، مونتاگیو، سوپیس، میتس، لمون و دیگران که از این روش برای متن‌های آموزشی استفاده کرده بودند توسعه و تکمیل گردید و هر کدام تقریری از این سیستم ارایه دادند. در این تحقیق علاوه بر ارایه تقریرهای مزبور به مقایسه و بررسی آنها پرداخته می‌شود، و همچنین تقریرها از نظر نماد گذاری‌ها و تعداد قواعد استنتاجی و همچنین مزایا و معایب هر کدام بررسی می‌شود. در اینجا همچنین ضمن بیان اشتراکات و تفاوت‌های تقریرها با یکدیگر از لحاظ معنایی نیز قواعد معرفی و حذف سور در آنها بررسی می‌شود. از طرفی نتیجه می‌گیرد، روش گرافیکی یاکوفسکی که توسط کپی تکمیل و ادامه پیدا کرد، در بین منطقدانان مورد اقبال بیشتری واقع شده است.