دانشگاه اصفهان
دانشكده ادبيات و علوم انساني
گروه فلسفه
ــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــ
سرفصل مصوب درس منطق جديد 1
جهت دانشجويان كارشناسي ارشد منطق
عنوان درس به فارسي:
منطق جديد (1)
|
تعداد واحد:2 |
نوع واحد |
جبراني |
نظري |
دروس پيشنياز: - |
عملي |
پايه |
نظري |
عملي |
تعداد ساعت: 34 |
الزامي* |
نظري* |
دروس همنياز:- |
عنوان درس به انگليسي:
Modern Logic 1 |
عملي |
اختياري |
نظري |
عملي |
آموزش تكميلي عملي: |
دارد |
نداردn |
|
سفر علمي |
آزمايشگاه |
سمينار |
كارگاه |
|
|
|
|
|
|
|
|
|
|
هدف درس
شناخت ساختار نحوي و معنايي منطق گزارهها به شيوه هاي مختلف
رئوس مطالب:
كليات: تاريخچهي منطق جديد، روشها، حوزهها و كاربرد آن.
ـ ساختار نحوي منطق گزاره ها به شيوه استنتاج طبيعي
ـ ساختار نحوي منطق گزاره ها به شيوه اصل موضوعي
ـ ساختار نحوي منطق گزاره ها به شيوه درختي
ـ ساختار معنايي منطق گزاره ها
اثبات فراقضيه هاي بهنجاري و سازگاري در منطق گزاره ها
ـ اثبات فراقضيه تماميت در منطق گزاره ها
ـ اثبات فراقضيه تصميم پذيري در منطق گزاره ها
ارزشيابي مستمر |
ميانترم |
آزمون نهايي |
پروژه |
+ |
- |
+ |
+ |
بازديد:-
منابع :
- حاج حسيني، م. (1381). آشنايي با منطق گزاره ها. اصفهان: انتشارات نقش جهان.
- موحد، ض. (1373). درآمدي به منطق جديد. تهران: انتشارات علمي و فرهنگي.
- نبوي، ل.(1377) مباني منطق جديد، تهران: انتشارات سمت.
- Copi, I. (1969). Symbolic Logic . New York: Macmillan pub.
- Lemmon,E. J. (1965). Beginning Logic, Nelson , London.
- Fitch, F.B. (1952). Symbolic Logic,Ronald Press, New York.
برنامه تدريس درس منطق جديد (1)
براي دانشجويان كارشناسي ارشد رشته منطق
پيشنياز اين درس: آشنايي مقدماتي با منطق جديد + توانايي كافي در حل مسائل مقدماتي منطقي
منبع اصلي درس:
Copi,1969, Symbolic Logic, Newyork, Macmillan Pub.
lemmon, E.I. 1965, Beginning logic, Nelson, London
Fitch,1952, Symbolic Logic, newyork, Ronald Press.
منابع كمكي درس:
حاج حسيني، م. (1381). آشنايي با منطق گزاره ها. اصفهان: انتشارات نقش جهان.
- موحد، ض. (1373). درآمدي به منطق جديد. تهران: انتشارات علمي و فرهنگي.
- نبوي، ل.(1377) مباني منطق جديد، تهران: انتشارات سمت.
برنامه حضور و غياب در كلاس:
در اين كلاس حضور و غياب رسمي انجام نمي شود. در مورادي كه حضور و غياب مي شود صرفا جهت آشنايي با دانشجويان است. اما از آن جا كه مفاهيم اين درس پيوسته هستند و چون اين درس پيشنياز درس منطق جديد2 است، غيبت در اين كلاس مي تواند شما را در درك مفاهيم درسي در ادامه همين نيمسال و نيز در درسهاي بعدي با مشكل روبه رو كند.
توجه:
در سر كلاس به سوالاتي كه ناشي از غيبت دانشجو بوده باشد پاسخ داده نمي شود.
اهداف آموزشي اين درس:
اهداف آموزشي اين درس شامل يادگيري منطق جديد و كسب مهارت در حل مسائل منطقي است.
شيوه محاسبه نمره پايان ترم:
امتحان مستمر اول :4 نمره
امتحان مستمر دوم: 4 نمره
امتحان پايان ترم :8 نمره
انجام تمرينهاي مكتوب كلاسي: 2 نمره
مشاركت فعال در كلاس: 2 نمره
نمره پايان ترم 20 نمره
جدول برنامه كلاسي
تلاش مي شود برنامه زير در هر هفته رعايت شود. در صورتي كه به عللي (مانند تعطيلي ) در يكي از هفته ها از برنامه كلاسي عقب بمانيم، با برگزاري كلاس جبراني، عقب ماندگي جبران مي شود:
هفته |
روزهاي كلاسي |
موضوعات تدريس |
جلسه اول |
94/06/22 |
كلياتي در باره منطق، تاريخ منطق، منطق جديد و ديدگاههاي رايج در كشور در مورد تفاوت منطق جديد با منطق قديم |
جلسه دوم |
94/06/29 |
آشنايي با اصطلاحات اساسي در قلمرو منطق گزاره ها ومعرفي روش هاي استنتاج طبيعي، اصل موضوعي و درختي |
جلسه سوم |
94/07/04 |
معرفي بخشي از قاعده هاي منطق گزاره ها به شيوۀ استنتاج طبيعي كپي همراه با معرفي تمرين |
جلسه چهارم |
94/07/11 |
معرفي ساير قاعده هاي استنتاج منطق گزاره ها به شيوۀ استنتاج طبيعي كپي همراه با معرفي تمرين |
جلسه پنجم |
94/07/18 |
حل برخي از مسايل كليدي از منابع معتبر |
جلسه ششم |
94/07/25 |
معرفي قاعده هاي استنتاج منطق گزاره ها به شيوۀ استنتاج طبيعي فيچ و لمون همراه با معرفي تمرين |
جلسه هفتم |
94/08/03 |
معرفي قاعده هاي استنتاج منطق گزاره ها به شيوۀ استنتاج طبيعي لمون همراه با معرفي تمرين |
جلسه هشتم |
94/08/10 |
معرفي ساختار معنايي منطق گزاره ها |
جلسه نهم |
94/08/17 |
اثبات فراقضيۀ بهنجاري و سازگاري در منطق گزاره ها |
جلسه دهم |
94/08/23 |
بيان لم كالمر و اتبات برخي فراقضيه هاي مقدماتي براي اثبات فراقضيه تماميت در منطق گزاره ها |
جلسه يازدهم |
94/08/30 |
اثبات فراقضيۀ تماميت در منطق گزاره ها به روش كالمر |
جلسه دوازدهم |
94/09/07 |
اشنايي با فراقضيۀ تماميت به روش هنكين |
جلسه سيزدهم |
94/09/14 |
معرفي روش اصل موضوعي در منطق گزاره ها |
جلسه چهاردهم |
94/09/21 |
معرفي روش درختي در منطق گزاره ها |
جلسه پانزدهم |
94/09/28 |
حل برخي مسائل كليدي به روش اصل موضوعي از منابع معتبر |
جلسه شانزدهم |
94/10/05 |
بيان ديدگاه هاي مختلف در مورد منطق گزارهها |
جلسه هفدهم |
94/10/20 |
ارزيابي نهايي |
امتحان پايان ترم: 20/10/94 ساعت امتحان: 10 تا 12 محل امتحان: