- سؤالات امتحان پایانی: قضایای ناتمامیّت گودل و منطق موجّهات.
- امتحان منطق موجّهات: شنبه ۷ مرداد ۱۳۹۶ ساعت ۱۰ صبح. امتحان قضایای ناتمامیّت گودل: دوشنبه ۹ مرداد ساعت ۱۰ صبح.
- تمرین ۵ (موعد تحویل: ۱۲ تیر): مطالعهی فصل ۲ کتاب Garson و حل تمرینهای ۲.۱ تا ۲.۱۷.
- نحوهی برگزاری کلاسهای درس پس از ۶ خرداد: دوشنبهها ساعت ۱۶:۳۰-۱۹:۳۰ نخستین جلسهی کلاس ۱۲ تیر.
امتحان نخست از قضایای ناتمامیت گودل: ۱۲ تیر ساعت ۱۶:۳۰. - فرض کنید \({\textbf K}'\) همان \({\textbf K} \) باشد که در آن اصلشِمایِ \(\Box(A\to B)\to (\Box A\to \Box B)\) با اصلشِمایِ \(\Box(A\wedge B)\leftrightarrow (\Box A\wedge \Box B)\) جایگزین شده باشد. در این صورت \({\textbf K}'\) اکیداً ضعیفتر از \({\textbf K} \) است. برای اثبات این موضوع به این نوشته مراجعه کنید.
- تمرین ۴: اثبات قضیهی صحتِ \(\textbf{K}\) برای مدلهای کریپکی.
- تمرین ۲: در دستگاه K، برهانی برای \(\Box (A\wedge B)\leftrightarrow (\Box A\wedge \Box B)\) بنویسید.
- تمرین ۱
- کتاب درس(۲): (Oxford Logic Guides 19) Raymond M. Smullyan-Gödel's Incompleteness Theorems-Oxford University Press (1992)
- کتاب درس (۱): Garson J.W.-Modal Logic for Philosophers-Cambridge University Press (2013)،
- برای دریافت اخبار درس، نام و ای-میل خود را در سمت چپ همین صفحه وارد کنید.
- اینجا صفحهی اختصاصی درس منطق پیشرفته است که در ترم دوم سال تحصیلی ۹۶-۱۳۹۵ توسط مجتبیٰ مجتهدی در پژوهشکدهی فلسفهی تحلیلی در IPM ارائه میشود.
Education
منطق پیشرفته (بهار ۹۶)
- Details
- Hits: 1087