🧠 فلسفه چیست؟
فلسفه یعنی پرسیدن، شک کردن و دنبال فهمیدن حقیقت بودن.
از سوال‌هایی مثل “من کیستم؟”، “از کجا آمده‌ام؟”، “چه چیزی واقعاً درسته؟” شروع می‌شود و به همه‌ی علوم جهت می‌دهد.
«فلسفه مادر علوم است؛ علم از پرسش فلسفی آغاز می‌شود.»🔎 منطق چیست؟
منطق یعنی هنر و علم «درست فکر کردن».
به ما کمک می‌کند اشتباه‌های ذهنی را بشناسیم و استدلال‌های دقیق بسازیم.
🧩 دسته‌بندی و توضیح همه انواع منطق‌ها:
🧠 انواع منطق — توضیح ساده + مثال واقعی
🟢 منطق ارسطویی (دو ارزشی)
هر گزاره یا «درست» است یا «نادرست». هیچ حالت سومی وجود ندارد.
📌 مثال:
«آسمان آبی است» ⬅️یا هست (✅) یا نیست (❌).
🟠 منطق چند ارزشی
گزاره‌ها می‌توانند بیش از دو حالت داشته باشند.
📌 مثال:
«امروز احساس خوبی دارم» ⬅️ نه کاملاً درست، نه کاملاً نادرست، بلکه «تا حدی» درست.
🔵 منطق فازی (Fuzzy Logic)
به جای فقط درست یا نادرست، درجه‌ای از درستی تعریف می‌شود (بین ۰ تا ۱).
📌 مثال:
«هوا گرم است» ⬅️ چقدر گرم؟ ۳۰٪، ۶۰٪ یا ۹۰٪؟
🟣 منطق گزاره‌ای (Propositional Logic)
با جملاتی کار دارد که می‌توانند درست یا غلط باشند.
📌 مثال:
«امروز جمعه است ∧ باران می‌بارد»
از نمادهایی مثل ∧ (و)، ∨ (یا)، ¬ (نفی) استفاده می‌کند.
🔴 منطق مرتبه اول (First-Order Logic)
به جای جملات کلی، به اشیاء و روابط بین آن‌ها نگاه می‌کند.
📌 مثال:
«برای هر انسان x، x فانی است»
(∀x)(انسان(x)⬅️فانی(x))
🟤 منطق استقرایی (Inductive Logic)
از مشاهده موارد خاص به نتیجه کلی می‌رسد.
📌 مثال:
«این کلاغ سیاه است، آن یکی هم سیاه است ⬅️ شاید همه کلاغ‌ها سیاه باشند»
⚫️ منطق قیاسی (Deductive Logic)
از اصل کلی به نتیجه خاص می‌رسد.
📌 مثال:
«همه انسان‌ها فانی‌اند ⬅️ سقراط انسان است ⬅️ پس سقراط فانی است»
⚪️ منطق شهودی (Intuitionistic Logic)
فقط چیزهایی را قبول دارد که واقعاً قابل اثبات باشند.
📌 مثال:
تا زمانی که چیزی را ثابت نکرده‌ایم، نمی‌گوییم درست است— حتی اگر رد هم نشده باشد.
🧱 منطق مدالی (Modal Logic)
با مفاهیم “ممکن است”، “ضروری است” یا “اجباری است” کار می‌کند.
📌 مثال:
«ممکن است باران ببارد» ≠ «حتماً باران می‌بارد»
🌀 منطق کوانتومی (Quantum Logic)
برای درک واقعیت‌های کوانتومی که رفتارشان با منطق کلاسیک نمی‌خواند.
📌 مثال:
الکترون می‌تواند همزمان در دو حالت باشد—نه فقط یکی.
🛠 منطق دینامیکی (Dynamic Logic)
تغییرات منطقی در طول زمان یا هنگام اجرای برنامه را بررسی می‌کند.
📌 مثال:
در یک برنامه، اگر دکمه‌ای فشار داده شد، آنگاه عمل بعدی اجرا شود.
⏱️ منطق زمانمند (Temporal Logic)
برای بیان اتفاقاتی که در طول زمان تغییر می‌کنند.
📌 مثال:
«همیشه بعد از روشن شدن چراغ، موتور باید فعال شود»
🧾 منطق آزادی (Free Logic)
با موجوداتی که ممکن است اصلاً وجود نداشته باشند هم کار می‌کند.
📌 مثال:
«اسب شاخدار در اتاق نیست» ⬅️ حتی اگر اسب شاخدار وجود خارجی نداشته باشد، جمله قابل بررسی است.
📚 منطق توصیفی (Description Logic)
برای ساختاردهی مفاهیم و روابط بین آن‌ها در سیستم‌های هوشمند.
📌 مثال:
“هر پزشک انسانی است که مدرک دارد” ⬅️ در RDF و Web Semantics استفاده می‌شود.
🧮 منطق مرتبه بالاتر (Higher-Order Logic)
می‌توان روی خودِ ویژگی‌ها و روابط هم کمیّت‌گذاری کرد.
📌 مثال:
“برای هر ویژگی P، اگر P برای همه صادق است، آنگاه…” ⬅️ پیچیده‌تر از مرتبه اول. #فلسفههوشمصنوعی
