منطق در ايران

کتاب

تحلیل منطقی گزاره

شرح منطق اشارات (نهج سوم تا ششم)

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

منبع: http://hekmateislami.com/showdata.aspx?dataid=11839&siteid=1

این بخش از اشارات و تنبیهات به مبحث «قضایا» از بخش «تصدیقات» می پردازد.

گفتنی است که جلد نخست این کتاب که به بخش «تصورات» مربوط است سال گذشته به نشر رسیده بود. پیوند زیر در آغاز سال جاری مربوط به این جلد است:

انتشار شرح فارسی منطق اشارات به قلم دکتر مهدی عظیمی - یکشنبه شانزدهم فروردین ۱۳۹۴

انتشار این دو جلد را به ایشان تبریک می گویم و آرزوی کامیابی برای ایشان در انتشار جلد سوم (بخش قیاس) دارم.

گروه منطق ریاضی دانشگاه امیرکبیر برگزار می کند:

بحث و گفتگویی در باب منطق ریاضی (روز منطق سال نود و چهار)

با سخنرانی آقایان دکتر لطف الله نبوی و دکتر محمد باقری

به همراه میزگرد، بحث و گفتگو و برنامه های جنبی علمی مرتبط با منطق

زمان 5 اسفند 94 ساعت 10 صبح اتاق 304

دانشکده ریاضی و علوم کامپیوتر دانشگاه امیرکبیر

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

چکیده

مجدالدین عبدالرزاق جیلی (د. ح. 570 ق.)، برای نخستین بار در تاریخ منطق، در رسالۀ اللامع فی الشکل الرابع به مختلطات شکل چهارم پرداخته است. پیش از او، دنحای کشیش (ح. 800م.) و ابوالفتوح ابن‌صلاح همدانی (د. 548ق.)، معاصر جیلی، مطلقات شکل چهارم را به تفصیل طرح کرده بودند. جیلی در رسالۀ اللامع تنها به موجهات «بسیط» شکل چهارم پرداخته و هیچ اشاره‌ای به موجهات «مرکب» نکرده است. شاگرد او، فخر رازی، نیز تنها به موجهات «بسیط» شکل چهارم پرداخته و تنها در جهت نتیجۀ سه اختلاط با استاد مخالفت کرده است. شاگرد فخر رازی، زین‌الدین کشّی (د. ح. 625ق.)، پس از او، موجهات «مرکب» شکل چهارم را نیز بررسی کرده است. پس از این‌که افضل الدین خونجی (د. 646ق.)، به انعکاس سالبۀ جزئیه در برخی موجهات مرکبه پی برد، اثیر الدین ابهری (د. ح. 660ق.) سه ضرب منتج تازه در مختلطات شکل چهارم کشف کرد.

کلیدواژگان

شکل چهارم؛ قیاس؛ مجدالدین جیلی؛ مختلطات؛ موجهات

ﭘﮋوﻫﺸﮑﺪه ﻓﻠﺴﻔﻪ ﺗﺤﻠﯿﻠﯽ (ﭘﮋوﻫﺸﮕﺎه داﻧﺶﻫﺎي ﺑﻨﯿﺎدي) برگزار می‌کند:

ﺳﻤﯿﻨﺎرﻫﺎي ﻓﻠﺴﻔﻪ ﺗﺤﻠﯿﻠﯽ
زﻣﺴﺘﺎن 1394، ﺑﻬﺎر 1395

94/12/10 ﺑﺮرﺳﯽ ﻧﻈﺮﯾﮥ ﻧﻘﺶوارهايِ ﺷﺎن ﮔﺎﻻﮔﺮ درﺑﺎرة «ﺧﻮد»
ﻣﺠﯿﺪ داوودی بني داﻧﺸﮕﺎه اﻣﯿﺮﮐﺒﯿﺮ.

94/12/17 ﻓﺮد و ارزش: واﮐﺎوي ارزﺷﯽِ ﻓﺮد در ﻧﻈﺎم ارزشﺷﻨﺎﺳﯽِ ﺻﻮري
ﻋﻠﯿﺮﺿﺎ ﺻﯿﺎد ﻣﻨﺼﻮر داﻧﺸﮕﺎه ﺗﻬﺮان.

95/1/23 ﻗﻀﺎﯾﺎي ﺣﻘﯿﻘﯿﻪ ﻧﺰد ﭘﻞ ﺗﺎم
اﺳﺪاﷲ ﻓﻼﺣﯽ ﻣﺆﺳﺴﻪ ﭘﮋوﻫﺸﯽ ﺣﮑﻤﺖ و ﻓﻠﺴﻔﻪ اﯾﺮان، ﭘﮋوﻫﺸﮕﺎه داﻧﺶﻫﺎي ﺑﻨﯿﺎدي.

95/2/6 ﻣﻌﻘﻮﻟﯿﺖ ﻣﻌﺮﻓﺘﯽ ﭘﺬﯾﺮش دﺳﺘﻮر ﺧﺪاوﻧﺪ: «ﺑﯽاﯾﻤﺎن ﻧﺒﺎﺷﯿﺪ»
اﺑﺮاﻫﯿﻢ آزادﮔﺎن داﻧﺸﮕﺎه ﺻﻨﻌﺘﯽ ﺷﺮﯾﻒ.

95/2/20 ﻣﺼﻠﺤﺖ ﺗﺴﻬﯿﻞ و اﺻﻞ ﻋﻤﻠﯽِ اوﻟﯿﻪ: ﻣﺴﺌﻠﻪاي در اﺻﻮل ﻓﻘﻪ ﻣﻌﺎﺻﺮ
ﻣﺤﻤﻮد ﻣﺮوارﯾﺪ ﭘﮋوﻫﺸﮕﺎه داﻧﺶﻫﺎي ﺑﻨﯿﺎدي.

95/2/27 ﺗﻤﺎﻣﯿﺖ وﺿﻌﯿﺖﻫﺎي اﻣﻮر و ﺻﺎدقﺳﺎزِ ﺣﺪاﻗﻠﯽ
ﻣﺤﺴﻦ زﻣﺎﻧﯽ ﭘﮋوﻫﺸﮕﺎه داﻧﺶﻫﺎي ﺑﻨﯿﺎدي.

95/3/10 ﻣﺸﮑﻞ ﺑﺎزﻧﻤﻮدﮔﺮاﯾﯽ ﭼﯿﺴﺖ؟
ﯾﺎﺳﺮ ﭘﻮراﺳﻤﻌﯿﻞ ﭘﮋوﻫﺸﮕﺎه داﻧﺶﻫﺎي ﺑﻨﯿﺎدي.

ﺷﺮﮐﺖ ﺑﺮاي ﻋﻤﻮم آزاد اﺳﺖ.
ﭼﮑﯿﺪه ﻫﺮ ﺳﻤﯿﻨﺎر، دو روز ﭘﯿﺶ از ﺑﺮﮔﺰاري آن در ﺳﺎﯾﺖ ﭘﮋوﻫﺸﮑﺪه ﻓﻠﺴﻔﻪ (ﺑﻪ آدرس philosophy.ipm.ac.ir) ﻗﺎﺑﻞ دﺳﺘﺮﺳﯽ اﺳﺖ.
ﻣﮑﺎن: ﺗﻬﺮان- ﻣﯿﺪان ﻧﯿﺎوران- ﭘﮋوﻫﺸﮕﺎه داﻧﺶﻫﺎي ﺑﻨﯿـﺎدي (ﻣﺮﮐـﺰ ﺗﺤﻘﯿﻘـﺎت ﻓﯿﺰﯾـﮏ ﻧﻈـﺮي و رﯾﺎﺿـﯿﺎت)
ﭘﮋوﻫﺸﮑﺪه ﻓﻠﺴﻔﻪ ﺗﺤﻠﯿﻠﯽ- ﺗﺎﻻر ﺷﻤﺎره 1
زﻣﺎن: دوﺷﻨﺒﻪﻫﺎ ، ﺳﺎﻋﺖ: 16-18 ﺗﻠﻔﻦ: 22803669

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

مصاحبه‌ای نوشتاری در همین ارتباط در بیستمین شماره خبرنامه «سمت» منتشر شده است که به صورت بسیار گزیده درباره کتاب نکاتی را گفته‌ام.

نخستین دورة «گفتارهای ابن‌سینا»

(اسفند 1394)

گروه فلسفه و انجمن علمی فلسفه دانشگاه تربیت مدرس در اسفند 1394 نخستین دورة «گفتارهای ابن‌سینا» را برگزار خواهند کرد. امیدواریم این سلسله سخنرانی های سالانه ادامه پیدا کنند و هر سال میزبان یک سخنران و گروهی از اساتید مدعو به عنوان ناظر و ناقد باشیم.

«گفتارهای ابن‌سینا» در 4-6 جلسه سخنرانی برگزار می‌شود و به غیر از سخنران و اساتید حاضر، در خدمت گروهی از دانشجویان علاقه‌مند نیز خواهد بود. برگزارکنندگان می‌کوشند گروه محدودی از دانشجویان را گزینش و ثبت نام کنند و از این طریق به کیفیت جلسات بیفزایند.

افتخار داریم در نخستین دورة «گفتارهای ابن‌سینا» با عنوان «نگاهی از منظر معرفت‌شناسی معاصر به تعاريف معرفت در سنت اسلامی» میزبان دکتر رضا اکبری استاد دانشگاه امام صادق (ع) باشیم.

از علاقه‎مندان دعوت می شود تا برای پیش ثبت نام، اطلاعات زیر را تا تاریخ 10 / 11 / 1394به رایانامه انجمن علمی فلسفه دانشگاه تربیت مدرس (tmu.philosophy@gmail.com/@yahoo.com) ارسال کنند:

نام و نام خانوادگی، سوابق تحصیلی و پژوهشی، رایانامه، تلفن.

* هزینه دوره 15،000 تومان می‎باشد.

** تاریخ دقیق برگزاری نیمه‎ی بهمن‎ماه اعلام خواهد شد.

برای اطلاعات بیشتر به صفحه «گفتارهای ابن‌سینا» در سایت انجمن علمی فلسفه دانشگاه تربیت مدرس (www.jphil.ir) مراجعه و یا با شماره‎ی 82883696 تماس حاصل کنید.

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

عنوان و فهرست مقاله چنین است:

منطق و فلسفۀ زبان

در سنت عربی و اسلامی

Arabic and Islamic

Philosophy of Language and Logic

by

Tony Street

http://plato.stanford.edu/entries/arabic-islamic-language/

1. مباحث تاریخی

a. ترجمه‌های نخستین

b. ارسطوگرایی به سبک فارابی

c. ارسطوگرایی به سبک ابن‌سینا

d. منطق در قرن ششم

i. غزالی و منطق

ii. ابن‌رشد و پایان ارسطوگرایی متن‌محور

iii. سنت سینوی در قرن ششم

e. منطق سینوی و مدارس دینی

i. فخر رازی و خونجی

ii. خواجه نصیر و مدارس دینی

iii. منطق و مدارس دینی

f. شکل‌گیری سنت‌های منطقی

2. آموزه‌های منطقی مورد اختلاف

a. موضوع منطق

i. الفاظ، معانی و معقولات

ii. معقولات ثانیه

iii. تصور و تصدیق

b. محتوای رسالۀ منطقی

i. منطق، یک دانش صوری

ii. تصدیق و نظریۀ متن

iii. یک ارگانون دیگر؟

c. موجهات و قیاس‌های مختلط

i. ابن‌سینا

ii. منطق‌دانان پساسینوی

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

http://www.logicmatters.net/2015/12/28/springer-make-many-logic-books-freely-downloadable/

از ایشان بابت ارسال این پیوند سپاس‌گزارم.

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

1 و 2 دی ماه 1394

سه شنبه 1 دی 1394
9-8	ثبت نامه
9:30-9	افتتاحیه
ریاست جلسات صبح: دکتر محمد اردشیر
9:30-10:30	سخنران مدعو	کاوه لاجوردی ویتگنشتاین و قضیه‌ی اولِ ناتمامیت
10:30-11	پذیرایی
11-11:30	ارائه مقاله	علی صادق دقیقی جایگاه خاصیت درخت تعریف پذیر در رده بندی کاردینال های بزرگ
11:30-12	ارائه مقاله	هاشم مروارید تحلیل و نقد منطق پیشنهادیِ کیت فاین برای گفتمان ذاتی
12-14	ناهار و نماز
ریاست جلسات بعدازظهر: دکتر مسعود پورمهدیان
14-15	سخنران مدعو	سعيد صالحي پورمهر منطق و محاسبه: نگاهی ساختارگرایانه بر برهانهای قضیه ناتمامیت گودل
15-15:30	پذیرایی
15:30-16	ارائه مقاله	احمد کریمی یک پارادکس غیر خود ارجاعی در نظریه بازی شناختی
16-16:30	ارائه مقاله	علی بیباک ONNILLI، مطالعه ای در منطق شهودگرایی گزاره ای

چهارشنبه 2 دی 1394
ریاست جلسات صبح: دکتر مجید علیزاده
9:30-10:30	سخنران مدعو	بهرام اسدیان ساختارهای انتزاعی در رياضيات
10:30-11	پذیرایی
11-11:30	ارائه مقاله	سید مجتبی مجتهدی تحویل منطق اثبات پذیری به منطق 1∑_اثبات پذیری
11:30-12	ارائه مقاله	ناربه آبولیان درون یابی یکنواخت برای منطق GD - اثبات نحوی
12-14	ناهار و نماز
ریاست جلسات بعدازظهر: دکتر ضیا موحد
14-14:30	ارائه مقاله	ساجد طیبی تماماً ارجاعي: در دفاع از اهميت معناشناسيك تمايز دانلان
14:30-15	جلسه هم اندیشی اساتید و پژوهشگران
15-15:30	پذیرایی
15:30-16:30	انتخابات هیات مدیره انجمن منطق ایران

هفته گذشته، هدایت علوی تبار دانشيار دانشگاه علامه طباطبايي نوشته اي با عنوان زیر پوست دانشگاه - آسیب شناسی عملکرد اساتید در زمینه ی پایاننامه در سايت نيلوفر منتشر كرده است كه خواندني است و با يك نمونه آن دو روز پيش رو در رو بودم.

با سپاس از دوست ناشناسي كه از طريق ايميل اين صفحه را به اطلاع من رساند.

پی نوشت:

ظاهرا پیوند بالا درست کار نمی کند. برای دیدن مقاله به آدرس زیر بروید:

http://neeloofar.org/critic/124-article/1177-120994-2.html

راهنمای شرکت و ثبت‌نام در سومین سمینار سالانه انجمن منطق ایران

و انتخابات هیئت مدیره انجمن منطق ایران

سومین سمینار سالانه انجمن منطق ایران در روزهای 1 و 2 دیماه 1394 در دانشکده علوم انسانی دانشگاه تربیت مدرس برگزار می‌شود. لذا از همه اساتید، دانشجویان، پژوهشگران و علاقهمندان گرامی دعوت میشود با توجه به مطالب زیر نسبت به ثبت‌نام اقدام نمایند:

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

خواهشمندیم اطلاعات زیر را به آدرس ایمیل ial2015conference@gmail.com تا تاریخ 21/9/94 ارسال فرمایید:

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

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

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

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

ب) خواهشمندیم با پرداخت هزینه ثبت‌نام تا تاریخ ۹۴/۹/۲۱ ما را در برگزاری شایسته همایش یاری کنید.

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

(1) پرداخت به حساب انجمن منطق ایران به شماره حساب 97260370 بانک تجارت و سپس فرستادن تصویر فیش پرداخت به ایمیل ial2015conference@gmail.com

(2) پرداخت کارت به کارت: به کارت شماره 4116-2153-3372-6104 به نام «هومن محمد قربانیان» بانک ملت و سپس فرستادن نام و شماره کارت واریزکننده به ایمیل ial2015conference@gmail.com (لطفاً رسید واریز را تا تائید ثبت‌نام نزد خود نگه‌دارید).

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

انتخابات هیئت مدیره انجمن منطق ایران در بعدازظهر دومین روز سمینار، یعنی در تاریخ 2 دی 1394 ساعت 15:30 در دانشکده علوم انسانی دانشگاه تربیت مدرس برگزار میشود. از همه افرادی که قصد نامزدی یا رای دادن را دارند تقاضا میشود اساسنامه انجمن را که در سایت انجمن موجود است (http://irlogic.org/Statute) به طور دقیق مطالعه نمایند.

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

از دوستانی که مایل نیستند در همایش شرکت کنند اما علاقه‌مند به عضویت در انجمن (یا تمدید عضویتشان) و شرکت در انتخابات هیئت مدیره هستند، خواهش میکنیم تا حق عضویتشان (دانشجویان ۲۰۰۰۰ تومان، سایرین ۵۰۰۰۰ تومان) را تا تاریخ ۱ دی‌ماه ۱۳۹۴ پرداخت نمایند و رسید (یا اطلاعات) آن را به یکی از شیوه‌های فوق برای ما ارسال کنند.

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

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

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

تعبیر اثبات پذیری برای منطق موجهات

دکتر سید مجتبی مجتهدی

دانشکده ی ریاضی، آمار و علوم کامپیوتر، پردیس علوم، دانشگاه تهران

مکان: تهران، خیابان ولیعصر، خیابان نوفل لوشاتو، خیابان آراکلیان، شمارة 4

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

زمان: چهارشنبه، 27 آبان 1394، ساعت 4:30 بعد از ظهر

با همکاري موسسة پژوهشى حكمت و فلسفه ايران

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

www.irlogic.org

شماره جدید منطق‌پژوهی منتشر شد:

دوره 5، شماره 10، زمستان 1393، صفحه 1-200

1 راه‌حلی به پارادوکس معدوم مطلق صفحه 1-30 مهدی اسدی مشاهده مقاله | اصل مقاله (327 K)

2 بررسی قاعدة نقض تالی صفحه 31-53 سید محمدعلی حجتی؛ علی‌رضا دارابی دارابی؛ لطف‌الله نبوی مشاهده مقاله | اصل مقاله (290 K)

3 منطقِ طریقِ اولایی در آیات قرآن صفحه 55-69 محمود زراعت پیشه؛ عاطفه رنجبر دارستانی مشاهده مقاله | اصل مقاله (208 K)

4 منطق ربط نزد شمس‌الدین سمرقندی صفحه 71-103 اسدالله فلاحی مشاهده مقاله | اصل مقاله (416 K)

5 تولید معنا از قراردادهای سمانتیکی طبق مدل شعاعی صفحه 105-123 هومن محمد قربانیان مشاهده مقاله | اصل مقاله (186 K)

6 مسئلة «هست و باید» و پارادوکس پرایور صفحه 125-145 لطف‌الله نبوی؛ زینت آیت‌اللهی؛ محمد سعیدی‌مهر؛ محسن جوادی مشاهده مقاله | اصل مقاله (308 K)

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

نشست نقد و بررسی

کتاب شرح مطالع قطب الدین رازی

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

با حضور

آقای ابوالقاسم رحمانی

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

دکتر اسدالله فلاحی

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

دکتر سید محمود یوسف‌ثانی

مکان: تهران ، خیابان ولی عصر ، خیابان نوفل لوشاتو ، خیابان آراکلیان ، شمارة 4

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

زمان: چهارشنبه، 6 آبان 1394 ، ساعت 4:30 بعد از ظهر

با همکاري موسسة پژوهشى حكمت و فلسفه ايران

نشریه منطق سینوی شماره 53 بهار و تابستان 1394 منتشر شد. دو مقاله منطقی زیر در این شماره به چاپ رسیده است:

1. نظریۀ استنتاج در منطق ابن سینا: آمیزه ای ارسطویی _ رواقی با خطایی بطلمیوسی

مهدی عظیمی مشاهده مقاله | اصل مقاله (7926 K)

2. نقد وبررسی شش دیدگاه درباره شرایط انتاج قیاس استثنائی در منطق سینوی (با تاکید بر شرطی متصل)

سید محمد علی حجتی؛ علیرضا دارابی؛ لطف الله نبوی مشاهده مقاله | اصل مقاله (5751 K)

سمينارهاي گروه فلسفه دانشگاه تربيت مدرس تهران پاييز 94
٤//١٣٩٤/٨/ حسين بيات چه كسي اثبات را كشت؟
دانشگاه آزاد – واحد علوم و تحقيقات تهران
١٣٩٤/٨/١٨/ سيدمحسن اسلامي روا نشناسي عمل از نگاه ارسطو
دانشگاه تربيت مدرس تهران
١٣٩٤/٩/٢/ لطف الله نبوي ارسطو، نقض محمول و ميكروسكوپ فرگه
دانشگاه تربيت مدرس تهران
١٣٩٤/٩/١٦/ علي فلاح رفيع تاملي در باب چيستي فلسفه
دانشگاه تربيت مدرس تهران
١٣٩٤/٩/٣٠/ حسن شيرازي چرخش زباني از نگاه رورتي
دانشگاه تهران شهيد بهشتي

زمان: دوشنبه ها ساعت 10-12
مكان: دانشگاه تربيت مدرس، دانشكده علوم انساني، سالن شهداي گمنام

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

منبع: پیام تسلیت انجمن منطق ایران به آقای دکتر محمد اردشیر

سومين دوره آموزشی کتاب

درآمدی به منطق جدید از ابتدا

توسط سید احمد فقیه (دانش آموخته حوزه و دانشگاه)

مکان: قم، خیابان انقلاب اسلامی،مسجد آیت الله جوادی آملی، مدرس1

زمان: روزهای یکشنبه و سه شنبه؛ ساعت 18-16:30 . شروع از: 14/7/1394

در دومين شماره از اين نشريه مي‌خوانيم:

نقد نظام تعريف مشايي در انديشه سهروردي / محمدعلي اسماعيلي

پريست در برابر منتقدان تناقض‌باوري / مهرناز جم و فرشته نباتي

چگونگي صعود معرفتي در محدوده تصديقات يا قضايا / محمد حسين‌زاده

انديشه‌هاي منطقي کاتبي قزويني و نقش او در گسترش مکتب منطقي سينوي/اکبر فايدئي و کريم علي‌محمدي

بداهت و اكتساب در صورت تفكر/ محمدرضا محمدعليزاده و عسکري سليماني اميري

واكاوي ماهيت منطقی برهان لمّ و انّ / محمدعلي نوري و حسن معلمي

شرح انتقادهاي استفان تولمين به منطق کلاسيک / مليحه يادگاري و علي‌اکبر احمدي افرمجاني

منبع

برگزاری دوره آموزشی کتاب

درآمدی به منطق جدید(منطق محمولات)

توسط سید احمد فقیه(دانش آموخته حوزه و دانشگاه)

مکان: قم، خیابان انقلاب اسلامی،مسجد آیت الله جوادی آملی، مدرس1

زمان: روزهای چهارشنبه؛ ساعت 18-16:30 . شروع از: 6/8/1394

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

کتاب منطق گزاره‌ای

منبع: ایبنا - آشنایی با منطق گزاره‌ای و روش‌های نمادین آن در یک کتاب

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

Model logic as fragment of first- order logic

(منطق موجهات، پاره‌ای از منطق مرتبۀ اول)

دکتر مجید علیزاده

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

در این سخنرانی قضیه معروف فان بن تام (Van Benthem ) که منطق مرتبه اول و منطق وجهی را به هم مربوط می سازد، بحث می شود. به بیان دقیقتر این قضیه بیان می کند یک فرمول مرتبه اول معادل با ترجمه استاندارد یک فرمول وجهی گزاره ای استاگر و تنها اگر تحت دو تشابهی (Bisimulation) پایا باشد. این قضیه یک شناخت از طبیعت منطق وجهی به عنوان بخشی از منطق مرتبه اول بدست می دهد و بنابراین یک روش مهم برای اندازه گیری بیان پذیری منطق وجهی می باشد.

مکان: تهران،خیابانولیعصر،خیاباننوفللوشاتو،خیابانآراکلیان،شمارة4

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

زمان: چهارشنبه،1مهر 1394،ساعت 4:30بعدازظهر

باهمکاريموسسةپژوهشىحكمتوفلسفهايران

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

www.irlogic.org

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

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

اطلاعات کتاب شناختی این اثر چنین است :

Aloys Sprenger, (1854), Dictionary of Technical Terms used in the Sciences of the Mussalmans, containing the Logic of the Arabians, Bengal Military Orphan Press, Calcutta.

در پست پیشین، انتشار کتاب «قسطاس الافکار» شمس الدین سمرقندی را گزارش کردم.

اما امروز متوجه شدم که آلویس اشپرنگر (Aloys Sprenger 1813-1893)، شرق شناس اتریشی، نخستین ناشر کتاب «قسطاس الافکار» سمرقندی و کتاب دیگر او «آداب البحث» است. او این دو کتاب را در سال 1854م. در کلکته هند به نشر رسانده است.

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

آلويس اشپرنگر 3 سپتامبر 1813 در تيرول اتريش به دنيا آمد و در سال1893در گذشت.

از 1832 تا 1836 در وين به تحصيل علم طب و زبانهاي شرقي پرداخت.

در 1836 به انگلستان مسافرت كرد و در 1838 تابعيت دولت بريتانيا را پذيرفت.

در 1841 با 1838 تابعيت دولت بريتانيا را پذيرفت.

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

در 1843 به شركت هند شرقي در هندوستان پيوست.

در 1844 رئيس كالج اسلامي در دهلي و 1848 دبير انجمن آسيايي بنگال بود.

از 1851 تا 1854 رياست مدرسه ي كلكته را به عهده داشت.

در 1854 به عراق، شام، مصر ، مسقط و چند كشور عربي ديگر، مسافرت كرد.

در 1857 از سمت خود درهندوستان، استعفا داد و در بازگشت به اروپا گنجينه ي گرانبهاي نسخ خطي را كه از كشورهاي عربي به دست آورده بود در اختيار كتابخانه ي سلطنتي برلن قرار داد.

از استاد زبانهاي شرقي در دانشگاه برن بود و در 1881 به هايدلبرگ رفت.

در هايدلبرگ مدتي به تدريس پرداخت و سپس تا پايان عمر به تأليف و ترجمه مشغول بود.

اشپرنگر به بيست و پنج زبان آشنايي داشته است.

در هندوستان مجله ي هفتگي اردو زبان را منتشر كرده و مترجم زبان فارسي بوده است.

19 دسامبر در هايدلبرگ در گذشت.

آثار:

1. محمد (ص) و قرآن

2. زندگي و تعاليم محمد (ص)

3. مبادي طب عرب در دوره ي خلافت...(پايان نامه دكتري)

4. مروج الذهب، تأليف مسعودي (ترجمه به انگليسي)

5. اصطلاحات الصوفيه،‌تأليف عبدالرزاق كاشاني (چاپ) ...

6. دو اثر درباره ي كتاب شناسي عربي (تصحيح)

7. گلستان سعدي (چاپ و اعراب گذاري متن فارسي)

8. خردنامه ي اسكندري يا سكندرنامه ي بحري، تأليف نظامي گنجوي (تصحيح با همكاري)

9. فهرستي از نسخ خطي عربي، فارسي و هندوستاني موجود در كتابخانه هاي شاه اوده (گردآوري)

10. كشاف اصطلاحات الفنون و العلوم، تأليف محمد علي تهانوي (چاپ مجدد) (1862)

11. راه هاي مراسلاتي و مسافرتي مشرق زمين

12. جغرافياي باستان عربستان

13. «هند بيروني»

14. «هندبيروني به روايت زاخاو»

15. گزارش تحقيقات در كتابخانه هاي اسلامي لكهنو

16. ترجمه ي بلعمي ازتاريخ طبري

17. تاريخ پيامبران غزالي

18. «نخستين جلد متن اصلي تاريخ طبري»

19. «واژه هاي بيگانه در قرآن»

20. «آيا سعدي شيرازي اشعار ريخته سروده است؟»

21. «شرحي بر برخي از رونوشتهاي اثر عربي با عنوان رسايل اخوان الصفا»

22. «درباره ي منشأ و تحوّل نگارش حقايق تاريخي در ميان مسلمانان»

23. «نكاتي درباره ي چاپ اثر ابن خرداد به توسط باربيه دومنار و درباره ي ماليات زمين در عهد امپراتوري خلفا»

كتابهايي كه توسط اشپرنگر يا با همكاري وي تصحيح و چاپ شده اند:

24. سيرة ‌اليميني، تأليف عتبي. دهلي: 1848

25. ارشاد القاصد الي اسني المقاصد،‌تأليف ابن ساعد انصاري اكفاني.كلكته: 1849

26. فهرست كتب الشيعة و اسماء‌المصنفين، تأليف محمد بن حسن طوسي. كلكته:1853-1855 (تصحيح با همكاري مولاي عبدالحق)

27. آداب السمرقندي، تأليف شمس الدين سمرقندي.كلكته 1854.

28. قسطاس الميزان، تأليف شمس الدين سمرقندي كلكته 1854.

29. الحسبة و الاحتساب، تأليف محمد علي تهانوي. كلكته: 1854

30. معجم المصطلحات العلمية لدي المسلمين. بنگال: 1854 (تصحيح با همكاير محمد علا)

31. الاصابة في تمييز الصحابة‌، تأليف ابن حجر عسقلاني كلكته :1856-1888 بابل:1880

32. الاتقان في علوم القرآن ،تأليف عبدالرحمن سيوطي

33. الاستبصار فيما اختلف من الاخبار، تأليف شيخ طوسي

34. تاريخ الخلفاء، تأليف عبدالرحمن سيوطي

35. تاريخ الغزنويه، تأليف عتبي

36. حدود النحو، تأليف عبدالله فاكهي

37. الرسالة‌الشمسيه، تأليف نجم الدين كاتبي

38. القاموس المحيط، تأليف مجدالدين محمد فيروزآبادي

39. كتاب الرجال، تأليف شيخ طوسي

40. الكشاف في تفسير القرآن ،تأليف ابوالقاسم زمخشري

41. مقامات حريري، تأليف قاسم حريري

42. نخبة الفكر، تأليف ابن حجر عسقلاني

43. نفحة اليمن، تأليف شرواني

44. نوادر قليوبي

درباره اش:

فهرستي از كتابهاي شرقي اشپرنگر

مطالعات عربي در اروپا

«گوشه اي ازتاريخ ظهور اسلام شناسي بورژوآيي اروپاي غربي»

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

DR. ALOYS SPRENGER (1813-1893) - Allama Iqbal

www.allamaiqbal.com/publications/journals/review/apr95/5.htm

‎ Literary Notes: Aloys Sprenger and Delhi College: a part of history ...

www.dawn.com/news/1171434

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

قبلا در پیوند زیر، نسخه پایان نامه دکترای این کتاب را معرفی کرده بودم:

کتاب «قسطاس الافكار» سمرقندي - دوشنبه بیست و سوم دی ۱۳۹۲

پیش از آن هم در دو پیوند زیر درباره سمرقندی سخنانی گفته بودم:

شمس الدین سمرقندی، منطق‌دان ناشناخته - جمعه سوم شهریور ۱۳۹۱

قياس اقتراني شرطي نزد شمس الدين سمرقندي - یکشنبه بیست و یکم خرداد ۱۳۹۱

که این دومی در ادامه تحقیقاتم درباره قیاس اقترانی شرطی در دو پیوند زیر به آنها رسیده بودم:

قياس اقتراني شرطي (متصل لزومي) - بخش دوم - ترديد در شكل سوم - سه شنبه شانزدهم خرداد ۱۳۹۱

قياس اقتراني شرطي (متصل لزومي) - چهارشنبه دهم خرداد ۱۳۹۱

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

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

Kıstâsu'l-Efkâr

Düşüncenin Kıstası

Eseri Adı	Kıstâsu'l-Efkâr
Müellifi	ŞemsüddînEs-Semerkandî
Yayına Hazırlayan	NecmettinPehlivan
Özgün Dili	Arapça
Yazma Nüshası	Atıf Efendi Yazma Eser Kütp. No. 1673, 1674; SüleymaniyeYazma Eser Kütp., Ayasofya, No. 2565
Kategori	Bilimve Felsefe Serisi
Yayın Türü	Çeviri, EleştirmeliMetin
Yayın Yılı	2014
ISBN	978-975-17-3717-5
Ölçüler	576s., 23.5x16.5

Felsefe, kelâm, astronomi ve geometri alanlarında önemli eserler vermiş olanŞemsüddîn Muhammed b. Eşref es-Semerkandî (ö. 722/1322), mantık alanındaki üstünbaşarısınıKıstâsu’l-Efkâr fî Tahkîki’l-Esrâradlı eserinde ortayakoymuştur. Sistematik bir bütünlüğe sahip olan eser, geleneksel tasavvurât )kavramlar) ve tasdîkât (önermeler) ayırımına dayalı genel mantık konularınıiçerecek biçimde yazılmasının yanı sıra bizzat müellifi tarafındansistemleştirilen ve bütünüyle İslâm düşüncesinin en özgün ürünlerinden biri olan “âdâbu’l-bahs ve’l-münâzara” adlı bir tartışma bölümünü de içermektedir. Eser bubölümü ile klasik gelenekteki ilk ve tek örnektir. Eserinde Fârâbî, İbn Sînâ, Fahreddin er-Râzî, Nasîrüddin et- Tûsî, Efdaluddin el-Hûneci, Zeynuddinel-Keşşî, Esîrüddin el-Ebherî, Gazzâlî, ve Ebu’l-Berekât el-Bağdâdî gibiotoritelere başvuran Semerkandî, gerek mütekaddimûn gerekse müteahhirûnunçeşitli kavramsal yaklaşımları karşısında eleştirel bir tutum almaktançekinmemiştir.

Kıstâsu’ l-Efkâr fî Tahkîki’ l-Esrâr’ın yayına hazırlanmasında AtıfEfendi Yazma Eser Kütüphanesi 1673, 1674 ve Süleymaniye Yazma Eser Kütüphanesi, Ayasofya Koleksiyonu 2656 numarada kayıtlı yazma nüshalar esas alınmıştır.

بارکشی نااستادان و معضل مقالات علمی-پژوهشی پرنویسنده

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

Concept Originalism and Belief Reports

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

پژوهشگاه دانشهاي بنیادي

Abstract:

Concept Originalism (CO), recently introduced and defended by Mark Sainsbury and Michael Tye (2011; 2012), Tye (2014), and Sainsbury (2015), holds that “atomic concepts are to be individuated by their historical origins, as opposed to their semantic or epistemic properties” (S&T, 2012, 40). We will try to show that the originalist analysis of belief reports, in its current formulation, does not succeed. More particularly, first, Sainsbury and Tye’s proposal for a sufficient condition for truthful belief reports fails and, second, their recognition of the root of the problem is misguided. After discussing two objections to our argument and rebutting them, we will consider two solutions. None of them, we will argue, saves CO without radically affecting the problem-solving power of the view. We will end by proposing an originalist solution to the problem that has no such drawbacks.

زمان: دوشنبه، 5 مرداد ماه 94 ، ساعت 17 الی 19

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

Rigidity, Scope, and Apparently Empty Names

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

پژوهشگاه دانشهاي بنیادي

Abstract:

The third appendix of Michael Dummett’s The Interpretation of Frege’s Philosophy is devoted to a reply to Kripke’s criticism (in the introduction of Naming and Necessity) of Dummett’s earlier criticism of the theory of direct reference of proper names. The debate has recently been revived for various reasons, including the behavior of apparently empty names in modal contexts. Dummett defends widescopism, according to which the concept of rigidity can be cashed out in terms of Russell’s concept of wide scope. Scott Soames rejects Dummett’s analysis of rigidity in favor of a Millian account. David Sosa argues against Scott Soames. In this talk, I will be reviewing this debate: in particular I will try to provide a clear formulation of the Millian argument against Dummett’s widescopism and argue that the Millian argument against widescopism does not provide a reason against widescopism in favor of Millianism.

زمان: دوشنبه، 12 مرداد ماه 94 ، ساعت 17 الی 19

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

انجمن منطق ایران سومین سمینار سالانه خود را در اواخر آذر ماه1394 در تهران برگزار می کند.

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

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

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

ial2015conference@gmail.com

پایان مهلت ارسال مقالات 24 ام مهر ماه 1394 است.

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

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

تصحیح و تحقیق رسالۀ «الشکّ علی برهان الخلف» از رشید الدین وطواط

اسدالله فلاحی و غلامرضا دادخواه

چکیده

رشید الدین وطواط (د. 578 ق.) رساله‌ای در نقد «برهان خلف» دارد که مقصود اصلی او در این رساله انتقاد از ابن‌سینا است که در کتاب شفا و دیگر کتاب‌هایش، برهان خلف را آزادانه برای اثبات عکس مستوی گزاره‌های موجهاتی به کار می‌برده است. وطواط نشان می‌دهد که برهان خلف تنها می‌تواند درستی نتیجۀ مورد نظر را اثبات کند و از تعیین قوی‌ترین نتیجۀ مطلوب ناتوان است. نقدهای وطواط، از یک سو، پاسخ‌های صریح و قاطع معاصران مانند ابن‌غیلان بلخی و فخر الدین رازی را برانگیخت و از سوی دیگر سرآغاز نقدهایی شد که معاصر جوان‌تر او شهاب الدین سهروردی بعدها بر برهان خلف وارد ساخت. رسالۀ وطواط را پیش از این محمد تقی دانش‌پژوه منتشر کرده بود؛ اما به دلیل خطاهای تصحیح دانش‌پژوه و نیز یافتن نسخۀ تازه‌ای از رساله، به تصحیح و تحقیق آن در این مقاله پرداخته و مقدمۀ تاریخی – محتوایی کوتاهی به آن افزوده‌ایم.

تصحیح و تحقیق رسالۀ «حلّ الشکّ علی برهان الخلف» از افضل الدین ابن‌غیلان بلخی

اسدالله فلاحی و غلامرضا دادخواه

چکیده

افضل الدين عمر بن غيلان بلخی (د. ح. 590ق.)، رساله‌ای دارد در نقد رسالۀ «شکٌّ علی برهان الخلف» اثر رشید الدین وطواط (د. 578 ق.) ابن‌غیلان در این رساله نشان می‌دهد که تشکیک‌های وطواط بر پایۀ ناآگاهی از هدف منطقیون از به کار بردن برهان خلف در استدلال‌های منطقی شکل گرفته است. منطق‌دانان برهان خلف را تنها برای اثبات درستی نتیجۀ مورد نظر به کار می‌برند و نه برای تعیین قوی‌ترین نتیجۀ قابل حصول. از این رو، نقد وطواط بر ناکارآمدی برهان خلف برای تعیین قوی‌ترین نتیجه، نقدی است که از پایه وارد نیست. هر دو رسالۀ «شک» و «حل الشک» را پیش از این محمد تقی دانش‌پژوه منتشر کرده بود؛ و ما در این مقاله رسالۀ ابن‌غیلان را، به دلیل خطاهای دانش‌پژوه در تصحیح آن، از نو تصحیح و تحقیق می‌کنیم و یک مقدمۀ تاریخی – محتوایی به آن می‌افزاییم.

دوست گرامی آقای عامر آمیخته ایمیل زیر رو برام فرستادن تا در دسترس علاقه‌مندها قرار بدم.

با سپاس از لطفشون.

«ما قبلاً یه گروه منطق در وایبر داشتیم اما مشکلات خاص خود رو داشت. بعد از بررسی ای که با دوستان داشتیم به این نتیجه رسیدیم که نرم افزار تلگرام از نرم افزارهای مشابه خیلی بهتره.
اگر به نظر شما مشکلی نداره لطفاً این موضوع رو که در تلگرام گروه منطق داریم رو توی وبلاگتون بزارید تا علاقه مندان به منطق (از دانشجویان گرفته تا اساتید) در صورت تمایل به این گروه ملحق شوند.
هدف اصلی این گروه ارتباط بین علاقه مندان به منطق هستش
در این گروه فعالیت های زیر انجام می شه:
1. اطلاع رسانی سمینارها، کلاس ها و کلاً اخبار مربوط به منطق
2. بحث و گفتگو در مورد منطق (منطق فلسفی، فلسفه منطق، منطق ریاضی و بحث های مرتبط مانند فلسفه تحلیلی یا بعضاً صرفاً فلسفی یا ریاضی) و استفاده از توانایی ها و اطلاعات دیگر افراد
3. گذاشتن مطالب مرتبط با منطق، فلسفه و ریاضی
این گروه فقط برای کسانی است که حداقل دانشجوی منطق(چه فلسفی و چه ریاضی) هستند.

تلگرام برتری های زیادی نسبت به نرم افزارهای ارتباطی مشابه داره. یکیش اینه که به گوشی خاصی نیاز نداره و با هر گوشی(در کامپیوتر) می تونه راه اندازی بشه. در ضمن امنیت بالایی داره.مثلاً شماره تلفن افراد بدون اجازه آن ها در دسترسی دیگران قرار گرفته نمی شه.

هر کسی که می خواد وارد گروه منطق تلگرام ما بشه کافیه لینک زیر رو در تلگرام اجرا کنه(در نرم افزار روی لینک کلیک کنه):
Join group chat on Telegram
مدیر گروه هم خودم هستم.»

مدتی این مثنوی تاخیر شد.

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

دوست گرامی آقای عامر آمیخته، پایان نامۀ ارشدشون با عنوان «منطق خواست» رو لطف کردند در دسترس همگانی قرار دادند. فایل این پایان نامه رو از Download Want Logic.pdf می‌شه دانلود کرد.

با سپاس از لطف ایشون

خانۀ کتاب، در بهمن ماه 93 به اهتمام علی اوجبی، مجموعه ای از مقالات در باب احوال و آثار و آرای سهروردی منتشر کرد به عنوان «سهروردی پژوهی» که بخش سوم آن به «منطق اشراقی» اختصاص یافته است با پنج مقاله زیر:

1) «جایگاه سهروردی در منطق ارسطویی»، نوشتۀ علی بوقلیع، ترجمۀ علی اوجبی

2) «قیاسهای موجه سهروردی»، نوشتۀ ضیاء موحد، ترجمۀ مهدی عظیمی

3) «قیاسهای موجه در منطق سهروردی»، نوشتۀ تونی استریت، ترجمۀ مهدی عظیمی

4) «مواد قضایا از نظر سهروردی»، نوشتۀ سید محمود یوسف ثانی

5) «قضیۀ بتیه»، نوشتۀ سید عبدالله انوار

منبع: کتاب «سهروردی پژوهی» در بازار نشر - خبرگزاری مهر

با سپاس از دوست گرامی آقای دکتر مهدی عظیمی بابت ارسال این خبر

سخنرانی دکتر علیرضا مفیدی

مدل‌ها، تعریف‌پذیری و پایداری

دانشگاه امیر کبیر، دانشکده ریاضی، طبقۀ سوم، اتاق کنفرانس

سه‌شنبه 15/2/94 ساعت 16-18

فردا دوشنبه 14/2/94 در گروه فلسفۀ دانشگاه تربیت مدرس ساعت 10 صبح سخنرانی دارم با عنوان «برداشتی نو از قضایای حقیقیه».

برداشتی نو از قضایای حقیقیه

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

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

دوشنبه 14/2/94 ساعت 10-12

چکیده:

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

یوکو فانانن (Jouko Väänänen) منطق‌دان ریاضی فنلاندی، در سال 2011 دو سخنرانی دربارۀ نظریۀ مدل برای منطق مرتبۀ دوم داشته است که بسیار آموزاننده است. پی دی اف این دو سخنرانی را از پیوندهای زیر می‌توانید دانلود کنید:

Model theory of second order logic - Lecture 1

Model Theory of Second Order Logic - Lecture 2

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

روز گذشته 8/9/94 در دانشگاه علامه طباطبایی، کارگاهی نیم‌روزه دربارۀ برخی منطق‌های فلسفی ارائه کردم. تلاشم بیشتر بر این بود که منطق‌هایی را معرفی کنم که دکتر نبوی در کتاب خوبشان «مبانی منطق فلسفی» نیاورده‌اند. بیشتر از همه به معرفی منطق مرتبۀ دوم پرداختم و کمی هم به منطق‌های چندارزشی لوکاشه‌ویچ و نیز به انگیزه‌های پرداختن به منطق‌های شرطی.

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

برگزاری دوره آموزشی کتاب

درآمدی به منطق جدید

توسط دوست گرامی، آقای

سید احمد فقیه

(دانش آموخته حوزه و دانشگاه)

مکان: قم، خیابان آیت الله مرعشی نجفی (ره)، انتهای کوچه 8،

مدرسه علمیه سعادت (مدرسه آیت الله جوادی آملی)، مدرس3

زمان: روزهای دوشنبه و چهارشنبه؛ ساعت 18-16 . شروع از: 7/2/1394

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

ابوالقاسم رحمانی این کتاب را با اشراف محمد حسین نائیجی و با تصحیح و تعلیق در سه جلد منتشر کرده و مقدمه‌ای 450 صفحه‌ای شامل 8 باب و 40 فصل برای آن به نگارش درآورده است.

جلد نخست این کتاب، مقدمۀ یاد شده (450 صفحه) به همراه مباحث تصورات (در 370 صفحه) است. جلد دوم در مباحث قضیه (در 674 صفحه) و جلد سوم در مباحث قیاس و توابع قیاس (در 570 صفحه) است.

قیمت سه جلد کتاب 115 هزار تومان تعیین شده است.

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

تصحیح تازه‌ای از «شرح مطالع» قطب رازي - چهارشنبه سوم دی ۱۳۹۳
انتشار «شرح المطالع» قطب رازي - چهارشنبه بیستم اردیبهشت ۱۳۹۱

اطلاعات کتاب‌شناختی این دو تصحیح چنین است:

- شرح المطالع محمدبن‌محمد قطب‌الدين‌رازي ؛ شارح:سيدشريف جرجاني ؛ شارح:اسامه ساعدي - ذوي ‌القربي - 408 صفحه - جلد 1 - وزيري (سلفون) - چاپ 1 سال 1390 - 2000

کتاب شرح المطالع با تصحیح، تحقیق و مقدمه دکتر علی‌اصغر جعفری ولنی از اعضای هیئت علمی دانشگاه شهید مطهری، در آذرماه 1393 توسط انتشارات دانشگاه تهران

سمینار گروه فلسفه دانشگاه تربیت مدرس در تاریخ دوشنبه 31/1/94 به شرح زیر برگزار خواهد شد:

عنوان: ماینونگی های خجالتی

سخنران: محمدصالح زارع پور

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

زمان: ساعت 10 - 12

سخنرانی‌های ماهانۀ انجمن منطق این ماه با ارائۀ دکتر داود حسینی در مؤسسۀ پژوهشی حکمت و فلسفه در تاریخ 26 فروردین 94 ساعت 4.30 برگزار می‌شود.

سمنتیکس رواداری بر پایه نظریه مدل؛ نقدی بر دو نظریه متاخر

دکتر داود حسینی

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

چکیده: نظریه‌های غالب در باب ابهام استدلال می‌کنند که اصول رواداری – نظیر این‌که "هر کس قدش از شخص قدبلندی یک سانتی‌متر کوتاه‌تر باشد قدبلند است" – سازگار نیستند، چون مولد پارادوکس خرمن اند. در پاسخ، دو نظریه زادینی (2008)و ون‌روژ (2010) با این هدف طراحی شده‌اند که نشان دهند چگونه می‌توان رواداری را از پارادوکس رهاند. استدلال خواهد شد که هیچ‌کدام از این دو نظریه موفق نیستند.چراکه هر دو از سمنتیکس بر پایه نظریه مدل بهره می‌برند و در هر سمنیکس این‌گونه‌ای محمول‌ها مرز دقیق دارند و این یعنی اصل رواداری مربوط درست نیست. به عبارتی معنایی که این نظریه‌ها به رواداری نسبت می‌دهند همان معنای شهودی رواداری نیست.نتیجه این خواهد بود که برای رهانیدن رواداری از ناسازگاری، گسست بیشتری از سمنتیکس کلاسیک لازم است. بحث را با برخی ملاحظات کلی در باب این‌که نظریه معنای رواداری چه شرایطی باید داشته باشد به پایان خواهیم رساند.

Model-theoretic semantics for tolerance; a critical review of two recent theories

Abstract: Dominant theories of vagueness argue against the consistency of tolerance principles – such as“anyone who is 1cm shorter than a tall man is tall, too” – on the basis that these principles generate sorites paradoxes. In reaction, there are two recent comprehensive works on how to save tolerance from paradox: Zardini (2008) and van Rooij (2010). We argue that neither theory succeeds. Both theories are based on model-theoretic semantics and in all model-theoretic semantics there exists a sharp boundary for predicates which entails that the relevant tolerance principles are not true. That is, the meaning assigned to tolerance in neither theory is the same as the intuitive intended meaning of tolerance. We conclude that in order to save tolerance from paradox a more radical deviation from classical semantics is required. We close the session with some general considerations about the nature of a meaning theory of tolerance.

کتاب «ماهیت منطق و منطق ماهیت» در شرح دو نهج نخست از کتاب منطق اشارات ابن‌سینا به قلم دکتر مهدی عظیمی از سوی انتشارات حکمت اسلامی وابسته به مجمع عالی حکمت اسلامی منتشر شد.

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

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

منبع:

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

در ادامۀ سلسه سخنراني هاي انجمن منطق ايران، سخنراني دكتر شفيعي با عنوان Randomness اين ماه در محل مؤسسۀ حكمت و فلسفه برگزار مي‌شود.

Randomness
دكتر احمد شفيعي ده آباد
دانشكده علوم رياضي دانشگاه تهران

قانون بر جهان حاكم است يا تصادف؟ در اين جا پس از ذكر مقدمات لازم Randomness به صورتهاي متفاوت ولي هم ارز با استفاده از 1- پيچيدگي كولموگورف 2- تست مارتين – لوف 3- تئوري مارتينگلها و فرآيندهاي مارتينگلي تعريف مي شود و پس از ذكر بعضي از ويژگيهاي آن نكاتي در مورد تلاشهاي رياضيدانان و متخصصان علوم كامپيوتر در جهت پاسخگوئي به سؤال مذكور بيان مي گردد.

مكان: تهران ، خيابان ولي عصر ، خيابان نوفل لوشاتو ، خيابان آراكليان ، شمارة 4، موسسة پژوهشى حكمت و فلسفه ايران
زمان :چهارشنبه، 30 بهمن 1392 ، ساعت 4 بعد از ظهر

اصطلاحات علم منطق ساده شدند

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

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

کتاب فرهنگ‌نامه منطق به قلم نرگس نیمروزی با شمارگان 700 نسخه، در 992 صفحه و به بهای 410 هزار ریال برای نخستین بار از سوی انتشارات بوستان کتاب منتشر شده است.

منبع:

خبرگزاری کتاب ايران (IBNA) - اصطلاحات علم منطق ساده شدند 3 بهمن 1392 ساعت 10:00

با سپاس از آقای علیرضا دارابی بابت معرفی کتاب

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

21/11/1392 شرایط انتاج قیاس شرطی علی‌رضا دارابی تربیت مدرس

5/12/1392 تاریخچه اصل ترکیب بهاءالدین موحد ابطحی تربیت مدرس

19/12/1392 معنای طبیعت در فلسفه ملاصدرا سیدمحمد کلانتریان تربیت مدرس

25/1/1393 تاملی در ادله ضرورت علی محمدسعیدی‌مهر تربیت مدرس

8/2/1393 نحوه پیدایی و تطور مفهوم معقول ثانی فلسفی رضا اکبری دانشگاه امام صادق (ع)

22/2/1393 دلالت مستقیم و گرایش‌های گزاره‌ای سیدمحمدعلی حجتی تربیت مدرس

5/3/1393 بیز و قاعده بیزگرایان، نگاهی تاریخی امیراحسان کرباسی‌زاده موسسه حکمت و فلسفه

زمان: دوشنبه‌ها ساعت 13 تا 15

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

مرکز پژوهشي دائرة المعارف علوم عقلي اسلامي، وابسته به مؤسسه آموزشي و پژوهشي امام خميني ره با راه‌اندازي دوفصلنامه معارف منطقي آماده دريافت مقالات انديشمندان حوزوي و دانشگاهي سراسر کشور در زمينه منطق قديم، منطق جديد، منطق ربط، منطق موجهات، منطق‌هاي چندارزشي و ... مي‌باشد.

تلفن تماس:02532808907 همراه: 09193499713

ایمیل: markaze daeratolmaaref maaref@qabas.net

کتاب «قسطاس الافكار في تحقيق الاسرار» از شمس الدين سمرقندي (قرن هفتم و هشتم) با تحقيق دكتر نجم الدين پهلوان در دانشگاه آنكارا به عنوان رساله دكتراي ايشان در سال ۲۰۱۰ ميلادي دفاع شده و در سايت دانشگاه آنكارا قرار داده شده است. فايل اين كتاب را به صورت مستقيم از آدرس زير مي‌توانيد دانلود كنيد:

ÚISÙÁSU'L ÚISÙÁSU'L-EFKÁR fí TAÓÚÍ EFKÁR fí TAÓÚÍ EFKÁR

اين كتاب يكي از مهم‌ترين كتاب‌هاي منطقي در جهان اسلام است كه به بسط انديشه‌هاي افضل الدين خونجي (۵۹۰-۶۴۶ ق.) مي‌پردازد و از اين جهت اهميت بسيار دارد. در اين وبلاگ، قبلا در دو پست شمس الدین سمرقندی، منطق‌دان ناشناخته و قياس اقتراني شرطي نزد شمس الدين سمرقندي درباره اهميت كارهاي او نكاتي گفته بودم.

رسالۀ نجم الدين پهلوان ۹۱۹ صفحه است و از سه بخش تشكيل شده است: متن عربي كتاب قسطاس (صص ۲۷-۲۹۲)، ترجمه به زبان تركي (صص ۲۹۳-۶۰۰) و تجزيه و تحليل فني و محتوايي كتاب به زبان تركي (۶۰۱-۹۱۸) و يك صفحه چكيده انگليسي در پايان. متاسفانه بخش سوم اين رساله براي فارسي زبان‌ها قابل استفاده نيست.

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

سمرقندي خود شرحي بر اين كتاب دارد كه بخش قضاياي آن را دانشجويي در دانشگاه شهيد مطهري به عنوان رسالۀ كارشناسي ارشد در دست تصحيح و تحقيق دارد. بخش تصورات و بخش قياس اين شرح نيز نيازمند تحقيق و تصحيح است كه اميدوارم كساني آن را برعهده بگيرند.

با سپاس از آقاي دكتر سيد حسين موسويان كه نسخه‌اي از فايل كتاب را در اختيار بنده گذاشتند.

انجمن منطق ایران برگزار میکند
تابع فرگه : هویتی بدون اینهمانی
دکتر ابوتراب یغمایی
پژوهشکده مطالعات بنیادین علم و فناوري
دانشگاه شهید بهشتی
مکان: تهران ، خیابان ولی عصر ، خیابان نوفل لوشاتو ، خیابان آراکلیان ، شمارة 4
موسسۀ پژوهشى حکمت و فلسفه ایران
زمان :چهارشنبه، 25 دي 1392 ، ساعت 5 بعد از ظهر

منطق‌پژوهي شماره 7 تابستان 1392 منتشر شد. عناوين مقالات به شرح زير است:

1

نقدی بر مقالة «پارادوکس اخبار از مجهول مطلق: تحلیل مفهوم «خبر»»

مهدی اسدی مشاهده مقاله | اصل مقاله (421 K)

2

هنجاری‌بودن معنا

سید محمدعلی حجتی؛ هومن محمد قربانیان؛ لطف‌الله نبوی؛ ارسلان گلفام

· مشاهده مقاله | اصل مقاله (194 K)

3

«مفهوم‌نمایی» محالات ذاتی

بهزاد حمیدیه مشاهده مقاله | اصل مقاله (290 K)

4

برهان وجودی آنسلم و مسئلة مقایسه با خود

حامد قدیری؛ داود حسینی مشاهده مقاله | اصل مقاله (288 K)

5

مفاهیم موجهه از نظر دئودوروس، فیلون، و خروسیپوس

فرشته نباتی مشاهده مقاله | اصل مقاله (305 K)

6

تحلیل نادرست کواین از ذات‌گرایی ارسطویی

عطاءاله هاشمی مشاهده مقاله | اصل مقاله (302 K)

همایش دو روزه منطق ریاضی و کاربردهای آن دیروز و امروز 27 و 28 آذر 90 در دانشگاه شهید بهشتی به همت اساتید محترم دکتر مجتبی منیری و دکتر پورمهدیان برگزار شد. سخنرانی های استاد علی عنایت و استاد یو یانگ به زبان انگلیسی و بقیه به زبان فارسی بود. سخنرانی آقای احمد کریمی هم به علت عدم حضور ایشان برگزار نشد. استقبال نسبتا خوب (60 الی 70 نفری) استادان و دانشجویان از این همایش و تعداد بالای مقالات ارائه شده نشان از پیشرفت منطق ریاضی در کشورمان دارد.

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

A second Pretabular Classical Relevant Logic

منطق‌آموزي، منطق‌پژوهي و منطق‌انديشي

دومين شماره از دوفصلنامه علمي تخصصي معارف منطقي منتشر شد.

نوشته‌های پیشین

آرشیو موضوعی

نویسندگان

پیوندها