منطقهای چندارزشی و فازی
منطقهای چندارزشی و فازی، دو ارزش صدق کلاسیک را با سه، تعداد محدودی، یا پیوستاری از درجات جایگزین میکنند، عمدتاً برای مدلسازی ابهام و موارد مرزی.
Definition
یک منطق چندارزشی بیش از دو ارزش صدق را میپذیرد؛ منطق فازی به طور خاص به جملات درجهای از صدق در بازه حقیقی از 0 تا 1 اختصاص میدهد، با عملگرهایی که توسط توابعی بر روی آن درجات محاسبه میشوند.
Scope
این موضوع به منطقهایی میپردازد که دوگانگی ارزش صدق را به نفع ارزشهای صدق اضافی یا پیوسته رها میکنند. این شامل سیستمهای سهارزشی لوکاسیویچ و کلینی، مجموعههای فازی زاده و منطق مبتنی بر درجه، کاربرد این ابزارها در پارادوکس سوریتس و ابهام، و رویکردهای رقیب به ابهام — سوپروالواسیونیسم (شکافهای ارزش صدق) و معرفتگرایی (مرزهای دقیق اما ناشناخته) — میشود که بر این مسئله تأثیر میگذارند که آیا درجات صدق پاسخ مناسبی هستند یا خیر.
Core questions
- آیا ابهام باید با ارزشهای صدق اضافی، شکافهای ارزش صدق، یا هیچکدام مدلسازی شود؟
- چگونه عملگرهای کلاسیک به ارزشهای چندگانه یا پیوسته تعمیم داده میشوند؟
- آیا منطق فازی پارادوکس سوریتس را حل میکند یا صرفاً آن را به عنوان ابهام مرتبه بالاتر جابجا میکند؟
- آیا در مورد موارد مرزی واقعیت عینی وجود دارد (معرفتگرایی) یا خیر؟
Key concepts
- دوگانگی ارزش صدق و رد آن
- منطقهای سهارزشی
- درجات صدق
- مجموعههای فازی
- پارادوکس سوریتس
- ابهام مرتبه بالاتر
Key theories
- منطق فازی (مبتنی بر درجه)
- بر اساس مجموعههای فازی زاده، محمولهای مبهم درجات صدق در [0,1] را میگیرند، با عطف، فصل، و نفی که توسط توابع حداقل، حداکثر، و متممگیری داده میشوند، بنابراین موارد مرزی مقادیر میانی را میپذیرند.
- سوپروالواسیونیسم
- فاین یک جمله مبهم را فوقصادق میداند اگر و تنها اگر در هر روش مجاز برای دقیق کردن زبان، صادق باشد، بدین ترتیب منطق کلاسیک را حفظ میکند در حالی که شکافهای ارزش صدق را برای موارد مرزی بدون پذیرش درجات صدق مجاز میشمارد.
History
لوکاسیویچ در دهه 1920 منطق سهارزشی را برای پرداختن به احتمالات آینده معرفی کرد، و کلینی یک منطق سهارزشی برای توابع جزئی ارائه داد. مجموعههای فازی زاده در سال 1965 این مفهوم را به پیوستاری از درجات تعمیم دادند که برای ابهام به کار رفت؛ سوپروالواسیونیسم فاین در سال 1975 و معرفتگرایی ویلیامسون در سال 1994 جایگزینهای تأثیرگذاری را ارائه دادند.
Debates
- چگونگی مدلسازی ابهام
- اینکه آیا ابهام نیازمند درجات صدق است (منطق فازی)، شکافهای ارزش صدق با حفظ منطق کلاسیک (سوپروالواسیونیسم)، یا مرزهای دقیق اما ناشناخته با حفظ دوگانگی ارزش صدق (معرفتگرایی)، و کدام یک پارادوکس سوریتس و ابهام مرتبه بالاتر را بهتر مدیریت میکند.
Key figures
- Jan Lukasiewicz
- Stephen Kleene
- Lotfi Zadeh
- Kit Fine
- Timothy Williamson
Related topics
Seminal works
- zadeh1965
- fine1975
- williamson1994
Frequently asked questions
- آیا منطق فازی پارادوکس سوریتس را حل میکند؟
- این منطق یک رویکرد ارائه میدهد: با برداشتن دانهها از یک توده، جمله «این یک توده است» به تدریج در درجه صدق خود کاهش مییابد به جای اینکه به طور ناگهانی از درست به غلط تغییر کند. منتقدان اعتراض میکنند که این فقط مشکل را جابجا میکند، زیرا منطق فازی همچنان به درجات عددی دقیق نیاز دارد و با ابهام مرتبه بالاتر در مورد اینکه این درجات کجا قرار میگیرند، مواجه است.