سخنرانی اودیفردی در انجمن منطق ایران

سخنرانی ماهانة انجمن منطق ایران

Gödel and God

Piergiorgio Odifreddi

دانشگاه تورین، ایتالیا

زمان :

شنبه، ۱۱ اسفند ۱۳۹۷، ساعت 15 ـ 17

مکان : مؤسسة پژوهشی حکمت و فلسفه ایران، تهران

چکیده :

In 1970, Kurt Gödel wrote in a manuscript a mathematical proof of the existence of God. He didn't publish it to avoid religious discussions: his main interest was, indeed, the correction of a logical mistake made by Leibniz in an attempt to improve Descartes' version of Anselm's original ontological proof. I will briefly trace the history of this almost millenary argument, ending with a simple sketch of Gödel's proof.

انتشار مقاله Simple Axiomatizations for Pretabular Classical Relevance Logics

به تازگی مقاله بنده با عنوان Simple Axiomatizations for Pretabular Classical Relevance Logics در نشریه Studia Logica به صورت آنلاین منتشر شده است. این مقاله را بدون امکان دانلود یا چاپ در https://rdcu.be/bnCDX می‌توان مطالعه کرد.

این مقاله ادامه مقاله دیگری از بنده است با عنوان A Second Pretabular Classical Relevance Logic که در 2018 در همان نشریه منتشر شده است و در http://rdcu.be/tE7o قابل مطالعه است.

 

اطلاعیۀ ثبت نام ششمین سمینار سالانه انجمن منطق ایران

اطلاعیۀ ثبت نام

ششمین سمینار سالانه انجمن منطق ایران

به اطلاع اساتید،‌دانشجویان، پژوهشگران و علاقه‌مندان منطق می‌رساند که ششمین همایش سالانۀ انجمن منطق ایران در روزهای 10-11 بهمن ماه در چهار نوبت (صبح و عصر روزهای چهارشنبه و پنج‌شنبه، 10 و 11 بهمن) در  دانشگاه شهید بهشتی برگزار می‌شود. در ضمن، عصر روز دوم، مجمع عمومی انجمن برگزار خواهد شد و انتخابات چهارمین دوره هیئت مدیره به عمل خواهد آمد.

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

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

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

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

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

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

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

ب) خواهشمندیم با پرداخت هزینه ثبت‌نام تا تاریخ 30/10/97 ما را در برگزاری شایسته همایش یاری کنید.

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

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

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

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

انتشار مقاله Fārābī and Avicenna on Contraposition

مقاله بنده با عنوان Fārābī and Avicenna on Contraposition در نشریه History and Philosophy of Logic سال 40 شماره 1 ژانویه 2019 منتشر شد. دسترسی مستقیم به مقاله از پیوند زیر برای تنها 50 نفر امکان پذیر است:

https://www.tandfonline.com/eprint/x4XrytwuaZjDs6fZwiWX/full

 

 

ششمین همایش سالانه انجمن منطق ایران

(اطلاعیه دوم)

فراخوان مقاله

ششمین همایش سالانه انجمن منطق ایران

انجمن منطق ایران ششمین همایش سالانه خود را با همکاری پژوهشگاه دانش‌های بینادی در 10 و 11 بهمن ماه 1397 در دانشگاه شهید بهشتی برگزار می کند.

حوزه های پژوهشی مرتبط عبارت اند از: 

1. منطق ریاضی / 2. منطق فلسفی / 3. فلسفه ریاضیات / 4. فلسفه منطق / 5. منطق قدیم / 6.تاریخ منطق / 7. منطق و علوم رایانه / 8. منطق کاربردی / 9. منطق و روش شناسی / 10. آموزش منطق 

از پژوهشگران گرامی دعوت می شود تا خلاصه مقالات خود را، بین 1200 تا 1500 کلمه، به آدرس زیر ایمیل کنند:

   [e-mail]

 پایان مهلت ارسال مقالات 30 ام آذر ماه 1397 است.

در ضمن، به اطلاع می‌رساند که مجمع عمومی انجمن منطق ایران به منظور برگزاری انتخابات چهارمین هیئت مدیره انجمن در پایان همایش برگزار خواهد شد.

هیأت مدیره انجمن منطق ایران

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

فراخوان مقاله

ششمین همایش سالانه انجمن منطق ایران

انجمن منطق ایران ششمین همایش سالانه خود را با همکاری پژوهشگاه دانش‌های بنیادی در 10 و 11 بهمن ماه 1397 در یکی از دانشگاه‌های تهران برگزار می کند.

حوزه های پژوهشی مرتبط عبارت اند از: 

1. منطق ریاضی / 2. منطق فلسفی / 3. فلسفه ریاضیات / 4. فلسفه منطق / 5. منطق قدیم / 6.تاریخ منطق / 7. منطق و علوم رایانه / 8. منطق کاربردی / 9. منطق و روش شناسی / 10. آموزش منطق 

از پژوهشگران گرامی دعوت می شود تا خلاصه مقالات خود را، بین 1200 تا 1500 کلمه، به آدرس زیر ایمیل کنند

  [e-mail]

 پایان مهلت ارسال مقالات 30 ام آذر ماه 1397 است.

 

هیأت مدیره انجمن منطق ایران

منبع:

http://irlogic.org/Article-97 

انتشار کتاب منطق در ایران سدۀ ششم

منطق در ایران سدۀ ششم به تصحیح و با مقدمه‌های فارسی و انگلیسی غلامرضا دادخواه و اسدالله فلاحی و با پیشگفتاری از نیکلاس رشر، از سوی موسسۀ پژوهشی حکمت و فلسفۀ ایران منتشر شد.

 

معرفی کتاب

منطق در ایران سدۀ ششم

 

در حالی که از چندین دهۀ پیش تا کنون کتاب‌های متعددی در تاریخ فلسفه در ایران و جهان اسلام به چاپ رسیده، هنوز هیچ تاریخ جامعی از منطق که از پویاترین علوم در تمدن ایرانی- اسلامی بوده، نوشته نشده است. یکی از مهم‌ترین موانع تدوین چنین تاریخی، در دسترس نبودن تصحیح‌های انتقادی از آثار منطقی متفکرانی است که عمدتاً در سده‌های چهارم تا هشتم هجری در ایرانشهر (ایران بزرگ) می‌زیسته‌اند. در این میان، به خصوص اطلاع ما از آثار منطقی که در فاصلۀ تالیف البصائر النصیریۀ ابن سلان ساوی تا الملخّص فخر الدین رازی به نگارش درآمده‌اند بسیار اندک است.

کتاب منطق در ایران سدۀ ششم گامی کوچک در راستای معرفی و نقد هفت رسالۀ منطقی از اندیشمندان ایرانی سدۀ ششم هجری است تا از رهگذر آن بخشی از تاریخ منطق که تا کنون از آن اطلاع چندانی در دسترس نبوده است روشن گردد. به خصوص جدال منطقی رشید الدین وطواط شاعر با عمر بن غیلان بلخی بر سر برهان خلف از یک سو، و مناظرات همین ابن غیلان با شرف الدین مسعودی دربارۀ قیاس‌های مختلط از سوی دیگر، بسیار قابل توجه است.

همچنین، تصحیح و تحلیل تنها رسالۀ باقی مانده از مجد الدین جیلی (استاد شهاب الدین سهروردی) و رساله ای از ابو الفتوح همدانی دربارۀ مطلقات و موجهات شکل چهارم قیاس نشان دهندۀ نقطۀ عطفی است در رویکرد منطق‌دانان ایرانی به اعتبار بخشیدن به این شکل مهجور قیاس؛ چنانکه بیشتر منطق دانان مشهور دوره‌های بعد همچون فخر الدین رازی، افضل الدین خونجی، و شمس الدین سمرقندی به این شکل در کنار اشکال سه گانۀ دیگر می‌پرداختند.

 

و در پایان، رساله ای کوتاه و ناتمام از فخر الدین رازی در این کتاب تصحیح شده که تاکنون مجهول المؤلّف خوانده می‌شد. این رساله احتمالاً از نخستین آثار منطقی رازی است و در آن نشانه‌هایی از نخستین نوآوری‌های منطقی او که بعدها در آثاری چون الملخّص به تفصیل به آنها پرداخته، دیده می‌شود.

کارگاه منطق و فلسفه اسلامی

کارگاه منطق و فلسفه اسلامی:

 چشم‌اندازهای تاریخی و معاصر

 

گروه مطالعات فلسفه اسلامی و قرون وسطی، پژوهشکده فلسفه تحلیلی

 

پژوهشكده فلسفه تحلیلی پژوهشگاه دانش‌های بنیادی (IPM) كارگاهی را با عنوان «منطق و فلسفه اسلامی: چشم‌اندازهای تاریخی و معاصر» در تاریخ سه‌شنبه ۲۲ خرداد ۱۳۹۷ برگزار می‌كند.

 

شرکت در این کارگاه برای عموم آزاد است.

 پوستر کارگاه

 

زمان: سه‌شنبه ۲۲ خرداد ۱۳۹۷، ساعت ۱۰ الی ۱۶

مکان: تهران، میدان شهید باهنر (نیاوران)، پژوهشگاه دانش‌های بنیادی، پژوهشکده فلسفه تحلیلی، سالن شماره ۱

تلفن: [phone]

 

دبیر کارگاه

سید نصرالله موسویان

[e-mail] 

سخنرانی ویلفرید هاجز با عنوان «نگاه جدید ابن سینا به منطق»

 ویلفرید هاجز، استاد بازنشسته کینگز کالج دانشگاه لندن، سخنرانی روز دوشنبه 21 خرداد 1397 ساعت 16 در موسسه پژوهشی حکمت و فلسفه ایران با عنوان «نگاه جدید ابن سینا به منطق» ارائه خواهد کرد.

Ibn Sina’s new vision of logic

Wilfrid Hodges

Abstract: 

A few brief paragraphs of section iii.2 of Ibn Sina's Qiyas contain what is probably the deepest and most sophisticated analysis of the nature of logic between Aristotle and Leibniz.  It would take at least a week to extract the full content of this short passage.  We will concentrate on two themes: 

(1)   The topic of shapes of proofs.

(2)   The justification of modal reasoning by temporal reasoning, which is formally identical with the use of a type of Kripke semantics. 

 References:

Wilfrid Hodges, ‘Proofs as cognitive or computational: Ibn Sina's innovations’, Philosophy and Technology 31 (1) (2018) 131-153.

Wilfrid Hodges and Spencer Johnston: ‘Medieval modalities and modern methods: Avicenna and Buridan’, IfCoLog Journal of Logics and their Applications 4 (4) (2017) 1029-1073.

http://wilfridhodges.co.uk/

سخنرانی دکتر سياوش شهشهانی: فلسفه ریاضیات و فلسفه ریاضی‌ورزی

پژوهشگاه دانشهاي بنيادي پژوهشکده فلسفه تحليلی
فلسفه ریاضیات و فلسفه ریاضی‌ورزی
سياوش شهشهانی
دانشگاه صنعتی شریف

خلاصه:
اشتغال ذهنی ریاضی دانان به فلسفه ریاضیات که در نیمه دوم قرن نوزدهم آغاز شده بود در چند دهه نخستین قرن بیستم به اوج رسید، اکثر ریاضی دانان بنام را به درجاتی درگیر کرد، موجب توسعه منطق ریاضی شد و به پیدایش چند مکتب در فلسفه ریاضی انجامید. از اواخر دهه 1940، فلسفه ریاضیات به تدریج از جریان های غالب ریاضیات فاصله گرفت، به طوری که در اواخر قرن بیستم گسست کاملی میان بدنه اصلی ریاضیات و آنچه به عنوان فلسفه ریاضیات مطرح بود پدیدار شد. در سال های اخیر، کوشش هایی در احیای این ارتباط صورت گرفته است که از آن معمولا «فلسفه ریاضی ورزی» زیر عنوانیاد می شود. این جریانات موضوع سخنرانی حاضر است.

زمان: دوشنبه، 2 فروردین 1397، ساعت 16

مکان: ميدان شهيد باهنر، پژوهشگاه دانشهاي بنيادي )مرکز تحقيقات فيزیک نظري و ریاضيات(،
پژوهشکده فلسفه تحليلی، سالن شماره 7

انتشار کتاب المختصر الأوسط فی المنطق از ابن سینا

المختصر الأوسط فی المنطق ابن سینا با مقدمه و تصحیح سید محمود یوسف ثانی توسط انتشارات مؤسسه پژوهشی حکمت و فلسفه ایران منتشر شد.

به گزارش خبرگزاری مهر، المختصر الأوسط فی المنطق مفصّل ترین اثر مستقل منطقی ابن‌سیناست، هرچند که مفصّل ترین اثر منطقی ابن‌سینا نیست، زیرا منطق کتاب شفا از آن مفصّل تر است.

در این کتاب مهمترین ابواب منطق، یعنی بخشهای مدخل، مقولات، عبارت، قیاس و برهان آورده شده است و جز باب مقولات که در آن به اختصار آمده، ابواب دیگر به تفصیل مورد بحث قرار گرفته اند.

از مقایسه این کتاب و منطق شفا مشخص می شود که المختصر چارچوب اوّلیه ای بوده است که منطق شفا بر مبنای آن بنا شده و مباحث آن در شفا بسط و گسترش یافته است، هر چند گاه برخی مباحث در آن به تفصیل بیشتری از منطق شفا آورده شده است.

روشنی زبان در مقایسه با زبان منطق شفا، عنوان گذاری های تفصیلی در ابواب مختلف، طرح آراء خاص در برخی مسائل، ناظر بودن بر سخنان ارسطو در هر باب و مراعات حیثیت تعلیمی در آن از ویژگیهای این کتاب به شمار می آید.

المختصر الأوسط فی المنطق به عنوان سومین اثر از کلان‌طرح تحقیقاتی تصحیح انتقادی آثار ابن‌سینا منتشر شده‌ است.

پیش از این اثر، کتابهای التعلیقات با مقدمه، تحقیق و تصحیح دکتر سیدحسین موسویان و المباحثات با مقدمه و تصحیح محسن بیدارفر در قالب مجموعه آثار ابن‌ سینا منتشر شده بود.

منبع: کتاب المختصر الأوسط فی المنطق به چاپ رسید - خبرگزاری مهر | اخبار ... 

 

سخنرانی دکتر امین شاهوردی با عنوان: منطق رواقی: گذشته و حال

انجمن منطق ایران برگزار می­کند

منطق رواقی: گذشته و حال

دکتر امین شاهوردی

دانشگاه اصفهان

در بخش نخستِ این نشست، جایگاه منطق رواقی در تاریخ منطق، تحولات تاریخی و نسبت آن با منطق ارسطویی بررسی می‌شود؛ از آنجا که تقریباً تمامی آثار منطقیِ رواقیان از میان رفته است، منابع اصلی جهت آشنایی با آموزه‌های منطقی رواقیان معرفی می‌شوند و پس از آن به این موضوع پرداخته می‌شود که چگونه آموزه‌های منطقی رواقی به تدریج پس از دوره‌ی باستان پسین، به محاق فراموشی سپرده شده و چرا در انتهای قرن نوزدهم و ابتدای قرن بیستم دوباره مورد توجه قرار گرفتند. در بخش دوم، پس از معرفی اجمالیِ مفاهیم پایه منطق رواقی (گزاره، ادات‌های منطقی و صدق و کذب گزاره‌ها)؛ اثبات‌نشده‌ها، تماها و چگونگی کارکرد آنها در استدلال‌های رواقی بررسی می‌شوند و در انتها، به بازسازی‌های بکر و مولر از منطق رواقی و انتقادات وارد بر چنین بازسازی‌هایی اشاره می‌شود.

 

مکان:  تهران،دانشگاه تهران، دانشکدۀ ریاضی، سالن هشترودی

زمان: چهارشنبه،2 اسفند 1396،ساعت 4بعدازظهر

برای آگاهی از برنامه های انجمن منطق ایران به وب سایت زیر مراجعه فرمایید:

www.irlogic

مراصد التدقیق و مقاصد التحقیق اثری منطقی از علامه حلی منتشر شد - دانشگاه ادیان و مذاهب

به گزارش روابط عمومی دانشگاه ادیان و مذاهب بخش منطق کتاب مراصد التدقیق و مقاصد التحقیق علامه حلی برای نخستین بار با تصحیح و تحقیق دکتر محمد غفوری نژاد، منتشر شد.

این اثر که در کشور عراق و به اهتمام مرکز تراث حله، از مراکز علمی وابسته به عتبه عباسیه، منتشرشده است، یکی از حدود بیست اثر منطقی علامه حلی است که با مقدمه‌ای از دکتر احد فرامرز قراملکی استاد دانشگاه تهران، و دکتر محمد غفوری نژاد، استادیار دانشگاه ادیان و مذاهب به چاپ رسیده است.

چنانکه مرحوم علامه در مقدمه کتاب بیان می‌کند، وی این کتاب را برای خزانه سعدالدین صاحب دیوان نگاشته است. هدف وی از تألیف این کتاب، گردآوری لبّ دانش‌های سه‌گانه عقلی- یعنی منطق، الهیات و طبیعیات- بوده است.

در انتساب این کتاب به مرحوم علامه هیچ تردیدی وجود ندارد؛ ذکر نام کتاب در خلاصه الأقوال، ارجاعاتی که در مواضعی از کتاب، به دیگر کتب علامه مانندتحریرالأبحاث و نهج العرفان وجود دارد و تطابق محتوای کتاب با آراء خاص علامه در منطق، ازجمله افزودن قضیه عامه به‌عنوان قسم پنجم به تقسیم چهارگانه سنتی، از شواهد مهم این مدعاست.

تنها نسخه‌ای از بخش منطقی کتاب مراصد در کتابخانه مرکزی دانشگاه تهران با شماره 2301 نگهداری می‌شود، که تصحیح بر اساس آن انجام‌یافته است. این نسخه را محمّد بن ابی‌طالب آوی، بر علامه و فرزندش فخر المحققین قرائت کرده است و هر یک از آنها نیز اجازه‌ای برای قاری بر ظهر نسخه صادر کرده‌اند. ازاین‌رو این نسخه بسیار نفیس و ارزشمند است.

دکتر قراملکی در بخشی از مقدمه خود بر این کتاب، با اشاره به این موضوع که پژوهش‌های علامه حلی در منطق پربرگ و پربار است و پرکاری و پرباری علامه حلی در علم منطق، نیازمند به تبیین و علت‌یابی است به این پرسش می‌پردازد که چرا وی در کنار دانش‌هایی چون کلام، فقه، حدیث‌شناسی، اصول و مانند آنها به علم منطق نیز اهمیت می‌دهد و زمان زیادی را صرف این دانش می‌کند؟

وی در مقام پاسخ، به مقایسه وضعیت تاریخی دو دانش منطق و کلام در دوره‌ای که علامه حلی تحصیل می‌کرد و دوره‌ای که وی به تولید علم پرداخت، می‌پردازد. دکتر قراملکی می‌نگارد: «روزگار تحصیل علم علامه حلی نیمه دوم سده هفتم هجری است. این سده از طرفی دوره شکوفایی، بالندگی و رواج منطق پژوهی و منطق نگاری است. پس از ابن‌سینا علم منطق یا شرحی بر شفای او شد و یا شرح و بسطی بر اشارات او. دانشمندان بزرگی پس از ابن‌سینا در سده‌های چهارم تا ششم زمینه را برای شکوفایی منطق آماده کردند: ... بهمنیار بن مرزبان (362/990 ـ 442/1066)، ابومحمدبن حزم (366/994 ـ 459/1064)، ابن رضوان مصری (377/1000 ـ 444/1068)، ابوحامد غزالی (450/1074 ـ 505/1129)، ابن ملکای بغدادی (460/1084 ـ 547/1153)، ابن سهلان ساوی (492/1116 ـ 565/1170) و مجدالدین جیلی...، ابن رشد اندلسی (520/1126 ـ 628/1249)، فخرالدین رازی، شیخ اشراق، اثیرالدین ابهری (597/1201 ـ 663/1265)، نصیرالدین طوسی (597/1201 ـ 672/1274) و نجم الدین دبیران کاتبی قزوینی. ...

 از طرف دیگر، سد هفتم، سد فتنه‌خیز تاریخ ایران است. مغولان بر کشور و فرهنگ آن تاخته‌اند و تمدن اسلامی، یورشِ تمدن ویران‌کُن مغول را تجربه کرده است. شکست این فرهنگ و استیلای فرهنگ مغولی می‌توانست سرآغاز نکبت‌باری برای جهان اسلامی به‌ویژه فرهنگ و اندیشه اسلامی باشد. پس از استیلای یأس آور مغول، به‌تدریج آهنگ مبارزه با منطق نواخته شد. اگر در سده پنجم کسی چون غزالی در نقد فلسفه و تکفیر فیلسوفان تهافت الفلاسفه نوشت و یا کسی چون عبدالکریم شهرستانی (460/1068 ـ 547/1153) مصارعة الفلاسفه نگاشت، اما در همان روزگار منطق منزلت و جایگاه مهمی داشت و غزالی خود در منطق آثار فراوانی چون محک النظر، معیار العلم، القسطاس المستقیم، منطق مقاصد الفلاسفه و منطق المستصفی من علم الاصول را نوشت. اما اینک در نیمه دوم سده هفتم و دهه‌های نخست قرن هشتم، معاصر علامه حلی، تقی‌الدین ابوالعباس احمد بن تیمیّه (661/1262 ـ 728/1328) الرد علی المنطقیین را نوشت و درمجموع فتاوی به چالش با مبانی منطق پرداخت. علامه حلیِ متکلم، منطق گریزی را سرآغاز سطحی نگری به اندیشه دینی و به بیان آمدن اندیشه‌های ناپخته و آمیخته با خرافات می‌دانست و بر توسعه دانش منطق به‌عنوان سدی استوار در برابر سیل سطحی‌نگری در اندیشه دینی اهتمام کرد. او علاوه بر آثار فراوان منطقی، منطق‌دانان بزرگی چون قطب‌الدین رازی را تربیت کرد. سرّ اخذ مبناگروی سخت‌گیرانه در نظریة توجیه را هم در همین گرایش کلامی علامه حلی باید جست. او برای حفظ استواری و عمق اندیشه دینی نیازمند به شاخص و ترازویی بود که سره را از ناسره تمایز دهد. خردگرایی از نظر علامه حلی اصالت اندیشه دینی را حفظ می‌کند و با منطقِ استوار بر نظریه مبناگروی سخت‌گیرانه اثبات اندیشه‌های کلامی دشوار می‌شود. اما ایمان به حقانیت اندیشه‌های اصیل دینی سبب شد تا علامه حلی دیدگاه کلامی خود و مکاتب رقیب را به ترازوی منطق برنهد. این ابزاری قابل اعتماد در رد اندیشه‌های التقاطی و نیز اندیشه‌های سطحی‌نگر است».

دکتر غفوری نژاد نیز در مقدمه مبسوط خود بر این اثر، ضمن معرفی اجمالی آثار منطقی علامه حلی، به منطق نگاری‌های دو بخشی و نه بخشی در سنت منطق نگاری اسلامی اشاره کرده و موضع میانه علامه در کتاب مراصد را توصیف کرده است. وی در بخشی از این مقدمه آراء خاص علامه حلی در دانش منطق را در مقایسه با آراء ابن‌سینا و دو شارح او یعنی خواجه نصیر و فخر رازی بررسی کرده است.

  منبع:

اثری از علامه حلی منتشر شد - دانشگاه ادیان و مذاهب

سخنرانی دکتر امین شاهوردی با عنوان: منطق رواقی: گذشته و حال

انجمن منطق ایران برگزار می­کند

منطق رواقی: گذشته و حال

دکتر امین شاهوردی

دانشگاه اصفهان

در بخش نخستِ این نشست، جایگاه منطق رواقی در تاریخ منطق، تحولات تاریخی و نسبت آن با منطق ارسطویی بررسی می‌شود؛ از آنجا که تقریباً تمامی آثار منطقیِ رواقیان از میان رفته است، منابع اصلی جهت آشنایی با آموزه‌های منطقی رواقیان معرفی می‌شوند و پس از آن به این موضوع پرداخته می‌شود که چگونه آموزه‌های منطقی رواقی به تدریج پس از دوره‌ی باستان پسین، به محاق فراموشی سپرده شده و چرا در انتهای قرن نوزدهم و ابتدای قرن بیستم دوباره مورد توجه قرار گرفتند. در بخش دوم، پس از معرفی اجمالیِ مفاهیم پایه منطق رواقی (گزاره، ادات‌های منطقی و صدق و کذب گزاره‌ها)؛ اثبات‌نشده‌ها، تماها و چگونگی کارکرد آنها در استدلال‌های رواقی بررسی می‌شوند و در انتها، به بازسازی‌های بکر و مولر از منطق رواقی و انتقادات وارد بر چنین بازسازی‌هایی اشاره می‌شود.

 

مکان:  تهران،دانشگاه تهران، دانشکدۀ ریاضی، سالن هشترودی

زمان: چهارشنبه،2 اسفند 1396،ساعت 4بعدازظهر

برای آگاهی از برنامه های انجمن منطق ایران به وب سایت زیر مراجعه فرمایید:

www.irlogic

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

مقاله «منطق ابهری در بیان الاسرار» اثر دکتر مهدی عظیمی در نشریه فلسفه و کلام اسلامی دوره 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

 

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

یک سایت برای متون یونانی - عربی

امروز با سایت زیر برای متون یونانی - عربی برخورد کردم:

Digital Corpus for Graeco-Arabic Studies: Home

https://www.graeco-arabic-studies.org/  

این سایت برای علاقه‌مندان به مباحث تاریخ علم به ویژه تاریخ منطق و فلسفه بسیار سودمند است و بسیاری از متون منطقی و فلسفی ارسطو نیز در این میان وجود دارد که به دو زبان عربی و یونانی و با قابلیت جستجو عرضه شده است.

گفتنی است که می‌توان تک تک کتاب‌های موجود در سایت را دانلود کرد و برای هر کدام یک فایل ورد ساخت.

کارگاه فلسفه و منطق اسلامی چشم اندازهاي تاریخی و معاصر

پژوهشکده فلسفه تحلیلی

کارگاه فلسفه و منطق اسلامی
چشم اندازهاي تاریخی و معاصر

گروه مطالعات فلسفه اسلامی و قرون وسطی، پژوھشكده فلسفه تحلیلی

پژوھشكده فلسفه تحلیلی پژوھشگاه دانشھای بنیادی IPM)) كارگاھی را با عنوان «فلسفه و منطق اسلامی: چشماندازھای تاریخی و معاصر» در تاریخ ۲۰ و ۲۱ آذرماه ۱۳۹۶ برگزار میكند. در این كارگاه، گروھی از پژوھشگران داخلی و خارجی نتیجه پژوھشھای جاری خود را در زمینه‌ھای تاریخ منطق، فلسفه اسلامی و مبانی علم اصول ارائه خواھند كرد. برنامه كارگاه متعاقبا اعلام میشود. ظرفیت بسیار محدودی برای شركت علاقمندان در كارگاه وجود دارد. از متقاضیان درخواست میشود  جھت پیش ثبت نام رزومه علمی خود را به نشانی الكترونیكی [e-mail]  حداكثر تا تاریخ ۱۵/8/96 ارسال كنند.

شركت‌كنندگان بر مبنای سوابق تحصیلی و علایق پژوھشی انتخاب خواھند شد. نتایج نھایی تا تاریخ 30/8/96 اعلام میگردد.
ھزینه شركت در كارگاه (شامل ھزینه ناھار، پذیرایی و بسته اطلاعات) ٥۰،۰۰۰ تومان است. نحوه پرداخت ھزینه متعاقبا اعلام خواھد شد.

 زمان: ۲۰ و ۲۱ آذر ۱۳۹۶
مکان: تھران، میدان شھید باھنر (نیاوران)، پژوھشگاه دانشھای بنیادی
تلفن: [phone]
با سپاس
دبیر کارگاه، سید نصرلله موسویان
[e-mail]

پژوهشکده فلسفه تحلیلی

پوستر کارگاه 

Workshop on Islamic Philosophy and Logic: Historical and Contemporary Perspectives

Institute for Research in Fundamental Sciences (IPM), School of Philosophy, Niavaran, Tehran, IRAN

Dec 11 and 12, 2017

 Tel: [phone]
 E-mail: [e-mail]     
 http://philosophy.ipm.ac.ir

سمینارهاي فلسفه تحلیلی - پژوهشگاه دانشهاي بنیادي - پژوهشکده فلسفه تحلیلی

سمینارهاي فلسفه تحلیلی

پژوهشگاه دانشهاي بنیادي - پژوهشکده فلسفه تحلیلی

پاییز 1396

96/7/10 معرفت شناسی اجتماعی است؟ یک مثال: مفهوم وابستگی معرفتی « معرفت شناسی جنوب » تا چه اندازه

آلبانبوویه موسسه ژان-نیکو، فرانسه.

---------

96/7/24 بررسی خوانش دیویدسون از استدلال و پاسخ شک گرایانه کریپکنشتاین

علیحسینخانی .IPM ، پژوهشکده فلسفه تحلیلی

---------

96/8/8 اراده کردن، قصد کردن، و فرابازنمودن: روانشناسانه کردن ضعف اراده

علییوسفیهریس .IPM ، پژوهشکده فلسفه تحلیلی

---------

96/8/22 مفهوم تناقض دیالکتیکی در اندیشه مارکس

آرش اباذري .IPM ، پژوهشکده فلسفه تحلیلی

---------

96/9/6 مدلِ علّی فرایند تصمیم گیري

مصطفی مهاجري .IPM ، پژوهشکده فلسفه تحلیلی

---------

96/9/27 ادراك و اندیشه هاي مفرد

یاسرپوراسماعیل .IPM ، پژوهشکده فلسفه تحلیلی

---------

96/10/11 در ریاضیات: نگاهی اجمالی به مناقشه اي در اواخر قرن بیستم « دقت » و « اثبات «

ایمانافتخاري .IPM ، پژوهشکده ریاضی

---------

96/10/25 ناتوانی چیست؟

الیزابتبارنز دانشگاه ویرجینیا، ایالات متحده.

 ---------

شرکت براي عموم آزاد است.

چکیده هر سمینار، دو روز پیش از برگزاري آن در سایت پژوهشکده فلسفه به آدرس philosophy.ipm.ac.ir  قابل دسترسی است.

مکان: تهران- میدان نیاوران- پژوهشگاه دانشهاي بنیادي (مرکز تحقیقات فیزیک نظري و ر یاضیات) پژوهشکده فلسفه تحلیلی- تالار شماره 1

تلفن: [phone] –

زمان: دوشنبهها ، ساعت 16-  18

سخنرانی دکتر پیام سراجی با عنوان «مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل»

انجمن منطق ایران برگزار می­کند

مروری بر برخی اثبات های جدید

برای قضیه ناتمامیت گودل

دکتر پیام سراجی

دانشگاه تبریز

 

در این سخنرانی برهان‌هایی که در دهه 70 و 80 میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده و از نظر امکان ساختاری شدن (یعنی به دست آوردن گزاره تصمیم ناپذیر  به شیوه ای الگوریتمی) و همچنین شرط بهینه سازگاری که برای اثبات آنها نیاز است، مورد بررسی قرار می گیرند. در ادامه به برخی اثباتهای دیگر (ارائه شده توسط کریپکی و موستوفسکی) و همچنین نتایجی در مورد تعمیم قضیه گودل برای نظریه‌هایی که شمارش‌پذیر بازگشتی نباشند، می پردازیم.

 

مکان:  تهران،دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن شهدای گمنام

زمان: چهارشنبه،29 شهریور 1396،ساعت 4بعدازظهر

برای آگاهی از برنامه های انجمن منطق ایران به وب سایت زیر مراجعه فرمایید:

www.irlogic.org

انتشار کتاب منطق ارسطو نوشته پولس فارسی

کتاب منطق ارسطو نوشته پولس فارسی منتشر شد:

منابع:

چاپ کتابی از فیلسوف ایران باستان برای نخستین‌بار - خبرگزاری مهر ...

درباره‌ی «گویایی ارستو» – پارسی‌انجمن

چاپ نبیگی از فرزانه‌ی ایران باستان برای نخستین‌بار – پارسی‌انجمن

گویایی ارستو - آی کتاب

 

دربارۀ پولس فارسی:

پولس ایرانی - ویکی‌پدیا، دانشنامهٔ آزاد

پولس ایرانی - مقاله فارسی

سخنرانی دکتر فاطمه سادات نبوی با عنوان: تعارض تکالیف در منطق تکلیف

انجمن منطق ایران برگزار می­کند

تعارض تکالیف در منطق تکلیف

دکتر فاطمه‌سادات نبوی

دانشگاه قم

به این مثال توجه کنید: «شخصی با دوست خود قرار ملاقات دارد،اما در معرض تصادفی قرار می گیرد، که کمک به قربانیان آن وظیفه مسلم اوست.» او چه باید بکند؟ به قرار خود برسد یا به قربانیان تصادف کمک کند؟ قرار گرفتن در وضعیت تعارض تکالیف ،مانند مثال بالا، در تمامی عرصه های تکلیفی( اخلاق، فقه، حقوق و ...) کاملا  طبیعی به نظر می رسد.  اما هر منطقی که  یکی از دو اصل :   و  در آن حاکم  باشد، با ظهور یک تعارض تکلیفی منجر به گزاره نامطلوب   می شود. هم چنین هر منطقی که دواصل زیر در آن صادق باشد ، نیز، به همین ترتیب به تناقض منجر می شود:   و     (جملۀ  یعنی A  الزامی است و  یعنی  A امکان پذیر است و  یعنی A ضروری است). از طرفی چهار اصل بالا، برای یک سیستم تکلیفی بسیار معقول و منطقی به نظر می رسند و از طرف دیگر برای ایجاد منطقی با قابلیت تحمل تکالیف باید از برخی از آن ها صرف نظر کرد.

با این وصف، سوالی که  در ابتدا به ذهن میرسد این است که آیا این تعارضات واقعی هستند؟ و آیا نمی توان با متعدد کردن عملگرهای تکلیف و یا مبنا قرار دادن الزامات پس از در نظر گرفتن تمام شرایط به جای الزامات در وهله اول، از بروز آن ها اجتناب کرد؟ هم چنین در صورت اجتناب‌ناپذیر بودن این تعارضات، برای ساخت منطقی با قابلیت تحمل تکالیف متعارض، چه باید کرد؟ و چنین منطقی چه خصوصیاتی باید داشته باشد؟

مکان:  تهران،دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن شهدای گمنام

زمان: چهارشنبه،28 تیر 1396،ساعت 4بعدازظهر

برای آگاهی از برنامه های انجمن منطق ایران به وب سایت زیر مراجعه فرمایید:

www.irlogic.org

انتشار کتاب «نقش ایوان خواجه سرای: بررسی انتقادی مبانی منطق جدید»

کتاب نقش ایوان خواجه سرای: بررسی انتقادی مبانی منطق جدید منتشر شد.

مولف: محمدناصر کاکایی  و مهدی کاکایی

 

ناشر کتاب : انتشارات موسسه آموزشی و پژوهشی امام خمینی (ره)

سال نشر: 1396

با سپاس از دکتر داود حسینی برای اطلاع‌رسانی

انتشار کتاب منطق رواقی اثر بنسون میتس و ترجمۀ دکتر مهدی عظیمی

قبلا، انتشار قریب الوقوع کتاب «منطق رواقی» را اطلاع رسانی کرده بودم. و اینک خبر انتشار آن:

منطق رواقی

اثر بنسون میتس،

مترجم: مهدی عظیمی

 

چکیده:

منطق رواقی که در آثار منطق‌دانان «شاهکار هم‌سنگ منطق ارستو»، «نخستین دستگاه منطق گزاره‌ها» و «اساس تمام دستگاه‌های منطقی و ریاضی» خوانده شده است، از چنان اهمیتی برخوردار است که هیچ پژوهشی درباره تاریخ منطق، نمی‌تواند از پرداختن به آن چشم‌پوشی کند؛ و از آنجا که منطق رواقی بر منطق سینوی نیز اثرگذار بوده است، در پژوهش‌های مرتبط با منطق اسلامی نیز دارای اهمیتی ویژه است. با این حال، زبان فارسی تاکنون از منابع مرجع معتبر درباره منطق رواقی بی‌بهره بوده است. کتاب پیش رو ترجمه یکی از معتبرترین آثار درباره منطق رواقی است.

با تبریک مجدد به دوست گرامی آقای دکتر عظیمی

کارگاه تخصصی مفاهیم تهی و فراگیر و نقش آن در منطق

پنج شنبه 22 تیر 1396 کارگاه تخصصی مفاهیم تهی و فراگیر و نقش آن در منطق را در مجمع عالی حکمت اسلامی-شعبه مشهد برگزار خواهم کرد. البته عنوان اصلی درباره نقش مفاهیم فراگیر در منطق بود که اعضای مجمع لفظ «تهی» را نیز افزوده اند.

انتشار کتاب جدید منطق پایه دهم دبیرستان نگاشتۀ دکتر سعید انواری

کتاب جدید منطق پایه دهم دبیرستان نگاشتۀ دکتر سعید انواری در سایت رسمی وزارت آموزش و پرورش قرار گرفت. جهت دانلود به آدرس زیر مراجعه نمایید:

http://www.chap.sch.ir/books/5021

انتشار مقاله‌ای از بنده با عنوان A Second Pretabular Classical Relevance Logic

مقاله‌ای از بنده (در آغاز به صورت آنلاین) در نشریه Studia Logica - Springer منتشر شد. دسترسی به فایل پی دی اف این مقاله از طریق پیوند زیر امکان پذیر است: A Second Pretabular Classical Relevance Logic .

آغاز به کار اشاره: مجله ایرانی فلسفه

متن زیر نامۀ آقای دکتر سید نصر الله موسویان است که شروع به کار نشریه «اشاره» را اطلاع رسانی کرده‌اند:

 

بسیار ممنون می شوم اگر متن زیر را به فهرست ایمیل های تان ارسال فرمایید و/ یا در وب لاگ یا وب پیج تان اطلاع رسانی کنید.

 

 

بسیار خوشحالم، تا از طرف شورای ویراستاران، آغاز به کار اشاره: مجله ایرانی فلسفه را به اطلاعتان برسانم. اشاره مجله‌ای بین‌المللی و دو زبانه (فارسی و انگلیسی) است که مقالات فلسفی ممتاز را در همۀ حوزه‌های فلسفی و سنت‌های آن منتشر می‌کند. مقالات به روش «همتا ارزیابی» (peer review) داوری می‌شوند و دسترسی به آنها برای عموم آزاد است. برای اطلاعات بیشتر، لطفاً به وب سایت ما مراجعه فرمایید.

سید نصرالله موسویان

انتشار مقاله «شکل چهارم قیاس حملی در منطق سهروردی» از دکتر عظیمی

حکمت معاصر  دوره 7، شماره 3، پاییز 1395 منتشر شد. 

مقاله‌ای از دوست گرامی، دکتر مهدی عظیمی، با عنوان شکل چهارم قیاس حملی در منطق سهروردی  (اصل مقاله 266 K) منتشر شده است که انتشار آن را به ایشان تبریک می‌گویم.

سه مقاله منطقی

به تازگی سه مقاله منطقی در دو نشریه معرفت فلسفی و پژوهشهای فلسفی کلامی منتشر شده است که از پیوندهای زیر قابل دانلود است:

• كاركردهاى عليت تحليلى در برهان / سيدمصطفى موسوى اعظم - معرفت فلسفی - زمستان 1395(ص 73 ) 
• تاريخ دليل تباين / مهدى عظيمى - معرفت فلسفی - زمستان 1395(ص 143 )

• پارادوکس کرول از منظر ویتگنشتاین، ابن سینا، و خواجه نصیر - مهدی عظیمی  -پژوهش‌های فلسفی کلامی ، دوره 18، شماره 70، زمستان 1395، صفحه 163-173  اصل مقاله (472 K)

با سپاس از دکتر عظیمی بابت اطلاع رسانی

ترجمه و انتشار کتاب منطق رواقي اثر بنسون ميتس

كتاب منطق رواقي (با ترجمۀ دوست گرامی دکتر مهدي عظيمي به زودي منتشر می‌شود.

انتشار کتاب را به ایشان و جامعه علمی منطق تبریک می‌گویم.

منبع: http://dmaaref.iki.ac.ir/node/261

سخنرانی دکتر سیاوش شهشهانی - افسانه گرایی و استعاره در فلسفه ریاضی - 1396.02.27

انجمن منطق ایران برگزار می­کند:

 

دکتر سیاوش  شهشهانی

دانشگاه صنعتی شریف

 

افسانه گرایی و استعاره

در فلسفه ریاضی

 

مکان:  

تهران،پل گیشا، دانشگاه تربیت مدرس، دانشکده علوم انسانی،  طبقه چهارم، سالن  علامه جعفری

 

زمان:

چهارشنبه،27 اردیبهشت 1396، ساعت 4بعدازظهر

برای آگاهی از برنامه های انجمن منطق ایران به وب سایت    www.irlogic.orgمراجعه فرمایید.

انتشار بخش منطق کتاب تلخیص الحقائق ابهری در نشریه جاویدان خرد

نشریه جاویدان خرد شماره 30 زمستان 1395 منتشر شد. مقالۀ منطق ابهری در تلخیص الحقائق با تصحیح دوست عزیز مهدی عظیمی  نخستین مقاله از این شماره است.

چکیده

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

کلیدواژه ها

«ابهری؛ » «اثیرالدین؛ » «تلخیص الحقائق؛ » «منطق ابهری؛ » «فاضل احمد پاشا 1618»

آقای عظیمی آثار چندی از ابهری را تا کنون منتشر کرده است و برخی را در دست انتشار دارد که به موارد زیر می‌توان اشاره کرد:

کتاب «منتهی الافکار فی ابانه الاسرار » بخش منطق 

تصحيح و تحقيق رساله تحرير الدلائل في تقرير المسائل اثر اثيرالدين ابهری 

«الرساله الزاهره» نوشته اثیرالدین ابهری 

ميراث اثيري (حيات و كارنامه اثيرالدين ابهري) مقاله درباره ابهری 

دانلود کتاب شفاء چاپ مصر (بازچاپ انتشارات مرعشی نجفی)

متن کامل کتاب شفاء (شامل منطق، طبیعیات، ریاضیات و الهیات) اثر بزرگ و گرانسنگ ابن‌سینا تا مدتها به دشواری در دسترس بود تا اینکه به تازگی (2016/11/11) این اثر در سایت شبکة الفکر به صورت کامل در اختیار قرار گرفته است.

دانلود کتاب شفاء چاپ مصر (سال‌های 1952-1975)

(بازچاپ انتشارات مرعشی نجفی سال 1405 ق. 1364ش.): الشفاء - 10 أجزاء - شبكة الفكر

البته متن تایپ شده شفا در نرم افزار کتابخانه حکمت در دسترس است، اما تصویر نسخه چاپی این کتاب لطفی دگر دارد.

در بازچاپ مرعشی نجفی این کتاب در ده جلد منتشر شده است که در چاپ مصر بسیار بیشتر بوده زیرا انتشارات مرعشی نجفی گاه چند جلد چاپ مصر را در یک جلد گنجانده است. برای نمونه، جلدهای مدخل، مقولات و عبارت در این بازچاپ در یک جلد آمده است و جلدهای برهان و جدل در یک جلد و جلدهای سفسطه، خطابه و شعر در یک جلد و ...: 

• (الشفاء - ابن سينا ، 001 - المنطق - ج1 ، المدخل) (33 MB)
• (الشفاء - ابن سينا ، 002 - المنطق - ج2 ، القياس) (26 MB)
• (الشفاء - ابن سينا ، 003 - المنطق - ج3 ، البرهان، الجدل) (28 MB)
• (الشفاء - ابن سينا ، 004 - المنطق - ج4 ، السفسطة، الخطابة، الشعر) (24 MB)
• (الشفاء - ابن سينا ، 005 - الطبيعيات - ج1 ، السماع الطبيعي) (24 MB)
• (الشفاء - ابن سينا ، 006 - الطبيعيات - ج2 ، السماء والعالم، ...) (29 MB)
• (الشفاء - ابن سينا ، 007 - الطبيعيات - ج3 ، الحيوان) (27 MB)
• (الشفاء - ابن سينا ، 008 - الرياضيات - ج1 ، ا أصول الهندسة) (24 MB)
• (الشفاء - ابن سينا ، 009 - الرياضيات - ج2 ، علم الهيئة) (25 MB)
• (الشفاء - ابن سينا ، 010 - الإلهيات - ج1 ، ج2) (22 MB) 

در سایت شبکة الفکر هم‌چنین، می‌توان کتاب‌های منطقی فارابی در چاپ‌های ایران و لبنان و دیگر کتب منطقی و فلسفی را یافت.

سخنرانی دکتر مهدی عظیمی با عنوان: پیوند منطق و معرفت‌شناسی نزد ابن‌سینا

انجمن منطق ایران برگزار می­کند: 

پیوند منطق و معرفت‌شناسی

نزد ابن‌سینا

 

دکتر مهدی عظیمی

دانشگاه تهران

 

به اطلاع می‌رساند که سخنرانی ماهانه انجمن منطق ایران چهارشنبه این هفته در ساعت 16 با سخنرانی آقای دکتر مهدی عظیمی، استادیار گروه فلسفۀ اسلامی از دانشکدۀ الهیات دانشگاه تهران با عنوان «پیوند منطق و معرفت‌شناسی نزد ابن‌سینا» برگزار خواهد شد.

چکیده:

ابن‌سینا، در منطق خویش، هم صورت گزاره و استدلال را تحلیل می‌کند هم مادۀ آن دو را:

تحلیل صوری ابن‌سینا از «گزاره» عبارت است از

1. تعریف ثوابت منطقیِ A، E، I، O، «اگر... آن‌گاه...»، و «یا... یا...»؛

2. تقسیم هر یک از آنها به اقسام مربوط؛

3. سامان‌دادن قواعد ساخت برای آنها، و

4. کشف روابط منطقی و استنتاجی حاکم بر آنها.

تحلیل صوری وی از «استدلال» نیز عبارت است از

1. واشکافی ساختارهای مشترک در پسِ استدلال‌هایی که در بافتارهای گوناگون دانش و اندیشۀ انسانی به‌کار می‌روند و

2. تنسیق آن‌ها در قالب استنتاج‌های منطقاً درست.

تا این‌جا، کار ابن‌سینا یک‌سره در چارچوب منطق، به معنای اخصّ امروزی‌اش، قرار می‌گیرد.

اما تحلیل مادّی گزاره، که معمولاً ذیل عنوان «موادّ قضایا» بررسی می‌شود، و تحلیل مادّی استدلال، که عموماً تحت عنوان «صناعات خمس» مورد بررسی قرار می‌گیرد، از منظر امروزی، بیش‌از آن‌که بحثی منطقی باشد، معرفت‌شناختی است.

تحلیل مادّی گزاره به رده‌بندی معرفت‌شناختی گزاره‌ها بر اساس سه عامل باور، صدق، و توجیه می‌انجامد که طیّ آن می‌توان پاسخ ابن‌سینا به دو پرسش معرفت‌شناختی مهم را فراچنگ آورد:

(1) معرفت چیست؟

(2) منابع معرفت کدام‌اند؟

پاسخ وی به پرسش نخست این است: باور صادق موجّه. و پاسخ‌اش به پرسش دوم این است: عقل، حس، درون‌نگری، و گواهی. (نیز از علم‌النفس او دانسته می‌شود که حافظه را هم از منابع معرفت می‌داند.) از همین رهگذر است که پاسخ بوعلی به پرسش از ساختار معرفت نیز نمایان می‌شود، مبناگروی او آشکار می‌گردد، و فهرست وی از باورهای پایه به دست می‌آید؛ (افزون بر این، وی در مواضعی آشکارا از مبناگروی دفاع می‌کند).

و اما تحلیل مادّی استدلال به درجه‌بندی معرفت‌شناختی استدلال‌ها، از حیث مقدمات، ساختار، و نتیجه، بر اساس سه معیار باور، صدق، و توجیه می‌پردازد و آنها را در پنج رده می‌گنجاند: برهان، جدل، خطابه، شعر، مغالطه.

از این بررسی معلوم می‌شود که منطق ابن‌سینا آمیخته به معرفت‌شناسی است و او منطق را نه صرفاً به‌منزلۀ یک دستگاه صوریِ محض، بل به‌مثابۀ ابزار توسعۀ معرفت در چارچوب مبناگروی می‌نگرد. این گرایش اگرچه در اشارات، (ظاهراً) واپسین نوشتۀ او، کم‌رنگ می‌شود، هرگز رنگ نمی‌بازد.  

مکان:  

تهران،پل گیشا، دانشگاه تربیت مدرس،

دانشکده علوم انسانی،  سالن شهدای گمنام

 

زمان:

چهارشنبه،30 فروردین 1396، ساعت 4بعدازظهر

برای آگاهی از برنامه های انجمن منطق ایران به وب سایت    www.irlogic.orgمراجعه فرمایید.

سمينارهاي گروه فلسفه دانشگاه تربيت مدرس تهران بهار 96

سمينارهايگروهفلسفهدانشگاهتربيتمدرستهران بهار 96

٢١/ ١٣٩٦/١   محسنزمانيپژوهشگاه دانش هاي بنيادي

صادق‌سازي، سوپرونينس، و تقليلِ هستي‌شناسانه

 

٤/ ١٣٩٦/٢   امينمتولياندانشگاه علوم و تحقيقات

طبيعيات كيميايي

 

١٨/ ١٣٩٦/٢   داودحسينيدانشگاه تربيت مدرس

صدرا در برابر ميرداماد؛ برشي از تاريخ وجود

 

١/ ١٣٩٦/٣   احمدعسگريدانشگاه شهيد بهشتي

نقش اسكندر در صراحت يافتن "مسئله كليات" در تاريخ فلسفه

انتشار کتاب "تحلیل منطقی استدلال" شرح منطق اشارات ابن سینا (نهج هفتم تا دهم)

 

کتاب "تحلیل منطقی استدلال، شرح منطق اشارات ابن سینا (نهج هفتم تا دهم)" منتشر شد

چکیده:

تحلیل منطقی ابن سینا از استدلال بر دو گونه است:

۱) تحلیل صوری

۲) تحلیل مادی.

تحلیل صوری استدلال یعنی واشکافی ساختارهای مشترک در پس استدلال هایی که در بافتارهای گوناگون دانش و اندیشه انسانی به کار می روند؛ و تحلیلی مادی استدلال یعنی تحلیل معرفت شناختی آن از حیث مقدمات، ساختار و نتیجه بر اساس سه معیار باور، صدق و توجیه.

منطق بیرونی و درونی علم، منطق پرسش و آسیب شناسی منطق استدلال از دیگر موضوعاتی اند که ابن سینا در این بخش از اشارات بررسی می کند و این کتاب به گزارش و سنجش آنها می پردازد.

 

انتشار این کتاب را در آستانه سال نو به دوست گرامی، جناب آقای دکتر عظیمی تبریک می گویم و چشم در راه انتشار کتاب بعدی وی در سال جدید خواهیم بود.

سال نو پیشاپیش بر همه منطق دوستان مبارک باد.

گفتارهای ابن سینا – دوره دوم - در باب مدخل شفاء

گروه و انجمن علمی فلسفه دانشگاه تربیت مدرس دومین دوره از «گفتارهای ابن‎سینا» را برگزار می‎کند.

در باب مدخل شفاء

اسدالله فلاحی 

موسسه پژوهشی حکمت و فلسفه ایران

چهارشنبه، ۱۱ و ۱۸ اسفندماه ۱۳۹۵ـ ساعت ۱۳:۳۰ الی ۱۸

دانشکده علوم انسانی ـ دانشگاه تربیت مدرس

منبع 

تغییر کوچک در زمان و مکان سخنرانی دکتر محمود مروارید

به اطلاع می‌رسانم که به دلیل برگزاری هم‌زمان همایشی دیگر در دانشکده ریاضی دانشگاه امیرکبیر، تغییر کوچکی در زمان و مکان سخنرانی دکتر محمود مروارید رخ داده است: 

ساعت سخنرانی 4:30 عصر

اتاق 202 دانشکده ریاضی دانشگاه امیرکبیر

روز چهارشنبه 4 اسفند 95

 

انجمن منطق ایران برگزار می­کند

برهان صديقين

به روايت علامه طباطبايي

 

دکتر محمود مروارید

پژوهشکدۀ فلسفۀ تحلیلی، پژوهشگاه دانش‌های بنیادی

گاه گفته مي‌شود برهاني كه علامه طباطبايي در حاشيه اسفار براي اثبات وجود خداوند مطرح كرده‌است، بر هيچ اصل يا مسئله فلسفي ابتنا ندارد، و از اين رو مي‌توان آن را مصداق كاملي براي «برهان صديقين» به شمار آورد. اما به نظر مي‌رسد كه اين گفته نادرست است و برهان علامه، بدون بهره گيري از دو فرض فلسفي، يعني نظريه حداکثری مطابقت با عالم وجود و نظریه تعمیم یافته وحدت شخصی وجود به سرانجام مطلوب نمي‌رسد. به ويژه آنكه فرض دوم بسيار مناقشه آميز است، و اثبات آن به هيچ روي از اثبات اصل مدعا (يعني وجود داشتن واجب الوجود بالذات) ساده‌تر نيست.

مکان:  تهران،خیابان حافظ، روبروی خیابان سمیه،دانشگاه امیرکبیر،

دانشکدۀ ریاضیات و علوم کامپیوتر، طبقه دوم، اتاق ۲۰۲

 

زمان: چهارشنبه،۴ اسفند ۱۳۹۵،ساعت ۴:۳۰  بعدازظهر

برای آگاهی از برنامه های انجمن منطق ایران به وب سایت زیر مراجعه فرمایید:

www.irlogic.org

انتشار سه مقاله منطقی در نشریه پژوهش‌های فلسفی - دانشگاه تبریز

نشریۀ پژوهش‌های فلسفی دانشگاه تبریز شماره 19 بهار و تابستان 1395 را منتشر کرد. مقالات منطقی (فلسفی - تاریخی) زیر در این شماره آمده است:

بررسی راه‌حل ویتگنشتاین به واقعیت سلبی (صفحه 45-74) مهدی اسدی  دانلود

افسانۀ ماهیت استدلال (صفحه 163-172) سعید زیباکلام  دانلود

پیشگذارده و تناقض: تعریفِ پیشگذارده در آثار منطقی ارسطو (صفحه 327-351) سید عمار کلانتر؛ مهدی قوام صفری  دانلود

سخنرانی دکتر محمود مروارید با عنوان «برهان صدیقین به روایت علامه طباطبایی»

انجمن منطق ایران برگزار می کند:

برهان صديقين

به روايت علامه طباطبايي

دکتر محمود مروارید

پژوهشکدۀ فلسفۀ تحلیلی، پژوهشگاه دانش‌های بنیادی

گاه گفته مي‌شود برهاني كه علامه طباطبايي در حاشيه اسفار براي اثبات وجود خداوند مطرح كرده‌است، بر هيچ اصل يا مسئله فلسفي ابتنا ندارد، و از اين رو مي‌توان آن را مصداق كاملي براي «برهان صديقين» به شمار آورد. اما به نظر مي‌رسد كه اين گفته نادرست است و برهان علامه، بدون بهره گيري از دو فرض فلسفي، يعني نظريه حداکثری مطابقت با عالم وجود و نظریه تعمیم یافته وحدت شخصی وجود به سرانجام مطلوب نمي‌رسد. به ويژه آنكه فرض دوم بسيار مناقشه آميز است، و اثبات آن به هيچ روي از اثبات اصل مدعا (يعني وجود داشتن واجب الوجود بالذات) ساده‌تر نيست.

مکان: تهران، خیابان حافظ، روبروی خیابان سمیه،دانشگاه امیرکبیر،دانشکدۀ ریاضیات و علوم کامپیوتر، طبقه سوم، اتاق 304

زمان: چهارشنبه،4اسفند 1395،ساعت 4بعدازظهر

منبع: http://irlogic.org/Article-73 

دو مقاله درباره برهان صدیقین ابن سینا

دوست گرامی آقای دکتر حمید علایی نژاد اطلاع دادند که مقاله ای در نشریه حکمت اسرا منتشر شده که تقریر جدیدی از برهان صدیقین ابن سینا ارائه کرده و او نقدی بر آن نگاشته است. این دو مقاله به همراه پیوند به فایلشان در زیر می آیند:

اثبات واجب‌الوجود براساس فرض تسلسل: نگاهی به برهان ابن‌سینا و اقامة برهانی بدیع

نفیسه اهل سرمدی؛ مرتضی طباطبائیان نیم آورد   مشاهده مقاله  | اصل مقاله (574 K) صفحه 25-40

نقد و ارزیابیِ یکی از براهین اثبات واجب الوجود براساس فرض تسلسل

حمید علایی نژاد مشاهده مقاله  | اصل مقاله (712 K) صفحه 29-52

با سپاس از آقای دکتر علائی نژاد بابت اطلاع رسانی

سه سخنرانی درباره منطق در دانشگاه اصفهان و شعبه IPM در اصفهان

 شعبه IPM در اصفهان سه سخنرانی درباره منطق در دانشگاه اصفهان برگزار می کند.

گروه منطق پژوهشكده رياضيات پژوهشگاه دانش هاي بنيادي شعبه اصفهان قصد دارد سلسله جلساتي را به منظور آشنايي با زمينههاي مختلف منطق رياضي برگزار نمايد. در اين دوره ها تلاش مي شود تا شركت كنندگان با رويكردها و كاربردهاي منطق آشنا شوند، و بنابراين منطق از هر سه جنبه رياضي، فلسفه، و علوم نظري كامپيوتر (محاسباتي) مورد بررسي قرار مي گيرد.

دوره اول (برگزار شد):

اين دوره آموزشي عناويني همچون منطق گزاره ها، منطق محمولات، حساب پئانو و قضيه ناتماميت گودل، محاسبه پذيري، منطق هاي موجهات، منطقهاي معرفتي، پارادوكسهاي منطقي، منطقهاي فازي، نظريه مجموعه ها، نظريه مدل، نظريه اثبات، برنامه نويسي با پرولوگ و غيره را در بر مي گيرد.

شايان توجه است كه اين دوره ها نيازمند هيچ پيشنيازي نبوده و حضور اساتيد و دانشجويان علاقمند از رشته هاي مختلف در اين دوره ها بلامانع است.

براي ثبت نام كافي است ايميلي به آدرس [e-mail] ارسال نماييد.

دوره دوم:

در اين دوره ابتدا به تاريخچه منطق پرداخته مي شود و سپس منطق محمولات مرتبه اول از سه جنبه رياضي، فلسفي و محاسباتي معرفي مي شود.

• عنوان: نگاهي فلسفي- تاريخي به منطق،

سخنران: حميد علايي نژاد
زمان: پنج شنبه 21 بهمن 1395 ، ساعت 14 تا 16
چكيده: اگرچه سابقه دانش منطق را مي توان در برخي از آثار مكتوب به جاي مانده از انديشمندان دوران باستانِ غرب و شرق مشاهده نمود، ارسطو را نخستين مدون آن دانسته اند. اين دانش پس از ارسطو به شيوه هاي مختلفي تغيير و توسعه يافته است. اما مهم ترين اين تغييرات مربوط به قرن بيستم و در پيِ تلاش رياضي دانان و فلاسفه در جهت تدوين اين دانش به عنوان مبناي، يا شاخه اي از، رياضيات بوده است. در اين سخنراني قصد داريم تا با نگاهي به مباني فلسفيِ دانش منطق، تاريخ اين تحولات را مرور نماييم.

• عنوان: منطق مرتبه اول و ساختارهاي رياضي،

سخنران: علي ولي زاده (دانشگاه صنعتي اميركبير)
زمان: پنج شنبه 28 بهمن 1395 ، ساعت 14 تا 16
چكيده: در اين جلسه به لزوم فراتر رفتن از منطق گزاره ها (مرتبه صفر) اشاره خواهيم كرد و با معرفي منطق مرتبه اول به ويژگي هاي اساسي آن از دو و ارتباط اين دو خواهيم پرداخت. نهايتا به اين سوال مي پردازيم كه آيا منطق مرتبه اول (semantics) و معناشناسي (syntax) جنبه نحوي براي بيان نيازهاي ما كافي است؟

• عنوان: منطق محمولات و فلسفه،

سخنران: مرتضي حاج حسيني (دانشگاه اصفهان)
زمان: پنج شنبه 5 اسفند 1395 ، ساعت 14 تا 16
چكيده: چرا منطق سنتي با منطق محمول ها آغاز مي شود و منطق جديد با منطق گزاره ها؟ منطق كلاسيك محمول ها چه نسبتي با منطق سنتي دارد؟ توانايي هاي شاخص منطق كلاسيك محمول ها چيست؟ توانائي هاي شاخص منطق سنتي چيست؟ منطق كلاسيك محمول ها با چه پيش فرض هايي شروع مي كند؟ آيا اين منطق نيز همچون منطق كلاسيك گزاره ها با برخي چالش ها و پارادوكس ها روبرو است؟ راه برون رفت از اين چالش ها و پارادوكس ها چيست؟

• عنوان: منطق محمولات محاسباتي،

سخنران: مقداد قاري (پژوهشگاه دانشهاي بنيادي)
زمان: پنج شنبه 19 اسفند 1395 ، ساعت 14 تا 16
براي بررسي اثبات پذيري قضاياي منطق محمولات و ارايه مباني منطقي زبان

چكيده: هدف از اين سخنراني معرفي روش رزولوشن براي بررسي اثبات پذيري قضاياي منطق محمولات و ارايه مباني منطقي زبان برنامه نويسي پرولوگ مي باشد.

 http://math.ipm.ac.ir/Isfahan/Logic_Group.htm

e-mail: [e-mail]

سخنراني دکتر رضا اکبری در پژوهشكده فلسفه تحليلي با عنوان «نمونه‌هایی از تحلیل‌های زبانی در فلسفه اسل

سخنراني دکتر رضا اکبری در پژوهشكده فلسفه تحليلي پژوهشگاه دانش‌های بنیادی برگزار می‌شود:

نمونه‌هایی از تحلیل‌های زبانی در فلسفه اسلامی
دکتر رضا اکبری
دانشگاه امام صادق (ع) 

 

زمان: دوشنبه 27 دی 1395، ساعت 16 تا 18 
مكان: میدان شهید باهنر، پژوهشگاه دانش های بنیادی (مرکز تحقیقات فیزیک نظری و ریاضیات)، پژوهشکده فلسفه تحلیلی، سالن شماره 1 

چکیده

توجه به آثار فلسفی و کلامی در حیطه اسلامی نشان می دهد که فیلسوفان و متکلمان مسلمان در مواردی برای حل یا منحل کردن مسائل فلسفی، ارائه یک نظریه جدید یا نقد نظریه ای موجود، از تحلیل‌های زبانی استفاده کرده‌اند.

        1.     ملاصدرا در تحلیل ادله اثبات وجود ذهنی به تبعیت از برخی متکلمان با ارائه دو نوع صورت‌بندی از جمله «هر سیمرغ پرنده است» معتقد است که این جمله، در یک صورت‌بندی، جمله‌ای کاذب، و در صورت‌بندی دیگر جمله‌ای صادق اما قاصر از اثبات وجود ذهنی است. صورت‌بندی نخستی که او ارائه کرده به صورت‌بندی راسل در مواجهه انتقادی با نظریه ماینونگ در شیء‌پنداری امور معدوم بسیار قرابت دارد؛ به همین دلیل، صورت‌بندی راسل از جملاتی همچون «پادشاه کنونی فرانسه طاس است» و «کوه طلا سنگین است»  را می بایست در دیدگاه‌های قدیمی تر جستجو کرد.

        2.     فیلسوفان و متکلمان مسلمان جملات ناظر به علیت در اعدام را در قالب جملات ناظر به نفی علیت میان دو امر وجودی صورت‌بندی کرده و لذا نافی علیت در اعدام می‌شوند. گاه نیز جملات ناظر به علیت در اعدام به جملاتی معرفت شناختی که ناظر به نحوه علم ما به یک واقعیت خارجی است صورت‌بندی می شود. در این صورت‌بندی نیز علیت در اعدام به عنوان یک علیت عینی نفی می شود.

        3.     شاید اثرگذارترین تحلیل‌های زبانی در مواجهه با مسائل فلسفی را نزد فیسلوفان و متکلمان مسلمان، می‌بایست در مسئله مشتق جستجو کرد. عده‌ای از آنان با مرکب دانستن مشتق از ذات و مبدأ اشتقاق، مصداق‌داری وجود را انکار کرده‌اند. در مقابل عده‌ای با تحلیل مشتقاتی همچون «حداد» (آهنگر)، «تامر» (خرمافروش)، «لابن» (شیرفروش) و شبیه‌انگاری کلمۀ «موجود» با این نوع مشتقات، نظریه وحدت‌انگاری وجود و کثرت‌انگاری موجود را ارائه کرده‌اند. عده‌ای نیز با تحلیل زبانی خاصی که از مشتق ارائه کرده‌اند ضمن پذیرش مصداق عینی برای وجود، کثرت وجود را در عین وحدت آن پذیرفته‌اند.

 استفاده فیلسوفان و متکلمان مسلمان از تحلیل‌های زبانی در مواجهه با مسائل فلسفی و کلامی محدود به این موارد نیست. لذا سه مورد ذکر شده در اینجا صرفا سه نمونه از نمونه‌های متعددی است که در فلسفه و کلام اسلامی مورد توجه بوده است.

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

سخنرانیهای فلسفی – پاییز 1395

گروه فلسفه دانشگاه تربیت مدرس تهران

دیدگاه غیررابطه‌ای درباره حیث التفاتی: نقد یک دیدگاه
محمدصالح زارع‌پور
دانشگاه کمبریج

به نظر می‌رسد که شهود کاربران معمولی زبان طبیعی مبنی بر این‌که میتوان درباره چیزهای ناموجود اندیشید معارض با رابطه‌ای بودن حیث التفاتی است. روانشناسی‌گرایی تیم کرین تلاش دارد تا با پیشنهاد یک دیدگاه تازه درباره‌ی درباره‌گی و دفاع از غیررابطه‌ای بودن حیث التفاتی این تعارض را از میان بردارد. در این ارائه من استدلال خواهم کرد که برخی نتایج دیدگاه کرین در خصوص درباره‌گی اندیشه‌هایی که درباره چیزهای موجود داریم، در تناقض با شهود طبیعی ما درباره این اندیشه‌ها است. به بیان دقیق‌تر، کرین شهودهای ما درباره‌ی اندیشه‌های ناتهی را به نفع شهودهایی که درباره‌ی اندیشه‌های تهی داریم قربانی می‌کند؛ و همین مسأله می‌تواند پاشنه‌ی آشیل دیدگاه او باشد.

زمان: دوشنبه 13 / 10 / 1395 ساعت 10 - 12
مکان: دانشکده‌ی علوم انسانی، سالن شهدای گمنام

دو سخنرانی در حوزه منطق تطبیقی در مشهد

شبکه معالم

دو نشست تخصصی منطق پژوهی تطبیقی

ازسلسله نشستهای گروه آموزشی فلسفه و کلام اسلامی مرکز تخصصی آخوند خراسانی برگزار می شود. 

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

و

«سه تفسیر از مشروطه عامه نزد افضل الدین خونجی»

 

اسدالله فلاحی

دانشیار مؤسسه پژوهشی حکمت و فلسفه ایران

زمان: ساعت۱۸ روز های ۱۴ و ۱۵ دی ماه ۹۵

مکان: مشهد، چهارراه خسروی، خیابان شهید رجایی، دفتر تبلیغات اسلامی خراسان رضوی، طبقه دوم، اتاق جلسات 

منبع: شبکه معالم 

پوستر چهارمین همایش انجمن منطق ایران

برنامۀ چهارمین همایش انجمن منطق ایران

برنامۀ
چهارمین همایش انجمن منطق ایران

	ساعت			سخنران	عنوان سخنرانی
صبح چهارشنبه 8/10/1395	8:30	–	9	ثبت نام
	9	–	10	محمد گلشنی پژوهشگاه دانش‌های بنیادی	افزودن تمایزناپذیرها به کمک فورسینگ با کاربرد در منطق وجهی فورسینگ
	10	–	10:30	پذیرایی
	10:30	–	11:15	سلمان پناهی دانشگاه ملبورن	دو وجهی نگری، ادات منطقی، و نتیجه منطقی
	11:15	–	12	زهرا غفوری دانشگاه صنعتی شریف	اصل استقرای باز و دنباله‌های اسپکر
	12	–	14	نماز و ناهار
عصر چهارشنبه 8/10/1395	14	–	15	فاطمه سیفان دانشگاه ارلانگن	منطق وجهی نقطه‌ثابت و خودران‌ها: رویکرد هم‌جبری
	15	–	15:45	داود حسینی چفلی دانشگاه تربیت مدرس	سمنتیکی برای رواداری بر پایه‌ی نظریه‌ی بازی
	15:45	–	16:15	پذیرایی
	16:15	–	17	محمد زرقانی علی اکبر استاجی ابوالقاسم کریمی فیض ‌آبادی دانشگاه حکیم سبزواری	جنبه‌های منطق توپوقاب‌ها
	17	–	17:45	پروین صفری سعید صالحی پورمهر دانشگاه تبریز	معناشناسی کریپکی برای منطق‌های فازی
صبح پنج‌شنبه 9/10/1395	9	–	10	ضیاء موحد موسسه پژوهشی حکمت و فلسفه ایران	شعر و ریاضیات
	10	–	10:30	پذیرایی
	10:30	–	11:15	پیام سراجی سعید صالحی پورمهر دانشگاه تبریز	تعمیم قضیه گودل- راسر برای نظریه­های تعریف­پذیر
	11:15	–	12	فاطمه نبوی دانشگاه قم	رویکرد فعلی در منطق اصول فقه

اطلاعیۀ چهارمین سمینار سالانه انجمن منطق ایران

اطلاعیۀ چهارمین سمینار سالانه انجمن منطق ایران

به اطلاع اساتید،‌ دانشجویان، پژوهشگران و علاقه‌مندان منطق می‌رساند که زمان چهارمین همایش سالانۀ انجمن منطق ایران که در اطلاعیه‌های پیشین روزهای 1 و 2 دی‌ماه 1395 اعلام شده بود با تأخیر یک هفته‌ای در روزهای 8 و 9 دی‌ماه 1395 در سه نوبت (صبح و عصر روز 8 دی و صبح 9 دی) در  دانشگاه صنعتی شریف برگزار می‌شود.

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

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

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

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

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

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

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

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

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

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

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

از همۀ عزیزان درخواست می‌شود که در صورت امکان، از طریق ایمیل، وبلاگ، وبسایت، کانال تلگرام و مانند آن اطلاع رسانی بفرمایند.

هم‌چنین، اگر ایمیل‌های دیگر خود یا دوستان و آشنایان علاقه‌مند به دریافت اطلاعیه‌های انجمن را به ایمیل یاد شده در بالا ارسال بفرمائید سپاس گزار می‌شویم.

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