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

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

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

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

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