منطق فلسفی ۲-ویدئوی سوم(زبان صوری)

توضیحات

دقیقاً یک زبان صوری در منطق جدید چگونه تعریف می‌شود؟ در این ویدئو مفصلاً به پاسخ به این سوالات پرداخته شده است. و کاملاً این مسئله با جزئیات توضیح داده شده است.

این ویدئو سومین ویدئو از سری ویدئوهای منطق فلسفی ۲(منطق گزاره‌های کلاسیک) با عنوان «زبان صوری» است.

محتویات این محصول

1. ۷۵ دقیقه ویدئو
2. ۱۵ صفحه پی‌دی اف اسلایدهای ویدئو

زبان صوری

زبان صوری در منطق جدید به ۳ بخش زیر تقسیم می‌شود:

1. واژگان:
   در این بخش الفبای زبان صوری را تعریف می‌کنیم.
2. قواعد ساخت:
   در این بخش قوانین و الگوریتم‌هایی وضع می کنیم برای ساخت عبارات معنادار یا فرمول‌ها
3. تعاریف:
   در این بخش نیز مفاهیم جدید را با تعریف کردن به زبان خود اضافه می‌کنیم.

موضوعات این  ویدئو

عناوین بحث‌های این ویدئو به شرح زیر است:

1. عدد اصلی و انواع بی‌نهایت‌ها
2. واژگان زبان
3. فرازبان
4. الفبای زبان یونانی
5. قواعد ساخت فرمول‌ها
6. نحوه‌ی نمایش ریاضیاتی قواعد ساخت
7. نمایش مدرن واژگان و قواعد ساخت(BNF)
8. تعاریف مابقی ادات‌ها
9. تعریف ریاضیاتی استدلال

ویدئوی اول و لیست ویدئوهای مجموعه منطق فلسفی ۲

ویدئوی اول این مجموعه را می‌توانید در زیر به طور آنلاین مشاهده کنید:

1. دانلود فایل فشرده‌ی ویدئوی اول(قابل دانلود فقط برای مشتریان حلقه منطق)
2. دانلود پی‌دی‌اف ویدئوی اول(قابل دانلود فقط برای مشتریان حلقه منطق)

همچنین ترجمه‌ی یک ویدئوی مرتبط:

همینطور لیست کل ویدئوهای این مجموعه را می‌توانید در زیر مشاهده کنید:

منطق گزاره‌های کلاسیک(منطق فلسفی ۲)

منابع و پیشنیاز

1. پیشنیاز: آشنایی با منطق جدید
2. خرید کتاب مبانی منطق جدید
3. دانلود فایل کتاب Logic for Philosophy
4. دانلود نسخه‌ی رایگان جزوه منطق فلسفی
5. خرید نسخه تجاری جزوه منطق فلسفی

نسخه‌های رایگان

این مجموعه تقریباً با همین مباحث در سال ۹۴ در خانه کارگر درس داده شده است. شما می‌توانید فایل‌های صوتی آن کلاس به همراه عکس از تخته آن را از اینجا به طور رایگان دانلود کنید.

همچنین فایل‌های مرتبط این کلاس با ویدئوهای دوم و سوم را که در ۱۹/۰۶/۹۴ برگزار شد را می‌توانید از لینک‌های زیر دانلود کنید:

1. فایل صوتی جلسه‌ی دوم کلاس منطق فلسفی
2. فایل های عکس از تخته