درود بر دانشجوهای عزیز درس منطق ! امیدوارم حالتون خوب باشه و از دو جلسهای که گذشت لذت برده باشین.
خب، راستش این دو جلسه اول یه جورایی داشتیم با هم نقشهی راه رو میچیدیم. یه کم تئوری بود، ولی لازم بود بدونیم اصلاً قراره با چی سر و کله بزنیم. گفتم که منطق ریاضی چیه، از چی حرف میزنه، چی رو میخواد بررسی کنه. بعد هم رفتیم سراغ ارکانش و شاخههاش، و در نهایت رسیدیم به منطق گزارهای و زبانش رو ساختیم.
حالا از این به بعد قراره یه کم دستوپنجهمون گرم بشه و بریم سراغ اصل ماجرا: یعنی معرفی دستگاههای استنتاج. قراره اول با روش اصلبندی هیلبرت شروع کنیم و بعدش برسیم به دستگاههای گنتزن. یه نکتهی جالب در مورد روش کارمون اینه که برخلاف خیلی از کتابها که یک راست میرن سراغ معنا و صدق و کذب، ما کارمون رو با خودِ منطق و قواعد شروع میکنیم. یعنی اول میگیم چطور میتونیم استدلالهامون رو صورتبندی کنیم و بعدش در جلسات آینده میرسیم به اینکه این فرمولها چه معنا و تفسیری دارن.
در هر کدوم از این دستگاهها، اول با یه منطق مینیمال و پایه شروع میکنیم. بعد با اضافه کردن چیزایی بهش، میرسیم به منطق شهودگرایی (یا همون منطق ساختی گرایی که شاید اسمش رو شنیده باشین)، و در نهایت با یه سری قواعد دیگه، منطق گزارهای کلاسیک رو به دست میاریم. اینجوری میتونیم قدم به قدم ببینیم که هر کدوم از این منطقها چطور از دل همدیگه درمیان و تفاوتشون کجاست.
خلاصه اینکه بچهها، از این به بعد کار عملیتر میشه. تا حالا داشتیم مقدمه میگفتیم و بسترو میچیدیم. از جلسهی بعد میریم سراغ اصلها و قواعد و میبینیم که چطور میتونیم با این ابزارها استدلالهای ریاضی رو صوری و منظم کنیم. پس خودتون رو آماده کنین که یه کم شیرینی کار از اینجا شروع میشه!
خب، راستش این دو جلسه اول یه جورایی داشتیم با هم نقشهی راه رو میچیدیم. یه کم تئوری بود، ولی لازم بود بدونیم اصلاً قراره با چی سر و کله بزنیم. گفتم که منطق ریاضی چیه، از چی حرف میزنه، چی رو میخواد بررسی کنه. بعد هم رفتیم سراغ ارکانش و شاخههاش، و در نهایت رسیدیم به منطق گزارهای و زبانش رو ساختیم.
حالا از این به بعد قراره یه کم دستوپنجهمون گرم بشه و بریم سراغ اصل ماجرا: یعنی معرفی دستگاههای استنتاج. قراره اول با روش اصلبندی هیلبرت شروع کنیم و بعدش برسیم به دستگاههای گنتزن. یه نکتهی جالب در مورد روش کارمون اینه که برخلاف خیلی از کتابها که یک راست میرن سراغ معنا و صدق و کذب، ما کارمون رو با خودِ منطق و قواعد شروع میکنیم. یعنی اول میگیم چطور میتونیم استدلالهامون رو صورتبندی کنیم و بعدش در جلسات آینده میرسیم به اینکه این فرمولها چه معنا و تفسیری دارن.
در هر کدوم از این دستگاهها، اول با یه منطق مینیمال و پایه شروع میکنیم. بعد با اضافه کردن چیزایی بهش، میرسیم به منطق شهودگرایی (یا همون منطق ساختی گرایی که شاید اسمش رو شنیده باشین)، و در نهایت با یه سری قواعد دیگه، منطق گزارهای کلاسیک رو به دست میاریم. اینجوری میتونیم قدم به قدم ببینیم که هر کدوم از این منطقها چطور از دل همدیگه درمیان و تفاوتشون کجاست.
خلاصه اینکه بچهها، از این به بعد کار عملیتر میشه. تا حالا داشتیم مقدمه میگفتیم و بسترو میچیدیم. از جلسهی بعد میریم سراغ اصلها و قواعد و میبینیم که چطور میتونیم با این ابزارها استدلالهای ریاضی رو صوری و منظم کنیم. پس خودتون رو آماده کنین که یه کم شیرینی کار از اینجا شروع میشه!