خطا: Sequence contains no elements منطق جديد 1 - كارشناسي ارشد منطق
۱۴۰۳ جمعه ۲۴ اسفند
گروه آموزشی :
آدرس پست الکترونیک :
آدرس صفحه شخصی :
|
جستجو:
|
جستجو:
|
|
جستجو:
|
جستجو:
|
جستجو:
|
جستجو:
|
|
شماره درس نام درس زمان ارائه مکان ارائه تاریخ امتحان زمان امتحان
منطق جديد 1 - كارشناسي ارشد منطق

دانشگاه اصفهان

دانشكده ادبيات و علوم انساني

گروه فلسفه


ــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــ

سرفصل مصوب درس منطق جديد 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  محل امتحان: 
 
 
 

 

دانشگاه اصفهان
آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان
کدپستی: 8174673441
تلفن: 2640-03137932128 تلفکس: 03136687396
Powered by DorsaPortal