Mindblown: a blog about philosophy.

Algebra and Logic, Volume 55 Number 3 (July 2016)ISSN: 0002-5232 (Print) 1573-8302 (Online)Articles of this issue:——————————————————I. Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. IIID. VakarelovLink: http://link.springer.com/article/10.1007/s10469-016-9388-3——————————————————Lie Bialgebras with Triality and Mal’tsev BialgebrasM. E. GoncharovLink: http://link.springer.com/article/10.1007/s10469-016-9389-2——————————————————-Embeddability of the Semilattice L m 0 in Rogers SemilatticesB. S. KalmurzaevLink: http://link.springer.com/article/10.1007/s10469-016-9390-9———————————————————Binary Formulas in…

   گروه فلسفه دانشگاه تربیت مدرس تهران با همکاری انجمن علمی فلسفه دانشگاه تربیت مدرس سومین همایش سالانه دانشجویی فلسفه را در ۲۶ آبان ۱۳۹۵ در دانشگاه تربیت مدرس برگزار می‌کنند. تاریخ‌های مهم: مهلت ارسال مقالات: ۳۱ شهریور ۱۳۹۵ – تمدید تا ۱۵ مهر ۱۳۹۵ (تمدید نخواهد شد) اعلام نتایج: ۳۰ مهر ۱۳۹۵ زمان برگزاری: ۲۶…

انجمن منطق ایران برگزار می­کند منطق ربط منطق ارتباط میان مقدمات و نتیجه   اسدالله فلاحی مؤسسۀ پژوهشی حکمت و فلسفۀ ایران پژوهشگاه دانشهای بنیادی   در منطق ریاضی، «پارادوکس‌های استلزام مادی» به قضیه‌ها و استنتاج‌هایی در این منطق گفته می‌شود که میان مقدم و تالی، یا میان مقدمات و نتیجۀ آنها ارتباطی وجود ندارد،…

فراخوان مقالهچهارمین سمینار سالانه انجمن منطق ایران

WOLLIC 2016 23RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION  AUGUST 16TH – 19TH, 2016 WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-third WoLLIC will be held at…

سه شنبه چهارم خردادماه ۱۳۹۵ نشستی به منظور نقد و بررسی کتاب «تأملاتی در منطق ابن‌سینا و سهروردی» در مرکز فرهنگی شهر کتاب برگزار شد. در این نشست علاوه بر مؤلف کتاب دکتر ضیاء موحد، آقایان دکتر اسداله فلاحی و دکتر علیرضا دارابی حضور داشتند. برای مشاهده گزارش تفصیلی (و نه کامل) این نشست به…

کتاب «تاملاتی در منطق ابن‌سینا و سهروردی» اثر دکتر ضیاء موحد در مرکز فرهنگی شهر کتاب نقد می‌شود. این اثر به تازگی از سوی نشر هرمس منتشر شده است.

انجمن منطق ایران برگزار می­کند: شواهد غیر قطعی از منظر منطق‌های توجیه فازی مقداد قاری پژوهشگاه دانشهای بنیادی منطق‌های توجیه خانواده جدیدی از منطق‌های موجهات می‌باشند. آرتموف در سال ۱۹۹۵ اولین منطق توجیه را با نام منطق اثباتها‎ معرفی کرد و یک معناشناسی حسابی در حساب پئانو برای آن ارایه داد. سپس فیتینگ در سال…

با سلام خدمت دانشجویان محترم نمرات آزمون مهارتهای ترجمه امروز ‌دوشنبه ۱۳۹۵/۰۲/۱۳ در این پست قرار داده شد. برای دریافت نمرات  آزمون بر روی لینک‌ زیر کلیک نمایید. نمرات آزمون (صفحه اول) نمرات آزمون (صفحه دوم) لازم به ذکر است، نمرات نهایی تا تاریخ ۱۳۹۵/۰۲/۲۵ در سیستم دانشگاه قرار خواهد گرفت. لذا کارهای ترجمه خود را…