داخل رو نگاه کنید

منطق فازی تک‌نرم گزاره‌ای با ادات صدق

چکیده:
منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرمال نیمه‌خطی است. یعنی نسبت به یک جبر مرتب خطی به طور قوی صحیح و تمام است. ULΔ با قضیه‌ی (p→q)∨Δ(q→p) از دیگر سیستم‌های استاندارد منطق موجهات متمایز می‌گردد. Δφ شهوداً تعبیر می‌شود که «صادق است که φ» یا به عبارت دقیق‌تر «به طور کلاسیک صادق است که φ». در این مقاله منطق نیمه‌کلاسیک ULΔ را با چهار رویکرد اصل موضوعی، حساب ابررشته‌ها، معناشناسی جبری و معناشناسی استاندارد معرفی می‌کنیم. فراقضیه‌هایی که بررسی می‌کنیم عبارت‌اند از: استنتاج دلتا، صحت قوی، تمامیت استاندارد قوی و تعریف‌پذیری منطق کلاسیک.

تحصیلات

عامر آمیخته دانشجوی دکتری فلسفه دانشگاه تربیت مدرس

سمت

لطف الله نبوی استادیار گروه فلسفه منطق دانشگاه علامه طباطبایی

تعدادص صفحات

27

فصلنامه

فصلنامه منطق پژوهی دوره 10شماره 2

نویسنده

لطف الله نبوی

ناشر

پژوهشگاه علوم انسانی و مطالعات فرهنگی

نقد و بررسی

هیچ دیدگاهی هنوز نیست.

اولین نفری باشید که نظر می دهید “منطق فازی تک‌نرم گزاره‌ای با ادات صدق”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

17 + ده =