منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe

عامر آمیخته؛ سید احمد میرصانعی

دوره 12، شماره 1 ، شهریور 1400، ، صفحه 1-24

https://doi.org/10.30465/lsj.2021.35927.1349

چکیده
  در این مقاله برای اصل‌بندی تمام ضرب‌های قیاس‌های ارسطویی به علاوه اصل «هر الف الف است» و قواعد دوطرفه‌ی نقض محمول سالبه‌ها، یک سیستم اصل موضوعی غیرکلاسیک معرفی شد. این سیستم تنها شامل ۲ تعریف، ۲ اصل، ۱ قاعده‌ی یک مقدمه‌ای و ضرب‌های Barbara و Datisi است. با افزودن نقض گزاره‌ای درجه اول به این سیستم، اثبات کردیم که مربع تقابل بدون ...  بیشتر

ملاحظاتی در نظر ویلیامسن درباره تنش میان منطق غیرکلاسیک و کاربردپذیری ریاضیات

مسعود الوند؛ مرتضی حاجی حسینی؛ امیراحسان کرباسی‌زاده

دوره 10، شماره 2 ، مهر 1398، ، صفحه 13-33

https://doi.org/10.30465/lsj.2019.5172

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