, Volume 6, Issue 1, No 10, Year 2025 , Pages -

    بررسی تاریخی ـ مقایسه‌ای نظریه‌های مطرح در استنتاج طبیعی

    Receive Date: 2025/12/20 Accept Date: 2025/12/20
    چکیده و کلیدواژه فارسی (Persian)
    Title :بررسی تاریخی ـ مقایسه‌ای نظریه‌های مطرح در استنتاج طبیعی
    Abstract: 
    استنتاج طبیعی روشی صوری (Formal) برای اثبات و استنتاج قضایا در علم منطق است. یاکوفسکی و گنتزن از پیشگامان منطق جدید در سال 1934، مستقل از یکدیگر، این روش را به عنوان نظریه ای جایگزین برای روش اصل موضوعی پیشنهاد دادند. یاکوفسکی با ارائه دو روش گرافیکی و شرح نویسی و گنتزن با ارائه الگوی نمودار درختی، شیوه استنتاجی خود را مبتنی بر چند پیش فرض و تعدادی قاعده به اثبات رساندند که توجه منطق دانان را به خود جلب کرد و البته کواین با تیزبینی و زیرکی خاص خود، به وجود برخی کاستی ها پی برد و در نتیجه، محدودیت هایی را بر قواعد وضع شده درباره سورها ایجاد کرد. بعدها اندیشمندانی همچون کپی، فیچ و لمون، با الهام از کواین، قرائت های دیگری از استنتاج طبیعی عرضه کردند. در مقاله پیش رو، کوشیده ایم تا ضمن تبیین نظریه استنتاج طبیعی با روشی توصیفی، تاریخی و تحلیلی، مهم ترین دیدگاه های منطق دانان این حوزه را بررسی کنیم، تا با مقایسه میان این دیدگاه ها، نقاط قوت و ضعف آنها آشکار گردد.
    • 106 reads
    Cite this article: RIS Mendeley BibTeX APA MLA HARVARD VANCOUVER

    APA | MLA | HARVARD | VANCOUVER

    (نویسنده تعیین نشده).(2025) بررسی تاریخی ـ مقایسه‌ای نظریه‌های مطرح در استنتاج طبیعی. , 6(1), -

    APA | MLA | HARVARD | VANCOUVER

    (نویسنده تعیین نشده)."بررسی تاریخی ـ مقایسه‌ای نظریه‌های مطرح در استنتاج طبیعی". , 6, 1, 2025, -

    APA | MLA | HARVARD | VANCOUVER

    (نویسنده تعیین نشده).(2025) 'بررسی تاریخی ـ مقایسه‌ای نظریه‌های مطرح در استنتاج طبیعی', , 6(1), pp. -

    APA | MLA | HARVARD | VANCOUVER

    (نویسنده تعیین نشده). بررسی تاریخی ـ مقایسه‌ای نظریه‌های مطرح در استنتاج طبیعی. , 2025; 6(1): -