پنجاه و نهمين جلسه منطق و فلسفه رياضي (دانشگاه شريف) با ارائۀ دكتر شهرام محسني پور در دانشگاه شريف برگزار مي‌شود.
عنوان سخنراني: قضاياي لوونهايم - اسكولم براي منطق موستوفسكي با سورهاي تعميم يافته
دانشگاه شريف، دانشكده رياضي، اتاق ۴۰۳
يكشنبه ۲۹ بهمن ۹۱ ساعت ۱۷
با سپاس از خانم رمضاني بابت اطلاع رساني
مركز فلسفه رياضیاتي مونيخ (MCMP) مجموعه ای از سخنرانیها و سمینارهای خود را به صورت رايگان در دسترس عموم قرار داده است. فایلهای تصویری این مجموعه را می توانید از طریق itunes از پيوند بالا دانلود کنید. براي اجراي اين فايل‌ها به برنامه itunes نياز هست كه در بخش دانلود اين برنامه در شركت اپل در دسترس است.
با سپاس از آقای بهنام ذوالقدر (دانشجوی دکترای منطق دانشگاه تربیت مدرس) که این سایت را معرفی کردند.
همایش «ذهن، منطق و محاسبه» به مناسبت یکصدمین سالگرد تولد «آلن تورینگ» برگزار مي‌شود. موضوع‌هاي سخنراني:
ضیاء موحد: «مفهوم محاسبه»،
امیر احسان کرباسی‌زاده: «آلن تورینگ نابغه غریب»،
رسول رمضانیان: «ماشین تورینگ تکاملی پایا»،
محمد ایزدی: «محاسبه فراتر از تز چرچ-تورینگ»
محمد اردشیر: «مفهوم محاسبه در شهود گرایی»،
فرزاد دیده ور: «نظریه محاسبات در گذر زمان»،
کاوه لاجوردی: «تورینگ بیست و چهارساله» و
مهدی نسرین: «ما و ماشین».
این همایش شنبه سوم تیرماه 1391 از ساعت 10 تا 17 در سالن همایش‌ای موسسه پژوهشی حکمت و فلسفه ایران به نشانی خیابان نوفل لوشاتو، خیابان آراکلیان برگزار خواهد شد.
|
سخنران |
موضوع |
تاريخ |
|
اصغر پوربهرامي دانشگاه تربيت مدرس |
معياري بري تمايز مواد ثلاث منطقي و وجوب و امكان فلسفي |
2/12/90 |
|
محمدصالح زارع پور دانشگاه تربيت مدرس |
رياضيات و تعيين ناقص |
9/12/90 |
|
سياوش اسدي دانشگاه تربيت مدرس |
تمايز " وجود " و " موجود " در چارچوب نظريه دلالت غير مستقيم |
16/12/90 |
|
سيد نصراله موسويان موسسه پژوهشي حكمت و فلسفه ايران |
سهروردي و عقل گرايي جديد |
29/1/91 |
|
علي رضا دارابي دانشگاه تربيت مدرس |
سور شرطي لزومي |
5/2/91 |
|
هومن محمد قربانيان دانشگاه تربيت مدرس |
نظريه گرايشي بودن معنا |
12/2/91 |
|
حسين بيات دانشگاه آزاد اسلامي، واحد علوم و حقيقات تهران |
ساختار منطقي حامل صدق |
19/2/91 |
|
لطف اله نبوي دانشگاه تربيت مدرس |
پوپر و فرمولي براي تبيين پژوهش |
26/2/91 |
|
داود حسيني دانشگاه تربيت مدرس |
جايي براي منطق فازي ؟ |
2/3/91 |
فايل صوتي سخنراني دكتر موسويان درباره "پرينكيپيا متمتيكا" در انجمن حكمت و فلسفه به همراه تصاويري از اين سخنراني در تاريخ يكم دي ماه ۱۳۸۹.
كتاب پرينكيپيا متمتكيا، اثر وايتهد و راسل كه ويراست نخست آن در سال‌هاي ۱۹۱۰ تا ۱۹۱۳ منتشر شد در اين سخنراني معرفي مي‌شود و به آخرين پژوهش‌ها درباره آن اشاره مي‌گردد. شنيدن فايل صوتي اين سخنراني خالي از لطف نيست و مطالب ناگفته بسياري به دست مي‌دهد.
پي‌نوشت (91/9/12):
پيوندهاي بالا مربوط به سايت قديم «موسسه پژوهشي حكمت و فلسفه ايران» است كه به تازگي جاي خود را به سايت جديد داده است. پيوندهاي بالا را در پراگماتیکس و عدم دلالت دنبال كنيد.
با سپاس از آقاي محسن طهماسبي براي اشاره به از كار افتادن پيوندهاي قبلي.
ماهنامه ی « کتاب ماه فلسفه »، در شماره ی اخیر خود، مقاله ی این نگارنده را با عنوان « نگاهی به تفسیر و انتقادات دامت از آموزه های فرگه پیرامون مباحث معناشناختی » منتشر کرده است. مقاله در مگ ایران در دسترس است و همچنین کل این شماره (شماره ی 37) را می توان از سایت خانه ی کتاب دانلود کرد.
چکیده ی مقاله:
فرگه، در راستای تحلیل مفهوم شهودی معنا، به مباحث بسیار مهم و گوناگونی می پردازد که از آن جمله می توان به آموزه های وی در باب محتوای خبری، ارجاع، تن، نیرو و اندیشه اشاره کرد. هریک از این مباحث بطورگسترده ای، بوسیلة بسیاری از فلاسفة بزرگ تحلیلی مورد بررسی قرار گرفته است. جدا از تأثیرگذاری عمیق این آموزه ها، انتقادات و بازبینی های بسیاری نیز درباب آنها مطرح شده است. مایکل دامت، به عنوان یکی از مهمترین فلاسفة تحلیلی و از اصلی ترین شارحان و در عین حال، منتقدین فرگه، بطور مفصل پیرامون این مباحث نگاشته است. در این نوشتار، اصلی ترین آموزه های فرگه، پیرامون مباحث معناشناختی و فلسفة زبان، با تأکید بر تفسیر دامت از آنها مطرح شده و همزمان، مهمترین نقدهای دامت بر این آموزه ها مورد بررسی قرار می گیرد.
کلیدواژه ها: فرگه، دامت، ارزش معناشناختی، محتوای خبری، اندیشه.
مروری کلی بر ایده های تارسکی درباب مفهوم صدق
آلفرد تارسکی یکی از ریاضی-منطقدانان بزرگ قرن بیستم بوده است
. متداول است که نظریه ی صدق تارسکی را « نظریه ی معناشناختی یا سمنتیکی صدق » بنامند، هرچند خود تارسکی ترجیح می داد آن را « درک یا مفهوم سازی[1] معناشناختی از صدق » بنامد، که به باور وی این مفهوم سازی، اساس نظریه ی تطابقی صدق را تشکیل می دهد ( Kirkham, 2001, p. 141 ).
مهمترین سهم فلسفی تارسکی، تعریف « معناشناختی » صدق او است. معناشناسی ( یا سمنتیک )، معنا را به عنوان رابطه ای درنظر می گیرد میان یک عبارت زبانی و آنچه که عبارت مذکور بیان می کند یا نمایش می دهد یا جانشین آن است، یعنی، اشیاء. بنابراین، « دلالت دارد »[2]، « می نامد »[3]، « ارجاع می دهد »، « بیان می کند »[4] و « اشباع می سازد »[5]، الفاظ یا عبارات معناشناختی هستند. تارسکی در کارهای خود، صدق را بر اساس مفهوم اشباع شدگی تعریف می کند (Martinich and Sosa, 2005, p. 124).
در این سمینار مقاله‌اي را با عنوان "تعهد وجودي" ارائه خواهم كرد كه زمان آن چهارشنبه ۳۰/۲/۸۸ ساعت ۱۱ تا ۱۱:۳۰ خواهد بود.
سایت سمینار
گروه منطق دانشگاه شریف
ــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــ
توجه:
بروشور و برنامه کامل سمینار (شامل چکیده سخنرانیها) که کمی با تاخیر به دستم رسید.
و نیز چکیده سخنرانیها به صورت مرتب از خود سايت
پس از دیدن کامنت عزیزان در این قسمت قصد کردم مابقی مقدمات را که به معرفی فلسفه برای دانشجویان ریاضی در نظر گرفته شده پست کنم و از قسمت بعد انشالله به خود خود فلسفه ریاضی بپردازیم .
از دوستان عزیزم فلاحی سیفی و اطی تشکر میکنم و از آنها میخواهم که در مورد فرم و محتوای مطالب جلادانه اظهار نظر کنند ( منظورم اینه که نقدم کنند)
واقعیتش اینه که اگه اینبار ستون نظرات خالی باشه من دیگه این موضوع را پی نمیگیرم!
من که گل نیستم همینطور سخاوتمندانه " باشم" بی آنکه کسی لزوما مرا ببیند یا نه! من میخواهم نقدم کنید.(لطفا)
در این قسمت اندکی در باب معرفت ریاضی خواهم نوشت
البته من نه استاد فلسفه ام و نه مدرس ریاضی لکن به لحاظ دغدغه ای که در هر دو حوزه داشته ام و از آنجاییکه به زبان هر دو قوم آشنایم سعی نموده ام فلسفه را برای دانشجویان ریاضی ترجمه کنم!
مطالبی که بعد از این تحت عنوان " در آمدی بر فلسفه ریاضی" پست میشود حاصل چنین تجربه و ترجمه ای است . مشتاقم که نظرتان را بدانم.