TY  - JOUR
ID  - 59
TI  - بررسی تاریخی ـ مقایسه‌ای نظریه‌های مطرح در استنتاج طبیعی
JO  - مؤسسه آموزشی و پژوهشی امام خمینی(ره)
JA  - 33
LA  - fa
SN  - 2383-1774
Y1  - 2019
PY  - 2019
VL  - 6
IS  - 1
SP  - EP  - DO  - 
AB  - استنتاج طبیعی روشی صوری (Formal) برای اثبات و استنتاج قضایا در علم منطق است. یاکوفسکی و گنتزن از پیشگامان منطق جدید در سال 1934، مستقل از یکدیگر، این روش را به عنوان نظریه ای جایگزین برای روش اصل موضوعی پیشنهاد دادند. یاکوفسکی با ارائه  دو روش گرافیکی و شرح نویسی و گنتزن با ارائه الگوی نمودار درختی، شیوه استنتاجی خود را مبتنی بر چند پیش فرض و تعدادی قاعده به اثبات رساندند که توجه منطق دانان را به خود جلب کرد و البته کواین با تیزبینی و زیرکی خاص خود، به وجود برخی کاستی ها پی برد و در نتیجه، محدودیت هایی را بر قواعد وضع شده درباره سورها ایجاد کرد. بعدها اندیشمندانی همچون کپی، فیچ و لمون، با الهام از کواین، قرائت های دیگری از استنتاج طبیعی عرضه کردند. در مقاله پیش رو، کوشیده ایم تا ضمن تبیین نظریه استنتاج طبیعی با روشی توصیفی، تاریخی و تحلیلی، مهم ترین دیدگاه های منطق دانان این حوزه را بررسی کنیم، تا با مقایسه میان این دیدگاه ها، نقاط قوت و ضعف آنها آشکار گردد.
UR  - https://manteghi.nashriyat.ir//node/59
L1  - ER  -