انتشار مقاله «منطق ابهری در بیان الاسرار»

مقاله «منطق ابهری در بیان الاسرار» اثر دکتر مهدی عظیمی در نشریه فلسفه و کلام اسلامی دوره 50، شماره 2، پاییز 1396، صفحه 269-299 منتشر شد. اصل مقاله (654 K)

چکیده:

اثیرالدین مفضل بن عمر ابهری (؟656ـ597) دانشمند بزرگ ایرانی است که نوشته‌های ارزشمند فراوانی از خود بر جای گذاشته است. مخطوط فاضل احمد پاشا 1618، کهدر کتابخانۀ کوپریلی استانبول نگاه داشته می‌شود، دربردارندۀ چهار رساله از اوست، به نام‌های بیان الأسرار، تلخیص الحقائق،کتاب المطالع، و زبدة الحقائق، که هر یک مشتمل است بر منطق، فیزیک، و متافیزیک. این رساله‌ها را کاتبی قزوینی از نسخۀ اصل برای خود رونویسی کرده و ابهری به خط خویش بر آغاز همۀ آن‌ها یادداشت إنهاء با تاریخ و توقیع نوشته است. آنچه در پی می‌آید تقدیم و تحقیق بخش منطق بیان الأسرار است. منطق ابهری در این رسائل، از جمله در بیان الأسرار، بر خلاف آثار بعدی‌اش تقریباً به‌کلّی تابع منطق ابن‌سینا است. به اقتضای تک‌نسخه بودنِ مخطوط، روش قیاسی را برای تصحیح آن برگزیده‌ایم.

فراخوان ثبت نام پنجمین سمینار سالانه انجمن منطق ایران

فراخوان ثبت نام پنجمین سمینار سالانه انجمن منطق ایران

به اطلاع اساتید،‌دانشجویان، پژوهشگران و علاقه‌مندان منطق می‌رساند که پنجمین همایش سالانۀ انجمن منطق ایران در روزهای 21-23 آذر در چهار نوبت (عصر روز سه‌شنبه 21، صبح و عصر روز چهارشنبه 22 و صبح روز پنج‌شنبه 23 آذر) در  دانشگاه صنعتی امیرکبیر برگزار می‌شود.

از همه اساتید، دانشجویان، پژوهشگران و علاقه­مندان گرامی دعوت می­شود با توجه به مطالب زیر نسبت به ثبت‌نام اقدام نمایند:

راهنمای ثبت‌نام در سمینار

خواهشمندیم اطلاعات زیر را به آدرس ایمیل [e-mail] تا تاریخ 18/9/96 ارسال فرمایید:

1)   نام و نام خانوادگی

2)   دانشگاه محل فعالیت و مقطع تحصیلی

3)   رسید یا اطلاعات پرداخت هزینه ثبت ­نام (50000 تومان)

الف) مبلغ فوق جهت تأمین هزینه‌های پذیرایی و نیز نهار روز دوم و سوم همایش و تمدید حق عضویت اعضاء به مدت یک سال است.

ب) خواهشمندیم با پرداخت هزینه ثبت‌نام تا تاریخ 18/9/96 ما را در برگزاری شایسته همایش یاری کنید.

ج) برای پرداخت هزینه ثبت‌نام و ارسال رسید (یا اطلاعات) آن، لطفاً از طریق پرداخت کارت به کارت به شیوۀ زیر اقدام فرمائید:

واریز به کارت شماره 0764-4742-8310-5859 به نام «اسدالله فلاحی» بانک تجارت و سپس فرستادن نام و شماره کارت واریزکننده به ایمیل [e-mail] (لطفاً رسید واریز را تا تائید ثبت‌نام نزد خود نگه‌دارید).

لطفاً برای آگاهی از اطلاعات جدید درباره سمینار به سایت انجمن منطق ایران www.irlogic.org مراجعه کنید و سؤالات خود را با ما از طریق ایمیل [e-mail] در میان بگذارید.

کمیته اجرایی پنجمین سمینار سالانه انجمن منطق ایران

دوره درسی کوتاه مدت در نظریۀ مجموعه‌ها از سوی دیوید آسپرو

 در هفته آینده یک دوره درسی کوتاه مدت توسط دکتر David Aspero از دانشگاه East Anglia برگزار خواهد شد.

 

عنوان دوره:

 Forcing with symmetric systems as side condition

and adding few new reals 

Abstract:

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 to produce forcing constructions giving rise to models of the Continuum Hypothesis. Unlike the case with the classical approaches to preserving CH, this new method produces forcing notions which actually add new reals, but only a small number of them. I will give a gentle introduction to this method, focusing on some of its applications. 

اطلاعات بیشتر در اینجا آمده است.

 

در ضمن ایشان یک سخنرانی هم در کنفرانس انجمن منطق که در تاریخ های 21-23 آذر برگزار میشود ارائه میکنند که عنوان آن در زیر آمده است:

Large cardinals, forcing axioms,

and mathematical realisms

 

با سپاس از دکتر محمد گلشنی از پژوهشگاه دانش‌های بنیادی که اطلاع رسانی کردند.