ملاحظاتی در نظر ویلیامسن درباره تنش میان منطق غیر کلاسیک و کاربردپذیری ریاضیات
مشگلات منطق کلاسیک در توضیح مسایلی همچون پارادکسهای معنا شناختی، مسئله ابهام و پدیده های کوانتمی موجب شده تا منطقدانها در صدد صورتبندی منطقی غیرکلاسیک برآیند که اینگونه مسایل در آن برنخیزد. با این حال، رشد غیرقابل انکار علم ریاضی و نفوذ گسترده آن در سایر شاخه های علمی اغلب منطقدانهای غیرکلاسیک را برآن داشته تا با جداکردن حوزه استدلالی ریاضیات از غیر ریاضی، بر پیروی استدلالهای ریاضیات از اصول منطق کلاسیک تاکید کنند. اما، ویلیامسن نشان می دهد که راهبرد جداسازی حوزه ریاضیات از غیر آن و پایبندی به منطق غیرکلاسیک در حوزه های غیرریاضی موجب اختلال در کاربردپذیری ریاضیات می شود و منطقدان غیر کلاسیک باید به فکر حل این مسئله باشد . در این نوشتار ضمن بیان استدلالهای ویلیامسن در تنش میان طرفداری از منطق غیرکلاسیک و کاربردپذیری ریاضیات و تاکید بر برخی از آنها، نشان می دهیم که برخلاف نظر ویلیامسن، فعالیت علمی مبتنی بر استنتاج قیاسی یکسره از منطق کلاسیک تبعیت نمی کند و بنابراین تنش مذکور گاهی فروکش می کند.
- حق عضویت دریافتی صرف حمایت از نشریات عضو و نگهداری، تکمیل و توسعه مگیران میشود.
- پرداخت حق اشتراک و دانلود مقالات اجازه بازنشر آن در سایر رسانههای چاپی و دیجیتال را به کاربر نمیدهد.