کتاب «منتهی الافکار فی ابانه الاسرار » بخش منطق (تحریرهای یکم و دوم) نگارش: اثیرالدین مفضل بن عمر ابهری منتشر شد. این کتاب از سوی مهدی عظیمی و هاشم قربانی تصحیح و در انتشارات حکمت به نشر رسیده است.
منبع:
http://hekmat-ins.com/index.aspx?portal=Portalhekmat&Page=117&lang=fa&type=book&id=426
وجهیت و متافیزیک مصاحبۀ ریچارد مارشال با تیموتی ویلیامسن است که مهدی رعنائی ترجمه کرده است. شاید عنوان مصاحبه بهتر بود «موجهات و متافیزیک» و یا حتی «منطق موجهات و متافیزیک» ترجمه می شد. در هر صورت مصاحبه بسیار ارزشمندی است که خلاصه ای از دیدگاه های ویلیامسون در کتاب «منطق موجهات به مثابه متافیزیک» را به دست می دهد.
انجمن منطق ایران برگزار میکند:
شواهد غیر قطعی از منظر منطقهای توجیه فازی
مقداد قاری
پژوهشگاه دانشهای بنیادی
منطقهای توجیه خانواده جدیدی از منطقهای موجهات می‌باشند. آرتموف در سال 1995 اولین منطق توجیه را با نام منطق اثباتها معرفی کرد و یک معناشناسی حسابی در حساب پئانو برای آن ارایه داد. سپس فیتینگ در سال 2003 با ارایه معناشناسی جهانهای ممکن نشان داد که میتوان تعبیری معرفتی برای منطق اثباتها ارایه داد. از نظر معرفتی اثباتهای ریاضی دلایلی قطعی برای گزارههای ریاضی هستند. از طرف دیگر در زندگی روزمره بعضی اوقات با دلایل و توجیههای غیر قطعی سروکار داریم. در این سخنرانی یک نسخه فازی از منطقهای توجیه ارایه میشود که میتواند برای صوریسازی استدلالهایی که در آنها از شواهد غیر قطعی استفاده شده است به کار رود. برای روشن شدن این ادعا نسخهای از پارادوکس تسلسل منطقی را مورد بررسی قرار میدهیم، و نشان میدهیم که اگر چه این نسخه از پارادوکس در منطقهای توجیه کلاسیک به تناقض میانجامد، ولی پارادوکس در منطقهای توجیه فازی قابل حل است.
مکان: تهران،خیابان حافظ، روبروی خیابان سمیه،دانشگاه امیرکبیر،
دانشکدۀ ریاضیات و علوم کامپیوتر، طبقه سوم، اتاق 304
زمان: چهارشنبه،29 اردیبهشت 1395،ساعت 4:30بعدازظهر
برای آگاهی از برنامه های انجمن منطق ایران به وب سایت زیر مراجعه فرمایید:
www.irlogic.org
مقالات این شماره عبارت‌اند از:
دوره و شماره: دوره 6، شماره 11، تابستان 1394، صفحه 1-160
1 نزاع فرگه و هیلبرت: روش صحیح پرداختن به فراقضیه‌ها در دستگاه‌های اصل موضوعی
2 گزارههای سالبه و اصل صادق‌‌ساز
بهناز باقری مشاهده مقاله | اصل مقاله (210 K) صفحه 21-41
3 نقد و بررسی ارغنون ارسطو از منظر رابین اسمیت
غلامرضا ذکیانی؛ محمد امین برادران نیکو مشاهده مقاله | اصل مقاله (361 K) صفحه 43-71
4 ارزش منطقی تعریف رسمی
رحمت‌الله رضایی مشاهده مقاله | اصل مقاله (247 K) صفحه 73-93
5 تعریف گزاره در «دربارة عبارت» ارسطو
سیدعمار کلانتر مشاهده مقاله | اصل مقاله (359 K) صفحه 95-116
6 بررسی و نقد نظرهای گنتزن و هکین دربارة نقش قواعد ساختاری و عمل‌گری در تعریف ثوابت منطقی
مرتضی مزگی‌نژاد؛ لطف‌الله نبوی نبوی؛ سیدمحمدعلی حجتی مشاهده مقاله | اصل مقاله (395 K) صفحه 117-141
شمارۀ دوم نشریه هستی و شناخت وابسته به گروه فلسفۀ دانشگاه مفید منتشر شد.
دو مقاله منطقی زیر در این شماره آمده است:
«حوزه‌های سه‌گانه: بررسی فصل اول دربارۀ عبارت ارسطو» از سید عمار کلانتر و مهدی قوام صفری
مشاهده مقاله | اصل مقاله (283 K)
««برهان المسامتة» بر تناهی ابعاد و نقدهای آن» از سجاد هجری
کتاب، مجموعۀ مقالات فارسی و انگلیسی و ترجمۀ برخی از آنها است که طی بیست سال از 1372 تا 1393 منتشر شده است. فصل‌های کتاب عبارتند از:
1. نظریۀ قیاس‌های شرطی ابن‌سینا
2. ابن‌سینا و تقدم در کشف فرمول‌های بوریدان و بارکن
3. تمایز وجوه سور و حمل در منطق سنتی اسلامی
4. آرای سهروردی در قیاس
5. قیاس‌های موجه سهروردی
6. دلالت‌شناسی اسم‌های خاص و داستانی در آرای ابن‌سینا، کریپکی و اومبرتو اکو
به همراه متن انگلیسی پنج فصل نخست.
کتاب را انتشارات هرمس با همکاری مؤسسۀ پژوهشی حکمت و فلسفۀ ایران منتشر کرده است.
پی‌نوشت:
از آنجا که سایت هرمس هنوز این کتاب را معرفی نکرده است، پیوندی برای ارجاع به این کتاب در اینترنت در دسترس نیست، اما به محض معرفی آن در سایت، پیوند آن را در همین جا می‌گذارم.