Mindblown: a blog about philosophy.

  • Algebra and Logic, Volume 55 Number 3 (July 2016)

    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…

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

  • فراخوان چهارمین سمینار سالانه انجمن منطق ایران (اطلاعیه دوم)‎‎

     

  • سخنرانی انجمن منطق با عنوان «منطق ربط ، منطق ارتباط میان مقدمات و نتیجه» در دانشگاه امیرکبیر

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

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

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

  • ۲۳RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION

    WOLLIC 2016 ۲۳RD 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…

  • گزارش نشست نقد و بررسی کتاب تأملاتی در منطق ابن سینا و سهروردی

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

  • نشر هرمس

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

  • سخنرانی با عنوان «شواهد غیر قطعی از منظر منطق‌های توجیه فازی»

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

  • نمرات آزمون مهارتهای ترجمه – ۱۳۹۵/۰۲/۱۳

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

آیا توصیه کتاب دارید؟