شعبه IPM در اصفهان سه سخنرانی درباره منطق در دانشگاه اصفهان برگزار می کند.
گروه منطق پژوهشكده رياضيات پژوهشگاه دانش هاي بنيادي شعبه اصفهان قصد دارد سلسله جلساتي را به منظور آشنايي با زمينههاي مختلف منطق رياضي برگزار نمايد. در اين دوره ها تلاش مي شود تا شركت كنندگان با رويكردها و كاربردهاي منطق آشنا شوند، و بنابراين منطق از هر سه جنبه رياضي، فلسفه، و علوم نظري كامپيوتر (محاسباتي) مورد بررسي قرار مي گيرد.
دوره اول (برگزار شد):
اين دوره آموزشي عناويني همچون منطق گزاره ها، منطق محمولات، حساب پئانو و قضيه ناتماميت گودل، محاسبه پذيري، منطق هاي موجهات، منطقهاي معرفتي، پارادوكسهاي منطقي، منطقهاي فازي، نظريه مجموعه ها، نظريه مدل، نظريه اثبات، برنامه نويسي با پرولوگ و غيره را در بر مي گيرد.
شايان توجه است كه اين دوره ها نيازمند هيچ پيشنيازي نبوده و حضور اساتيد و دانشجويان علاقمند از رشته هاي مختلف در اين دوره ها بلامانع است.
براي ثبت نام كافي است ايميلي به آدرس ghari@ipm.ir ارسال نماييد.
دوره دوم:
در اين دوره ابتدا به تاريخچه منطق پرداخته مي شود و سپس منطق محمولات مرتبه اول از سه جنبه رياضي، فلسفي و محاسباتي معرفي مي شود.
• عنوان: نگاهي فلسفي- تاريخي به منطق،
سخنران: حميد علايي نژاد
زمان: پنج شنبه 21 بهمن 1395 ، ساعت 14 تا 16
چكيده: اگرچه سابقه دانش منطق را مي توان در برخي از آثار مكتوب به جاي مانده از انديشمندان دوران باستانِ غرب و شرق مشاهده نمود، ارسطو را نخستين مدون آن دانسته اند. اين دانش پس از ارسطو به شيوه هاي مختلفي تغيير و توسعه يافته است. اما مهم ترين اين تغييرات مربوط به قرن بيستم و در پيِ تلاش رياضي دانان و فلاسفه در جهت تدوين اين دانش به عنوان مبناي، يا شاخه اي از، رياضيات بوده است. در اين سخنراني قصد داريم تا با نگاهي به مباني فلسفيِ دانش منطق، تاريخ اين تحولات را مرور نماييم.
• عنوان: منطق مرتبه اول و ساختارهاي رياضي،
سخنران: علي ولي زاده (دانشگاه صنعتي اميركبير)
زمان: پنج شنبه 28 بهمن 1395 ، ساعت 14 تا 16
چكيده: در اين جلسه به لزوم فراتر رفتن از منطق گزاره ها (مرتبه صفر) اشاره خواهيم كرد و با معرفي منطق مرتبه اول به ويژگي هاي اساسي آن از دو و ارتباط اين دو خواهيم پرداخت. نهايتا به اين سوال مي پردازيم كه آيا منطق مرتبه اول (semantics) و معناشناسي (syntax) جنبه نحوي براي بيان نيازهاي ما كافي است؟
• عنوان: منطق محمولات و فلسفه،
سخنران: مرتضي حاج حسيني (دانشگاه اصفهان)
زمان: پنج شنبه 5 اسفند 1395 ، ساعت 14 تا 16
چكيده: چرا منطق سنتي با منطق محمول ها آغاز مي شود و منطق جديد با منطق گزاره ها؟ منطق كلاسيك محمول ها چه نسبتي با منطق سنتي دارد؟ توانايي هاي شاخص منطق كلاسيك محمول ها چيست؟ توانائي هاي شاخص منطق سنتي چيست؟ منطق كلاسيك محمول ها با چه پيش فرض هايي شروع مي كند؟ آيا اين منطق نيز همچون منطق كلاسيك گزاره ها با برخي چالش ها و پارادوكس ها روبرو است؟ راه برون رفت از اين چالش ها و پارادوكس ها چيست؟
• عنوان: منطق محمولات محاسباتي،
سخنران: مقداد قاري (پژوهشگاه دانشهاي بنيادي)
زمان: پنج شنبه 19 اسفند 1395 ، ساعت 14 تا 16
براي بررسي اثبات پذيري قضاياي منطق محمولات و ارايه مباني منطقي زبان
چكيده: هدف از اين سخنراني معرفي روش رزولوشن براي بررسي اثبات پذيري قضاياي منطق محمولات و ارايه مباني منطقي زبان برنامه نويسي پرولوگ مي باشد.
http://math.ipm.ac.ir/Isfahan/Logic_Group.htm
e-mail: ghari@ipm.ir