تبلیغات
حلقه منطق
شنبه 28 شهریور 1394

گروه حلقه ی منطق

• نوشته شده توسط: عامر آمیخته

دوستان عزیز گروه حلقه ی منطق تشکیل داده ایم.

در این حلقه ی منطق برنامه های منظم با بحث های هدفمند خواهیم داشت در شاخه های مختلف منطق:
در این حلقه با توجه به زمینه ی تخصصی دوستان افرادی را انتخاب می کنیم که در زمینه ی تخصص خود کلاسی با سری بحث های منظم و منسجم ارائه می دهند و افرادی دیگر تک کنفرانس هایی در مورد موضوعات خاص تخصص خود ارائه می دهند و در ادامه بحث و گفتگو و تحلیل. همچین به سوالات خاص دوستان پاسخ داده می شود. و بحث هایی صورت خواهد گرفت. اما به طور هدفمند و منظم و نه پراکنده و رها. همچنین رویکرد اولیه حلقه آموزشی خواهد بود و به مرور به سمت پژوهشی شدن میل می کند.

حداقل تحصیلات برای شرکت در گروه حلقه منطق «دانشجویی در مقطع کارشناسی ارشد» است و فقط برای رشته های فلسفه و ریاضی مدرک «کارشناسی» کافی است.

به منظور اطلاع رسانی و ارتباط با دوستان «گروه تلگرامی حلقه منطق(عمومی)» را نیز تشکیل دادیم که توسط این لینک می توانید وارد شوید.
(لطفاً دیگر دوستانی که نمی خواهند شرکت کنند وارد این گروه نشوند. این گروه مختص افراد حلقه ی منطق است)
لازم به ذکر است که این گروه یک گروه عمومی است ولی در «گروه تلگرامی حلقه منطق(خصوصی)» تنها عزیزانی که حداقل یک بار حضور فیزیکی داشته اند حضور خواهند داشت و در صورت 4 بار غیبت پیاپی از گروه خصوصی اخراج خواهند شد. لذا لینک گروه دوم در اختیار عموم قرار نخواهد گرفت.

برای دسترسی به اطلاع رسانی کامل در مورد فعالیت های حلقه منطق حتماً وارد کانال حلقه منطق شوید. در کانال حلقه منطق مطالبی گذاشته می شود که در وبلاگ گذاشته نمی شود از جمله اینکه جلسه ی بعدی حلقه چه زمانی تشکیل می شود یا برنامه کلاس های جلسه ی بعدی چیست.(هر مطلبی که در وبلاگ گذاشته می شود در کانال نیز گذاشته می شد اما نه بالعکس)

زمان 1: پنجشنبه ها از 14:30 تا 18:30
مکان 1: خ جمهوری، شرق خ کارگر، خ اردیبهشت نبش کوچه حقیقت بیان، پلاک 32، خانه کارگر دارالقرآن
(ده جلسه ی اول در خانه کارگر برگذار شد)

زمان 2(پیشفرض): چهارشنبه ها از 8 تا 17
مکان 2: خیابان مطهری, تقاطع مفتح(مترو شهید مفتح), دانشکده الهیات و معارف اسلامی دانشگاه تهران
مکان 3(پیشفرض): ابتدای خیابان شانزده آذر٬ معاونت دانشجویی_معاونت فرهنگی دانشگاه تهران٬ باشگاه٬ سالن گفتگو.
(تا اطلاع ثانوی از جلسه ی یازدهم جلسات در دانشگاه تهران برگذار می شود)

نظرات() 



دوشنبه 21 تیر 1395

کلاس منطق عمومی در تابستان 95

• نوشته شده توسط: عامر آمیخته


نظرات() 



یکشنبه 9 اسفند 1394

جلسه پانزدهم

• نوشته شده توسط: عامر آمیخته

جلسه پانزدهم حلقه منطق با شرکت 8 نفر در تاریخ 5/12/94 در باشگاه دانشجویی دانشگاه تهران برگذار شد.

ساعت اول(جلسه اول منطق سینوی):
در این جلسه توضیحاتی درباره کلاس، ابن سینا، اشارات، برهان شفا و بحث های تاریخی داده شد.
با توجه به اینکه سطح افراد شرکت کننده در حلقه منطق, در کلاس منطق قدیم بالا بود تصمیم بر آن شد که در این کلاس متون کلاسیک تر منطق همانند اشارات و برهان شفا تدریس شود...
تایم دو ساعته به دو بخش پنجاه دقیقه ای تقسیم می شود و در یکی از آنها اشارات و در دیگری برهان شفا تدریس می شود.
دوستانی که حضورا تشریف می آورند حتما همراه خود متن این دو کتاب را داشته باشند. وجود متن برای شرکت در کلاس ضروری است.
فایل جلسه اول به اشتراک گذارده می شود اما فایل های منطق قدیم از جلسه دوم بر روی کانال و سایت قرار نمی گیرد. این فایل ها توسط مجموعه انجمن علمی ضبط می گردد و در انتهای دوره می توانید این فایل ها را تهیه بفرمایید.

ساعت دوم(جلسه بیست و هفتم منطق فلسفی):
در این جلسه زیربخش های 1-2-8) منطق های فراشهودی 1-2-9) فراقضایای نحوی درس داده شد

ساعت سوم(جلسه بیست و هشتم منطق فلسفی):
در این جلسه زیربخش های 1-2-10) سمنتیک تابع ارزشی منطق سه ارزشی گودل 1-2-11) سمنتیک تابع ارزشی منطق فازی گودل، درس داده شد.
بحث منطق گزاره ها تمام شد و بعد از عید منطق محمولات شروع خواهد شد.

نظرات() 



پنجشنبه 29 بهمن 1394

جلسه چهاردهم

• نوشته شده توسط: عامر آمیخته

جلسه چهاردهم حلقه منطق با شرکت 9 نفر در تاریخ 28/11/94 در دانشکده الهیات دانشگاه تهران برگذار شد.

ساعت اول: کنفرانس گفتاری مقدماتی در منطق ریاضی
در این کنفرانس که توسط دوست خوبم صادق یزدانی دانشجوی ورودی 93 ارشد فلسفه منطق دانشگاه تربیت مدرس برگذار شد در موارد مباحث زیر بحث شد:

1.      مروری مختصر بر سیر تاریخی منطق و پیدایش منطق جدید(منطق کلاسیک امروزی).

2.      منطق جدید و ارتباط آن با ریاضیات.

3.      چهار شعبه منطق ریاضی: نظریه مجموعه‌ها، نظریه مدل، نظریه برهان و نظریه بازگشتی.

4.      نظریه مجموعه‌ها: سازنده جهان ریاضیات.

5.      نظریه مدل: رابط زبان و جهان ریاضی.

6.      نظریه برهان: نظربه مفهوم استنتاج.

7.      نظریه بازگشتی: نظربه مفهوم محاسبه.


ساعت دوم: جلسه سوم منطق قدیم
در این جلسه به مباحث الفاظ پرداخته شد. نیاز ما به مبحث الفاظ در منطق, اقسام دلالات لفظ بر معنا, تقسیم بندی های مختلف لفظ و کاربرد آنها در منطق بطور اجمال بررسی شد.

ساعت سوم: جلسه بیست و پنجم منطق فلسفی
در این جلسه که فقط تمرین حل شد، بخشی از تمرین های 9 و 17(صفحه 31 کتاب مبانی منطق جدید) جزوه حل شد.

ساعت چهارم: جلسه بست و ششم منطق فلسفی
در این جلسه ابتدا مروری بر زیربخش های 1-2-1 جزوه تا 1-2-5 شد سپس زیربخش های 1-2-6) ناقضایای منطق شهودی و 1-2-7) سیستم اصل موضوعی منطق شهودی درس داده شد.

نظرات() 



دوشنبه 26 بهمن 1394

جلسه سیزدهم

• نوشته شده توسط: عامر آمیخته

گزارش جلسه سیزدهم:
جلسه سیزدهم گروه حلقه ی منطق با شرکت 8 نفر در تاریخ 21/11/94 برگذار شد.

ساعت اول: جلسه سوم فلسفه منطق
در دو جلسه ی اول کلاس فلسفه منطق به دلیل مقتضیاتی که بود بدون مقدمه به فلسفه منطق شهودی پرداخته شد اما در جلسه سوم که به عبارتی جلسه ی اول بود مقدماتی از فلسفه منطق بیان شد.

ساعت دوم: جلسه 22م منطق فلسفی
در این جلسه صرفاً مطالبی ابتدایی درباره ی منطق جدید و زبان صوری گفته شد برای مخاطبانی که تقریباً آشنایی ای با منطق جدید و زبان صوری ندارند.
در این جلسه تلاش کردم به ساده ترین شکلی که بلد هستم مطالب رو بیان کنم تا برای مخاطبین عام هم قابل فهم باشد. و البته امیدوارم.

ساعت سوم: جلسه دوم منطق قدیم
در این جلسه ضمن بررسی اجمالی تاریخ منطق, تعریف معروف منطق بطور تفصیلی بررسی شده و پس از آن به تعریف فکر و اندیشه پرداخته شد.
ضمنا در بحثی حاشیه ای, چند نمونه از علل رشد نیافتن منطق ما از قرن هشت به بعد بیان شد.

ساعت چهارم و پنجم: جلسه 23م و 24م منطق فلسفی
در این جلسات تنها تمرین حل شد.
8 تمرینی که در جزوه آوردم حل شد که 7تای اول آن از صفحات 13، 14، 53، 56، 57، 60، 62 کتاب مبانی منطق جدید دکتر نبوی است.

دانلود فایل ها

نظرات() 



جمعه 16 بهمن 1394

جلسه دوازدهم

• نوشته شده توسط: عامر آمیخته

جلسه دوازدهم گروه حلقه ی منطق با شرکت 10 نفر در تاریخ 14/11/94 برگذار شد

گزارش جلسه دوازدهم:
در این جلسه، اولین جلسه کلاس فلسفه زبان توسط دوست عزیزم محسن کاشی دانشجوی «ورودی 91 دکتری فلسفه منطق دانشگاه تربیت مدرس» برگذار شد که در این جلسه مقدماتی از فلسفه زبان و مباحثی در مورد اینهمانی و sence فرگه بیان شد. و قرار شد دو مقاله ی «درباره ی معنی و مصداق» فرگه و «درباره ی دلالت» راسل در اولویت قرار داده شود و عزیزان برای جلسه ی بعدی صفحات اولیه مقاله ی فرگه را مطالعه کرده تا مورد بحث و بررسی قرار گیرد.
همچنین اینجانب توضیحاتی در مورد فعالیت های حلقه منطق در ترم دوم داده ام که می توانید فایل آن را دانلود کنید.
به علاوه در جلسات بیستم و بیست و یکم منطق فلسفی نیز به دوره ی مباحث گذشته(جلسه اول تا جلسه هفدهم) پرداخته شد و دوره ی مباحث به اتمام رسید. اما از آنجا که مباحث اولیه(منطق گزاره ها) در تمام جلسات منطق فلسفی(در هر 5 ترم) استفاده می شود و نیاز است عزیزان روی آن مسلط باشند برای چند جلسه ی آینده به منظور مسلط شدن روی منطق گزاره ها و آمادگی برای مباحث بعدی تمرین هایی را که در جزوه منطق فلسفی آورده ام را با مشارکت شرکت کننده ها شروع به حل کردن می کنیم.

دانلود فایل ها

نظرات() 



جمعه 9 بهمن 1394

جلسه یازدهم

• نوشته شده توسط: عامر آمیخته

جلسه یازدهم گروه حلقه ی منطق با شرکت 8 نفر پس از دو ماه وقفه در دانشکده الاهیات دانشگاه تهران در تاریخ 07/11/94 برگذار شد.

گزارش جلسه یازدهم:

در این جلسه، اولین جلسه کلاس منطق قدیم توسط دوست عزیزم کرامت ورزدار دانشجوی «ورودی 94 دکتری فلسفه و کلام دانشگاه تهران» برگذار شد که در این جلسه مباحث آغازین منطق قدیم از جمله بحث های تاریخی و نگاه قدما به منطق بیان شد.
همچنین جلسات هجدهم و نوزدهم کلاس منطق فلسفی هم برگذار شد با ذکر این نکته که تقریباً مباحث جدیدی گفته نشد و مروری بر مباحث قبل شد. اما کمی زبان منطق گزاره ها توضیح بیشتری داده شد و همچنین در مورد پارادوکس های استلزام مادی در زبان طبیعی توضیحاتی داده شد.

دانلود فایل ها

نظرات() 



یکشنبه 8 آذر 1394

جلسه دهم

• نوشته شده توسط: عامر آمیخته

جلسه دهم گروه حلقه ی منطق با شرکت 2 نفر در تاریخ 05/09/94 برگذار شد.

گزارش جلسه دهم:
طبق برنامه کل جلسه دهم به درس منطق فلسفی اختصاص پیدا کرد. در کلاس منطق فلسفی موارد زیر بحث شد:
1. تعریف قواعد کامل و مستقل
2. تعاریف روابط بین اثبات ناپذیرها
3. قواعد فرعی منطق شهودی
4. قواعد نادرست در منطق شهودی
5. قضایای منطق شهودی

دانلود فایل ها

نظرات() 



یکشنبه 8 آذر 1394

جلسه نهم

• نوشته شده توسط: عامر آمیخته

جلسه نهم گروه حلقه ی منطق با شرکت 4 نفر در تاریخ 21/08/94 برگذار شد.

گزارش جلسه نهم:

در این جلسه کلاس فلسفه منطق توسط همکلاسی عزیزم حاتم معلم استارت زده شد و از این به بعد نیز ادامه پیدا خواهد کرد. از آنجا که در کلاس منطق فلسفی به جز اشاره هایی بحث های فلسفی انجام نمی شود و صرفاً به بحث های صوری پرداخته می شود به موازات کلاس منطق فلسفی که منطق های مختلف مطرح می شود دوست عزیزم در مورد فلسفه ی منطق مورد نظر بحث خواهد کرد. و از آنجا که از جلسه هفتم حلقه مبحث منطق شهودی را آغاز کردم بنابراین 2 جلسه ی اول کلاس فلسفه منطق به فلسفه منطق شهودی اختصاص پیدا کرد.

دانلود فایل ها

نظرات() 



شنبه 7 آذر 1394

جلسه هشتم

• نوشته شده توسط: عامر آمیخته

جلسه هشتم گروه حلقه ی منطق با شرکت 5 نفر در تاریخ 14/08/94 برگذار شد.

گزارش جلسه هشتم:
در این جلسه که به طور کامل به منطق فلسفی اختصاص پیدا کرد فقط تمرینات صفحه 24 کتاب مبانی منطق جدید دکتر نبوی حل شد!
متاسفانه جلسه پانزدهم منطق فلسفی به دلیل اشتباه کردن ضبط نشد اما عکس از تخته آن موجود است.

دانلود فایل ها

نظرات() 



شنبه 9 آبان 1394

جلسه هفتم

• نوشته شده توسط: عامر آمیخته

جلسه هفتم گروه حلقه ی منطق با شرکت 5 نفر در تاریخ 07/08/94 برگذار شد.

گزارش جلسه هفتم:
طبق برنامه دو ساعت اول به کلاس منطق فلسفی و ساعت سوم به کلاس نظریه مجموعه ها اختصاص پیدا کرد.

در کلاس منطق فلسفی موارد زیر بحث شد:
A) کمی در مورد فلسفه منطق شهودی و رویکرد غیرکلاسیکی آن صحبت شد.(اشاره هایی شد)
B) سیستم استنتاج طبیعی منطق شهودی بیان شد.
C) با ایده از سه مفهوم طرح، استراتژی و تاکتیک در بازی شطرنج روشی برای تفکر و تجزیه تحلیل در مسائل ریاضی بیان شد. و در مثال اثبات به روش استنتاج طبیعی اصل پیرس توضیح داده شد.

دانلود فایل ها

نظرات() 



یکشنبه 3 آبان 1394

عدم تشکیل کلاس منطق فلسفی در جلسه نهم

• نوشته شده توسط: عامر آمیخته

دوستان عزیز از 20م(چهارشنبه) تا 26م(سه شنبه) آبان، من ساری خواهم بود برای شرکت در کلاس داوری درجه 2 شطرنج.
لذا در جلسه نهم به تاریخ 21 آبان کلاس منطق فلسفی تشکیل نخواهد شد و هر 4 ساعت حلقه به درس نظریه مجموعه ها اختصاص پیدا خواهد کرد.
همچین به دلیل عدم دسترسی من به اینترنت در این بازه ی زمانی در مورد فعالیت حلقه از طرف من مطلب یا فایلی گذاشته نخواهد شد و گزارش جلسه نهم احتمالاً بعد از برگذاری جلسه دهم داده خواهد شد.

نظرات() 



دوشنبه 27 مهر 1394

به تعویق افتادن جلسه هفتم

• نوشته شده توسط: عامر آمیخته

با توجه به اینکه این 5شنبه شب تاسوعا هست با رای گیری که میان اعضا صورت گرفت تصمیم بر این شد که این هفته کلاس تشکیل نشود. بنابراین برنامه 30 مهر برگذار نخواهد شد و جلسه هفتم حلقه در 7 آبان برگذار خواهد شد.

نظرات() 



شنبه 25 مهر 1394

منطق شهودی

• نوشته شده توسط: عامر آمیخته

همانطور که گفتم از جلسه ی هفتم حلقه به تاریخ 30/07/90 یعنی در جلسه ی دوازدهم کلاس منطق فلسفی بحث منطق شهودی را آغاز می کنیم.
در زیر(ادامه مطلب) توضیحی کلی در مورد چگونگی درس ها داده ام:
 
ادامه مطلب

نظرات() 



شنبه 25 مهر 1394

جلسه ششم

• نوشته شده توسط: عامر آمیخته

جلسه ششم گروه حلقه ی منطق با شرکت 6 نفر در تاریخ 23/07/94 برگذار شد.

گزارش جلسه ششم:
طبق برنامه دو ساعت اول به کلاس منطق فلسفی و ساعت سوم به کلاس نظریه مجموعه ها اختصاص پیدا کرد.

در کلاس منطق فلسفی موارد زیر بحث شد:
A) تقریرهای مهم سیستم اصل موضوعی منطق گزاره های کلاسیک
B) بیان فرانظریه های منطق گزاره های کلاسیک به علاوه بیان انواع تمایمت

  • در جلسه بعدی کلاس منطق فلسفی بحث منطق شهودی(بخش دوم ترم اول) رو شروع می کنم.


دانلود فایل ها

نظرات() 



جمعه 24 مهر 1394

پیش نیازهای درس نظریه مجموعه ها

• نوشته شده توسط: عامر آمیخته

در کلاس نظریه مجموعه ها فرض بر این است بخش های زیر(کتاب های دبیرستانی و پیش دانشگاهی در رشته ریاضی-فیزیک) خوانده شده است:

1. فصل دوم(مجموعه - ضرب دکارتی و رابطه)(ص: 34 تا 70) «جبر و احتمال سوم دبیرستان»
2. فصل دوم(تابع)(ص: 43 تا 102) و مبحث بسط دو جمله ای(ص: 8 تا 10) از فصل اول(محاسبات جبری، معادلات و نامعادلات) «حسابان سوم دبیرستان».
3. فصل اول(گراف ها و کاربردهای آن)(ص:1 تا 23)، دوم(نظریه اعداد)(ص: 24 تا 56) و سوم(مباحثی دیگر از ترکیبات)(ص: 57 تا 74) «ریاضیات گسسته پیش دانشگاهی» به ویژه مباحث مربوط به گراف ها
4. فصل دوم(تابع)(ص: 26 تا 55)، مباحث تابع ثابت و قدرمطلق(ص: 58 تا 61) از فصل سوم(توابع خاص- نامعادله و تعیین علامت)، مباحث توابع لگاریتمی و توابع نمایی از فصل چهارم(توابع نمایی و لگاریتمی) «ریاضی دوم دبیرستان»

کتاب های دبیرستانی حتماً خوانده شود که دیگه حداقل کار هستش. همچنین فرض بر این است که شرکت کننده ها در کلاس نظریه مجموعه ها در پایین ترین سطح حداقل به مباحث بالا آشنایی دارند.

همچین کتاب دانشگاهی در مقطع کارشناسی زیر هم نگاهی انداخته شود:
5. فصل صفر(افراز)، فصل اول(عمل دوتایی)، فصل دوم(گروه)، فصل سوم(زیرگروه) و فصل هفتم(ایزومورفیسم) از کتاب «نخستین درس در جبر مجرد» جلد اول جان ب فرالی ترجمه مسعود فرزان

(لینک دانلود کتاب ها گذاشته شده است.)

نظرات() 



  • تعداد صفحات :2
  • 1  
  • 2