منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe
محل انتشار: دوفصلنامه منطق پژوهی، دوره: 12، شماره: 1
سال انتشار: 1400
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 112
فایل این مقاله در 24 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_LOGIC-12-1_001
تاریخ نمایه سازی: 10 اردیبهشت 1401
چکیده مقاله:
در این مقاله برای اصل بندی تمام ضرب های قیاس های ارسطویی به علاوه اصل «هر الف الف است» و قواعد دوطرفه ی نقض محمول سالبه ها، یک سیستم اصل موضوعی غیرکلاسیک معرفی شد. این سیستم تنها شامل ۲ تعریف، ۲ اصل، ۱ قاعده ی یک مقدمه ای و ضرب های Barbara و Datisi است. با افزودن نقض گزاره ای درجه اول به این سیستم، اثبات کردیم که مربع تقابل بدون استفاده از بسیاری از قواعد منطق کلاسیک (از جمله حذف نقض مضاعف) برقرار است. سپس نشان دادیم که منطق گزاره های زیرساختاری SLe برای قیاس های ارسطویی کافی است. همچنین بر پایه ی IFLe مربع تقابل، قواعد عکس و قواعد نقض در منطق مظفر به طور کامل ثابت می شوند. برای این منظور از منطق مرتبه اول یک موضعی دقیقا با همان دستگاه استنتاجی استاندارد سورها در منطق کلاسیک به علاوه اصول «بعضی الف الف است» و «بعضی غیرالف غیرالف است» بهره بردیم. در نهایت، برای نشان دادن عدم تعهد وجودی نسبت به نام های عام در منطق حملی با همان تعبیر وجودی از سورها و ترجمه ی استاندارد محصورات اربعه از منطق چهار-ارزشی ربط-کلاسیک قوی KR۴ استفاده شد.
کلیدواژه ها:
نویسندگان
عامر آمیخته
دانشگاه تربیت مدرس
سید احمد میرصانعی
دانشجوی دکتری تخصصی منطق فلسفی، دانشکده علوم انسانی، گروه فلسفه، حکمت ومنطق دانشگاه تربیت مدرس