Fuzzy logic = ✅ or ❎ or ⁉️

از ابهام تا منطق فازی (پیشینه منطق فازی)

✨ تعداد زیادی از گفتارهای غیرصوری مبهم اند و از طرفی یک دلیل مهم برای تأسیس نظام های صوری در منطق ، فراهم آوردن قوانین دقیق برای اعتبار استدلال هاست . یکی از مزایای منطق صوری دقت زیاد آن است .

برای حل مشکل جمله های مبهم در منطق صوری چه باید کرد؟

شاید بگویید خب جمله های مبهم را در #منطق حذف کنیم! این راه حل بسیار خام است چرا که جملات مبهم شاید نقش اساسی در استدلال ها داشته باشند.

🔐 برای حل این مشکل دو رویکرد وجود دارد:

1⃣ مرتب و منظم کردن استدلال های غیر صوری قبل از آنکه مورد ارزیابی منطق قرار بگیرند.
2⃣ تأسیس نظام صوری منطقی جایگزین.

#کارناپ در مورد گزینه اول طرحی به نام تدقیق پیشنهاد میکند ( قبل از صورت بندی دقت جایگزین ابهام شود )

ولی آیا تدقیق ممکن است؟
به قول #پوپر ممکن است دقت یک آرمان کاذب باشد!

جایگزین تدقیق چیست؟!

✴️ شاید بتوان دستگاه منطقی کلاسیک را چنان تعدیل کرد که بر استدلال های غیر صوری غیر سامان یافته قابل اعمال باشد.

✴️ #لطفی_زاده پیشنهاد یک منطق غیر استاندارد را می‌دهد ، منطق او به #منطق_فازی مشهور است که در آن عضویت یک امر مشکک و دارای درجه است...
___
📚 منبع:
سوزان هاک، #فلسفه‌_منطق ، صفحه ۲۴۰ تا ۲۴۴

#فلسفه_مضاف
@harmoniclib