توضیحات
قواعد استنتاج فیچ یک سبک مدرن را در سیستم استنتاج طبیعی دنبال میکند. در این روش برخلاف روش لمون که از سطرهای ابتناء استفاده میکند از روش گرافیکی بهره میبرد که بسیار محاسبات منطقی را راحتتر میکند. این قواعد به دو بخش قواعد بدون برهاک و قواعد با برهانک تقسیم میشود. در این ویدئو قواعد بدون برهانک فیچ درس داده شده است.
در سیستم استنتاج طبیعی منطق شهودی قاعدهی استنتاج «حذف نفی» برقرار نیست. ازین جهت این قاعده در این ویدئو درس داده نمیشود و بحث آن به دو ویدئوی بعدی واگذار میشود. در این ویدئو و ویدئوی بعدی تقریری از سیستم استنتاج طبیعی فیچ را برای شما انتخاب کردم که شما در آن واحد هم قواعد استنتاج طبیعی منطق گزارههای کلاسیک را فرا گیرید و هم قواعد استنتاج طبیعی منطق گزارههای شهودی را.
محتویات این محصول
- ۳۳ دقیقه ویدئو
- ۱۴ صفحه پیدی اف اسلایدهای ویدئو
قواعد استنتاج فیچ
موضوعات این ویدئو
عناوین بحثهای این ویدئو به شرح زیر است:
- قواعد استنتاج فیچ
- قاعده حذف عطف
- قاعده معرفی عطف
- قاعده معرفی فصل
- قاعده حذف شرط
- قاعده حذف دوشرطی
- قاعده معرفی تناقض
- قاعده حذف تناقض
ویدئوی اول و لیست ویدئوهای مجموعه منطق فلسفی ۲
ویدئوی اول این مجموعه را میتوانید در زیر به طور آنلاین مشاهده کنید:
- دانلود فایل فشردهی ویدئوی اول(قابل دانلود فقط برای مشتریان حلقه منطق)
- دانلود پیدیاف ویدئوی اول(قابل دانلود فقط برای مشتریان حلقه منطق)
همچنین ترجمهی یک ویدئوی مرتبط:
همینطور لیست کل ویدئوهای این مجموعه را میتوانید در زیر مشاهده کنید:
منطق گزارههای کلاسیک(منطق فلسفی ۲)
شماره | فصل / منبع | بخش | عنوان | مدت | انتشار |
۱ | | مقدمه | منطق فلسفی چیست؟ | ۸۹ | ۳۱/۰۱/۹۷ |
۲ | | مقدمه | سیستم منطقی | ۵۸ | ۰۲/۰۲/۹۷ |
۳ | فصل اول | نحوشناسی: استنتاج طبیعی | زبان صوری | ۷۵ | ۰۳/۰۲/۹۷ |
۴ | فصل اول | نحوشناسی | استدلال درست | ۳۷ | ۱۴/۰۳/۹۷ |
۵ | فصل اول | نحوشناسی: استنتاج طبیعی | قواعد استنتاج فیچ | ۳۳ | ۱۵/۰۳/۹۷ |
۶ | فصل اول | نحوشناسی: استنتاج طبیعی | برهانک | ۷۴ | ۳۱/۰۳/۹۷ |
۷ | فصل اول | نحوشناس: استنتاج طبیعی | قواعد فرعی | ۲۴ | ۳۱/۰۳/۹۷ |
۸ | درآمدی به منطق جدید (موحد) | نحوشناسی: استنتاج طبیعی | قواعد استنتاج لمون | ۵۲ | ۰۴/۰۴/۹۷ |
۹ | فصل دوم | نحوشناسی: اصل موضوعی | سیستم اصل موضوعی | ۵۰ | ۲۳/۱۲/۹۸ |
۱۰ | فصل سوم | معناشناسی | سمنتیک تابع ارزشی | ۳۶ | ۲۵/۱۲/۹۸ |
۱۱ | فصل سوم | معناشناسی | ماتریسهای چندارزشی | ۴۴ | ۲۹/۱۲/۹۸ |
۱۲ | فصل سوم | معناشناسی | توابع ارزش | ۲۰ | ۰۲/۰۱/۹۹ |
۱۳ | فصل چهارم | فرانظریه | معرفی فراقضیهها | ۸۵ | ۰۷/۰۱/۹۹ |
۱۴ | منطق ریاضی (اردشیر) | فرانظریه: اثبات | اثبات فراقضیههای درستی و استنتاج | ۴۶ | ۲۴/۰۱/۹۹ |
۱۵ | منطق ریاضی (اردشیر) | فرانظریه: اثبات | اثبات فراقضیهی همارزی | ۴۹ | ۲۷/۰۱/۹۹ |
۱۶ | فصل هشتم | فرانظریه: اثبات | اثبات فراقضیه تمامیت | ۶۷ | ۳۱/۰۱/۹۹ |
منابع و پیشنیاز
- پیشنیاز: آشنایی با منطق جدید
- خرید کتاب مبانی منطق جدید
- دانلود فایل کتاب Logic for Philosophy
- دانلود نسخهی رایگان جزوه منطق فلسفی
- خرید نسخه تجاری جزوه منطق فلسفی
نسخههای رایگان
این مجموعه تقریباً با همین مباحث در سال ۹۴ در خانه کارگر درس داده شده است. شما میتوانید فایلهای صوتی آن کلاس به همراه عکس از تخته آن را از اینجا به طور رایگان دانلود کنید.
همچنین فایلهای مرتبط این کلاس با ویدئوهای پنجم و ششم را که در ۱۶/۷/۹۴ برگزار شد را میتوانید از لینکهای زیر دانلود کنید:
- فایل صوتی جلسه هفتم کلاس منطق فلسفی
- فایل های عکس از تخته
نقد و بررسیها
هنوز بررسیای ثبت نشده است.