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