💠 دکتر اسدالله فلاحی، عضو هیئت علمی مؤسسه پژوهشی حکمت و فلسفه ایران، با کتاب “منطق تطبیقی” برگزیده اول گروه فلسفه، منطق و کلام دهمین جشنواره بین‌المللی فارابی شد. 💠 این انتخاب شایسته را خدمت جناب دکتر فلاحی عزیز و تمام منطق‌دوستان ت... ادامه متن
Call for papers Dear colleagues and researchers! “The international journal of computer and information technology” (IJOCIT), is an open access refereed and peer reviewed journal with a primary objective to provide the academic commu... ادامه متن
پژوهشکده فلسفه تحلیلی پژوهشگاه دانش‌های بنیادی (IPM) کارگاهی را با عنوان «منطق و فلسفه اسلامی: چشم‌اندازهای تاریخی و معاصر» در تاریخ سه‌شنبه ۲۲ خرداد ۱۳۹۷ برگزار می‌کند. شرکت در این کارگاه برای عموم آزاد است. زمان: سه‌شنبه ۲۲ خرداد ۱۳۹۷، ساعت ۱... ادامه متن
There is a useful method for constructing models of set theory with the continuum arbitrarily large, involving iterated forcing with symmetric systems of models as side conditions. It turns out that a natural variation of this method can be used... ادامه متن
دوستان عزیز ازین به بعد ادامه مطالب وبلاگ «منطق پژوهی» را می‌توانید در سایت حلقه منطق دنبال کنید. آدرس وبلاگ به sahmir.logiccirle.ir تغییر کرده است. ادامه متن
در این سخنرانی برهان‌هایی که در دهه 70 و 80 میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده و از نظر امکان ساختاری شدن (یعنی به دست آوردن گزاره تصمیم ناپذیر به شیوه ای الگوریتمی) و همچنین شرط بهینه سازگاری که ب... ادامه متن
آخرین دیدگاه‌ها