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