پنجاه و نهمين جلسه منطق و فلسفه رياضي (دانشگاه شريف) با ارائۀ دكتر شهرام محسني پور در دانشگاه شريف برگزار مي‌شود.
عنوان سخنراني: قضاياي لوونهايم - اسكولم براي منطق موستوفسكي با سورهاي تعميم يافته
دانشگاه شريف، دانشكده رياضي، اتاق ۴۰۳
يكشنبه ۲۹ بهمن ۹۱ ساعت ۱۷
با سپاس از خانم رمضاني بابت اطلاع رساني
پژوهشگاه دانش‌هاي بنيادي
پژوهشکده فلسفه تحليلي
سمينارهاي فلسفه تحليلي
زمستان 91- بهار 92
|
7/12/91 |
برهان وجودي گودل |
مهدي رعنائي پژوهشگاه دانش‌هاي بنيادي |
|
21/12/91 |
جبرگرايي الهياتي |
محمدصالح زارع‌پور دانشگاه تربيت مدرس |
|
19/1/92 |
انديشه مفرد، انديشيدن مفرد |
پژوهشگاه دانش‌هاي بنيادي |
|
2/2/92 |
قضاياي حقيقيه و خارجيه |
اسدالله فلاحي ﻣﺆسسة حکمت و فلسفه |
|
216/2/92 |
رابطة تصورپذيري و امکان: بررسي يک مدل پيشنهادي |
مسعود ضياءعلي نسب‌پور پژوهشگاه دانش‌هاي بنيادي |
|
30/2/92 |
مي‌خواهم زنده بمانم |
احمدرضا همتي مقدم دانشگاه آزاد واحد علوم و تحقيقات |
|
13/3/92 |
تأملاتي در نظريات صدق |
محمد معارفي دانشگاه امام صادق (ع) |
|
27/3/92 |
آيا برون‌گرايي در محتوا با درون‌گرايي در توجيه سازگار است؟ |
پژوهشگاه دانش‌هاي بنيادي |
شرکت براي عموم آزاد است.
مکان: تهران- ميدان نياوران- پژوهشگاه دانش‌هاي بنيادي (مرکز تحقيقات فيزيک نظري و رياضيات) پژوهشکده فلسفه تحليلي- تالار شماره 1
زمان: دوشنبه‌ها ، ساعت: 18-16 تلفن: 22803669
آقاي دكتر سعيد انواري مجموعه‌اي از سوال‌هاي منطق در آزمون‌هاي كارشناسي ارشد و دكتري رشتۀ فلسفه در فاصلۀ سال‌هاي 1381-139۱ را گرد آورده‌اند كه براي شركت‌كنندگان اين آزمون‌ها بسيار سودمند است.
سپاس از تلاش ارزشمندشان
|
دوره و شماره: دوره 3، شماره 5، صفحه 1-148 (تابستان 1391) |
|
| |
|
1 |
کواین در برابر کریپکی |
صفحه 1-25 | |
|
|
علی‌اکبر احمدی افرمجانی؛ علی صادقی* |
· |
· |
|
2 |
منطق فازی، ابهام و پارادوکس خرمن |
صفحه 27-51 | |
|
|
داود حسینی |
· |
· |
|
3 |
استدلالِ هستی‌شناسیکِ گودل |
صفحه 53-76 | |
|
|
مهدی رعنائی |
· |
· |
|
4 |
پارادوکس اخبار از مجهول مطلق: تحلیل مفهوم «خبر» |
صفحه 77-95 | |
|
|
رحمان شریف‌زاده*؛ سید محمد علی حجتی |
· |
· |
|
5 |
بررسی نظریة معنای کواین با محوریت تز عدم تعین ترجمه |
صفحه 97-136 | |
|
|
فراز عطار |
· |
· |
|
6 |
سیر تاریخی نسبت‌های چهارگانه در منطق اسلامی |
صفحه 137-148 | |
|
|
سیده‌زهرا موسوی؛ مهناز امیرخانی |
· |
· |
منطق شهودي معرفت (يا منطق معرفت از ديدگاه منطق شهودي)
دكتر رسول رمضانيان
دانشگاه شريف، دانشكده رياضي، اتاق ۴۰۳ يكشنبه ۱۵ بهمن ۹۱ ساعت ۱۷ تا ۱۸:۳۰
با سپاس از خانم رمضاني بابت اطلاع رساني
The 58th Session of Weekly Seminars on Mathematical Logic and Philosophy of Mathematics 1
An Intuitionistic Epistemic Public Announcement Logic
Rasool Ramezanian
2Department of mathematical sciences, Sharif University of Technology
Sunday, February 3, 2013 (Bahman 15, 1391)
Sharif University of Technology, Department of Mathematical Sciences Room No. 403, 17 -18:30
Abstract:
We argue that what an Epistemic logic could be from intuitionistic point of view. Then we propose an intuitionistic Epistemic Logic with public announcement operator, denoted by IEPAL, and prove soundness and com- pleteness theorems of the logic. To declare the signi cance of our proposed logic, we introduce a solution for the well-known surprise exam paradox regard-ing IEPAL.58. An intuitionistic Epistemic Public Announcement Logic، By Rasool Ramezanian;
Thursday, February 03, 2013 (Bahman 15, 1391).
دو همايش بين‌المللي زير در مونيخ آلمان و تيانجين چين در نيمه اول سال ۹۲ برگزار مي‌شود. اولي با موضوع حل مسائل فلسفی با تركيب احتمالات و منطق و دومي با موضوع تاريخ منطق در چین. اطلاعات بيشتر را در پيوندهاي زير دنبال كنيد.
با سپاس از دكتر لگنهاوزن براي اطلاع رساني
مقاله ﺗﻘﺮﯾﺮ ﺑﺮﻫﺎن ﺻﺪﯾﻘﯿﻦ ﺳﯿﻨﻮي ﺑﻪ روش ﻣﻨﻄﻖ ﺻﻮري ﺟﺪﯾﺪ از آقاي عسكري سليماني اميري در نشريه معرفت کلامی 5 - بهار 1390 منتشر شده است. فايل اينترنتي و كم حجم مقاله را از اين پيوند مي‌توانيد باز كنيد. (پيوند پيشين ۱۱ مگابايت و نسبتا سنگين است).
در اين مقاله، آقاي سليماني اميري اثبات وجود خداوند را در قالب دو صورت‌برهان زير كه اولي صورت ديگري از قاعدۀ حذف فاصل است فرمول‌بندي كرده:
p v q , p --> r , q --> r |- r
p v q , q --> p |- p
و برای اولي به روش‌های گوناگون برهان آورده است (برهان مستقيم و برهان خلف؛ به زبان منطق گزاره‌‌ها و به زبان منطق محمول‌ها). (آيا چنين برهان‌هايي منكران خدا را به وجود او مي‌باوراند؟) آنچه در صورت‌برهان نخست مهم مي‌نمايد مقدمه سوم است كه هيچ تلاشي براي اثبات صوري آن انجام نشده است. (همچنين است مقدمه دوم از صورت‌برهان دوم). اگر قرار است وجود خداوند به زبان صوري اثبات شود بايد دلايل كافي براي اين مقدمه آورده مي‌شد.
صورت‌برهان دوم را مهدي حائري يزدي بيش از 30 سال پيش آزموده است:
حائري يزدي، مهدي، (1360)، هرم هستي، تهران، چاپ اول، موسسه مطالعات و تحقيقات فرهنگي (چاپ دوم، 1361، چاپ سوم 1385، موسسه پژوهشي حكمت و فلسفه ايران).
حائري يزدي، مهدي، (1360ب)، متافيزيك، به اهتمام عبدالله نصري، تهران، نهضت زنان مسلمان.
و سليماني اميري اين صورت‌برهان را در ص 39 مقاله خود بدون هيچ ارجاعي به حائري يزدي آورده است.
نزديك به 20 سال پيش نيز دكتر عبدالرسول كشفي در پايان نامه ارشد خود برهان ديگري براي اثبات وجود خداوند در منطق وجهي آورده است. اطلاعات كتاب‌شناختي اين پايان نامه به قرار زير است:
كشفي، عبد الرسول، (1373)، روش اصل موضوعي و كاربرد آن در فلسفه اسلامي، پايان نامه كارشناسي ارشد به راهنمايي غلامحسين ابراهيمي ديناني و لطف اله نبوي، تهران، دانشگاه تربيت مدرس.
براي مراجعه به صورت‌بندي‌هاي ديگري از براهين وجود خداوند به زبان منطق جديد مقدمه تفصيلي نگارنده در مقالۀ زير و منابع آن را مي‌توانيد ببينيد:
مقاله «امتناع برهان صديقين بدون پيش فرض فلسفي در منطق جديد» - یکشنبه یازدهم اردیبهشت 1390