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