آلبوم تصاویر اولین روز از یازدهمین همایش سالیانه‌ی انجمن منطق ایران / ۲۸ بهمن‌ماه ۱۴۰۲ / مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران
آلبوم تصاویر اولین روز از یازدهمین همایش سالیانه‌ی انجمن منطق ایران / ۲۸ بهمن‌ماه ۱۴۰۲ / مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران (بخش دوم)
mehrnews.com/x34f5z
یازدهمین همایش سالیانه انجمن منطق ایران آغاز به کار کرد.
یازدهمین همایش سالیانه انجمن منطق ایران صبح امروز (شنبه ۲۸ بهمن ماه) در مؤسسه‌ی پژوهشی حکمت وفلسفه آغاز به کار کرد و فردا عصر (یکشنبه ۲۹ بهمن ماه) هم به کار خود پایان می‌دهد.
به گزارش خبرنگار مهر، یازدهمین همایش سالیانه انجمن منطق ایران صبح امروز (شنبه ۲۸ بهمن ماه) با حضور اساتید و دانشجویان این رشته در مؤسسه پژوهشی حکمت و فلسفه آغاز به کار کرد.
این همایش با همکاری انجمن منطق ایران، مؤسسه پژوهشی حکمت و فلسفه و مؤسسه استنادی و پایش علم و فناوری جهان اسلام طی دو روز با حضور اساتید مجرب این حوزه برگزار و اختتامیه آن روز یکشنبه ۲۹ بهمن ماه ساعت ۱۹:۳۰ در مؤسسه پژوهشی حکمت و فلسفه برگزار می‌شود.
در این همایش درباره موضوعاتی چون منطق ریاضی، منطق فلسفی، فلسفه ریاضی، فلسفه منطق، منطق سنتی، تاریخ منطق، منطق و علوم رایانه، منطق کاربردی، منطق و روش شناسی و آموزش منطق بحث و گفتگو می‌شود.
دبیران علمی این همایش اسدالله فلاحی و علیرضا دارابی هستند.
این همایش به صورت حضوری و مجازی برگزار می‌شود.
یازدهمین همایش سالیانه انجمن منطق ایران آغاز به کار کرد.
یازدهمین همایش سالیانه انجمن منطق ایران صبح امروز (شنبه ۲۸ بهمن ماه) در مؤسسه‌ی پژوهشی حکمت وفلسفه آغاز به کار کرد و فردا عصر (یکشنبه ۲۹ بهمن ماه) هم به کار خود پایان می‌دهد.
به گزارش خبرنگار مهر، یازدهمین همایش سالیانه انجمن منطق ایران صبح امروز (شنبه ۲۸ بهمن ماه) با حضور اساتید و دانشجویان این رشته در مؤسسه پژوهشی حکمت و فلسفه آغاز به کار کرد.
این همایش با همکاری انجمن منطق ایران، مؤسسه پژوهشی حکمت و فلسفه و مؤسسه استنادی و پایش علم و فناوری جهان اسلام طی دو روز با حضور اساتید مجرب این حوزه برگزار و اختتامیه آن روز یکشنبه ۲۹ بهمن ماه ساعت ۱۹:۳۰ در مؤسسه پژوهشی حکمت و فلسفه برگزار می‌شود.
در این همایش درباره موضوعاتی چون منطق ریاضی، منطق فلسفی، فلسفه ریاضی، فلسفه منطق، منطق سنتی، تاریخ منطق، منطق و علوم رایانه، منطق کاربردی، منطق و روش شناسی و آموزش منطق بحث و گفتگو می‌شود.
دبیران علمی این همایش اسدالله فلاحی و علیرضا دارابی هستند.
این همایش به صورت حضوری و مجازی برگزار می‌شود.
mehrnews.com/x34f7K
در یازدهمین همایش سالیانه انجمن منطق ایران مطرح شد؛
درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است.
محمد اردشیر در یازدهمین همایش سالیانه انجمن منطق ایران گفت: منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است ولی درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است.
در یازدهمین همایش سالیانه انجمن منطق ایران مطرح شد؛
درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است.
محمد اردشیر در یازدهمین همایش سالیانه انجمن منطق ایران گفت: منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است ولی درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است.
انجمن منطق ایران
mehrnews.com/x34f7K در یازدهمین همایش سالیانه انجمن منطق ایران مطرح شد؛ درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است. محمد اردشیر در یازدهمین همایش سالیانه انجمن منطق ایران گفت: منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است ولی درباره ریاضیات…
👇👇👇
محمد اردشیر در یازدهمین همایش سالیانه انجمن منطق ایران گفت: منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است ولی درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است.
به گزارش خبرنگار مهر، یازدهمین همایش سالیانه انجمن منطق ایران صبح امروز (شنبه ۲۸ بهمن ماه) با حضور اساتید و دانشجویان این رشته در مؤسسه پژوهشی حکمت و فلسفه آغاز به کار کرد.
دبیری پنل اول به عهده حسین معصومی همدانی استاد فلسفه علم مؤسسه پژوهشی حکمت و فلسفه بود.
اولین سخنران این همایش در روز اول محمد اردشیر، استاد ریاضی دانشگاه صنعتی شریف بود که سخنرانی خود را با موضوع «ملاحظاتی در حساب پایه» ارائه داد.
اردشیر گفت: اصطلاح «منطق پایه یا basic logic» از حدود ۲۷-۲۸ سال پیش در ایران مطرح شد و من از همان زمان کار کردن روی این موضوع را آغاز کردم و به آن علاقمند شدم. البته پیش از این آلبرت ویزر در سال ۱۹۸۱ اصطلاح basic propositional logic را مطرح کرده و قصد داشت که منطق پایه را توسعه دهد.
وی افزود: من و روتنبرگ که از همکاران من در این پروژه است معتقدیم که منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است و در نهایت به این ایده رسیدیم که ریاضیات منطق پایه را ساخته است.
این استاد دانشگاه ادامه داد: دلیل اینکه ما سراغ منطق پایه رفتیم این بود که به عقیده من و روتنبرگ منطق شهودگرایانه مفهوم ساختی‌گری را خیلی خوب نشان نمی‌دهد و از این روز منطق پایه می‌تواند این کاستی را حل کند البته که شهودگرایان هم سعی کردند به انتقاداتی که بر آنها وارد بود جواب دهند. مورد دیگر اینکه زبان و فرمول‌های منطق پایه یک زبان و فرمول معمولی است.
نویسنده «کتاب منطق ریاضی در ایران» در ادامه سخنرانی‌اش به تفاوت میان منطق شهودگرایانه و منطق کلاسیک پرداخت و گفت: خوشبختانه درباره منطق پایه کارهای زیادی انجام شده اما درباره ریاضیاتش خیلی کم کار شده است.
این استاد منطق در پایان درباره تئوری حسابی، تعریف تابع در تئوری‌ها و جملات geometric سخن گفت و بحث خود را تمام کرد.
...
کد خبر 6026790
محمد اردشیر در یازدهمین همایش سالیانه انجمن منطق ایران گفت: منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است ولی درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است.
به گزارش خبرنگار مهر، یازدهمین همایش سالیانه انجمن منطق ایران صبح امروز (شنبه ۲۸ بهمن ماه) با حضور اساتید و دانشجویان این رشته در مؤسسه پژوهشی حکمت و فلسفه آغاز به کار کرد.
دبیری پنل اول به عهده حسین معصومی همدانی استاد فلسفه علم مؤسسه پژوهشی حکمت و فلسفه بود.
اولین سخنران این همایش در روز اول محمد اردشیر، استاد ریاضی دانشگاه صنعتی شریف بود که سخنرانی خود را با موضوع «ملاحظاتی در حساب پایه» ارائه داد.
اردشیر گفت: اصطلاح «منطق پایه یا basic logic» از حدود ۲۷-۲۸ سال پیش در ایران مطرح شد و من از همان زمان کار کردن روی این موضوع را آغاز کردم و به آن علاقمند شدم. البته پیش از این آلبرت ویزر در سال ۱۹۸۱ اصطلاح basic propositional logic را مطرح کرده و قصد داشت که منطق پایه را توسعه دهد.
وی افزود: من و روتنبرگ که از همکاران من در این پروژه است معتقدیم که منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است و در نهایت به این ایده رسیدیم که ریاضیات منطق پایه را ساخته است.
این استاد دانشگاه ادامه داد: دلیل اینکه ما سراغ منطق پایه رفتیم این بود که به عقیده من و روتنبرگ منطق شهودگرایانه مفهوم ساختی‌گری را خیلی خوب نشان نمی‌دهد و از این روز منطق پایه می‌تواند این کاستی را حل کند البته که شهودگرایان هم سعی کردند به انتقاداتی که بر آنها وارد بود جواب دهند. مورد دیگر اینکه زبان و فرمول‌های منطق پایه یک زبان و فرمول معمولی است.
نویسنده «کتاب منطق ریاضی در ایران» در ادامه سخنرانی‌اش به تفاوت میان منطق شهودگرایانه و منطق کلاسیک پرداخت و گفت: خوشبختانه درباره منطق پایه کارهای زیادی انجام شده اما درباره ریاضیاتش خیلی کم کار شده است.
این استاد منطق در پایان درباره تئوری حسابی، تعریف تابع در تئوری‌ها و جملات geometric سخن گفت و بحث خود را تمام کرد.
...
کد خبر 6026790
👍2👌1