Logic is the study of the methods and principles used to distinguish correct from incorrect reasoning
منطق مطالعه‌ی آن روش‌ها و اصول است که در تمیز استدلال (دلیل‌آوری) صحیح از استدلال غلط بکار می‌رود.

دعوت به همکاری: اگر دانش‌آموخته‌ی منطق هستید، بسیار خوشحال می‌شویم که در این کلاب، اتاق برگزار کنید. 

فایل‌های کلاب را از اینجا دانلود کنید:
https://plink.ir/acUqq

منطق علم استدلال (reasoning) است که مباحث آن با سه رویکرد فلسفی، ریاضی و علوم کامپیوتری دنبال می‌شود:

1️⃣ منطق در رشته‌ی فلسفه
    🟢 فلسفه
          ⏺ فلسفه منطق
          ⏺ فلسفه زبان
          ⏺ فلسفه ریاضی
          ⏺ فلسفه تحلیلی
    🟢 منطق صوری
          ⏺ منطق جدید (منطق فلسفی به معنای خاص)
                 - منطق کلاسیک: گزاره‌ها، محمولات مرتبه اول، محمولات مرتبه دوم و بالاتر
                 - منطق‌های نیمه‌کلاسیک (توسعه یافته): موجهات، زمان، معرفت، تکلیف، پویا، شرطی و …
                 - منطق‌های غیرکلاسیک (غیراستاندارد): شهودی، آزاد، ربط، چندارزشی، فازی، کوانتوم، خطی و …
         ⏺ منطق قدیم
                 - منطق ارسطویی
                 - منطق رواقی-مگاری
                 - منطق سینوی
        ⏺ تاریخ منطق
        ⏺ منطق تطبیقی
    🟢 منطق غیرصوری (منطق کاربردی)
        ⏺ تفکر انتقادی
        ⏺ مغالطات
        ⏺ روش‌شناسی

2️⃣ منطق در رشته‌ی ریاضی
    🟢 جبر
        ⏺ منطق جبری
               - ساختارهای جبری منطقی
               - نظریه مشبکه
               - جبرهای استلزامی
               - منطق جبری مجرد
        ⏺ جبر مجرد
               - جبر جامع
               - ساختارهای جبری
        ⏺ نظریه رسته‌ها و توپوس
    🟢 منطق جدید (منطق ریاضی به معنای اخص)
        ⏺ منطق کلاسیک
        ⏺ منطق موجهات
        ⏺ منطق‌های غیرکلاسیک: شهودی، چندارزشی و فازی
    🟢 شاخه‌های اصلی منطق ریاضی
        ⏺ نظریه برهان
        ⏺ نظریه محاسبه‌پذیری (نظریه بازگشت)
        ⏺ نظریه مدل
        ⏺ نظریه مجموعه‌ها

3️⃣ منطق در رشته‌ی علوم کامپیوتر
    🟢 منطق جدید (منطق کامپیوتر به معنای خاص)
        ⏺ وارسی‌گر مدل: منطق‌های زمان
        ⏺ اثبات خودکار: منطق گزاره‌های کلاسیک، منطق موجهات، منطق شهودی و منطق خطی
        ⏺ درستی‌یابی نرم‌افزار: منطق هوار و منطق پویا
    🟢 منطق و برنامه‌نویسی
        ⏺ درستی‌یابی نرم‌افزار
        ⏺ برنامه نویسی منطقی
        ⏺ معناشناسی صوری
        ⏺ توصیف صوری نرم‌افزار
    🟢 منطق و محاسبه
        ⏺ نظریه پیچیدگی
        ⏺ محاسبات منطقی
        ⏺ نظریه محاسبه
        ⏺ منطق محاسباتی
        ⏺ نظریه بازگشت
    🟢 منطق و هوش مصنوعی
صبر داشته باشید.: با توجه به اینکه مباحث کلاب معمولا تخصصی یا فلسفی یا آموزشی هست نیاز است مباحث واکاوی شود و بسیار اتفاق میوفتد که صحبت تنها بین چند نفر می‌چرخد. بنابراین کلاب ویژه بیان نظرات نیست. پس صبور باشید.