به اطلاع علاقمندان می رساند که نهمین همایش سالانه انجمن منطق ایران با همکاری دانشگاه آزاد اسلامی واحد علوم و تحقیقات به صورت مجازی در تاریخ ۲۹-۳۰ دی ماه ۱۴۰۰ برگزار می‌ گردد. شرکت در همایش رایگان و برای عموم آزاد است.

کمیته‌ علمی:‌ یوهان ون بنتام، سید محمد علی حجتی، مهرنوش صدر زاده، مقداد قاری، فرشته نباتی.

کمیته اجرایی: حامد باستین، علیرضا دارابی، علی صادق دقیقی

حوزه‌های پژوهشی مرتبط عبارت‌اند از:

۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق.

از پژوهشگران گرامی دعوت می‌شود تا خلاصه‌ی مقالات خود را در حجم ۱۰۰۰ تا ۱۵۰۰ کلمه حداکثر تا ۱۵ ام آذر ماه سال جاری به آدرس زیر ارسال نمایند:

این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید

هیأت‌‌مدیره‌ی انجمن منطق ایران

بازدید: 103

سخنران عنوان تاریخ بیشتر
مرتضیٰ منیری
دانشگاه شهید بهشتی		 خواص ساختاری چه هستند؟ ۳۰ فروردین  
نازنین روشندل توانا
دانشگاه صنعتی امیرکبیر		 محاسبه‌پذیری روی اعداد حقیقی  ۳ خرداد  
مهدی عظیمی
دانشگاه تهران		 استنتاج بهترین تبیین در کلام اسلامی ۷ تیر   
علیرضا مفیدی
دانشگاه صنعتی امیرکبیر		 رویکردها و نتایجی در نظریه مدل نوین ۲۸ تیر   
کریم خانکی
دانشگاه صنعتی اراک		 در باب رده‌بندی تئوری‌های مرتبه اول ۱ شهریور
محسن خانی
دانشگاه صنعتی اصفهان		 ساختار جمعی اعداد طبیعی به همراه یک دنباله بیتی ۲۹ شهریور
سیاوش شهشهانی
دانشگاه صنعتی شریف		 غفلت از هندسه در فلسفه‌ی معاصر ریاضیات ۲۶ مهر
زهرا غفوری مباحثی در آنالیز ساختی ۲۴ آبان  
حميد علايی‌نژاد کثرت‌گرايی و وحدت‌گرايی در باب منطق؛ جدال بر سر چيست؟ ۲۹ آذر  
داوود حيدری لزوم در فلسفه اسلامی و پیامدهای منطقی آن ۲۵ بهمن  

همه سخنرانی‌ها در روز دوشنبه، ساعت ۴ عصر  برگزار می‌شود. محل برگزاری سخنرانی در چکیده‌ درج می‌شود.

بازدید: 470