انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica

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

Call for papers——————-Dear colleagues and researchers! "The inteational joual of computer and information technology" (IJOCIT), is an open access refereed and peer reviewed joual with a primary انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica...ادامه مطلب

انجمن منطق ایران برگزار می‌­کند: دکتر سیاوش  شهشهانی دانشگاه صنعتی شریف  افسانه گرایی و استعارهدر فلسفه ریاضی مکان:   تهران ، پل گیشا، دانشگاه تربیت مدرس، دانشکده علوم انسانی،  سالن علامه جعفری (طبقه سوم) زمان: چهارشنبه، 27 اردیبهشت 1396 ساعت 4 بعد از ظهر  برای آگاهی از برنامه های انجمن منطق ایران به وب سایت     مراجعه فرمایید. انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica...ادامه مطلب

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

نظر به تعطیلی مربوط به ایام رحلت رسول اکرم صلی الله علیه و آله و سلّم، چهارمین همایش دانشجویی فلسفه با یک هفته تأخیر، چهارشنبه ۱ آذر ۹۶، برگزار خواهد شد. 

 بدین ترتیب، مهلت ارسال مقاله نیز تا ۷ آبان ادامه دارد و تاریخ اعلام نتایج ۲۲ آبان خواهد بود.

انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica...

به اطلاع اساتید،‌دانشجویان، پژوهشگران و علاقه‌مندان منطق می‌رساند که پنجمین همایش سالانۀ انجمن منطق ایران در روزهای 21-23 آذر در چهار نوبت (عصر روز سه‌شنبه 21، صبح و عصر روز چهارشنبه 22 و صبح روز پنج‌شنبه 23 آذر) در  دانشگاه صنعتی امیرکبیر برگزار می‌شود. از همه اساتید، دانشجویان، پژوهشگران و علاقه­مندان گرامی دعوت می­شود با توجه به مطالب زیر نسبت به ثبت‌نام اقدام نمایند: راهنمای ثبت‌نام در سمینارخواهشمندیم اطلاعات زیر را به آدرس ایمیل [email protected] تا تاریخ 18/9/96 ارسال فرمایید: 1)   نام و نام خانوادگی 2)   دانشگاه محل فعالیت و مقطع تحصیلی 3)   رسید یا اطلاعات پرداخت هزینه ثبت ­نام (50000 تومان) الف) مبلغ فوق جهت تأمین هزینه‌های پذیرایی و نیز نهار روز دوم و سوم همایش و تمدید حق عضویت اعضاء به مدت یک سال است. ب) خواهشمندیم با پرداخت هزینه ثبت‌نام تا تاریخ 18/9/96 ما را در برگزاری شایسته همایش یاری کنید. ج) برای پرداخت هزینه ثبت‌نام و ارسال رسید (یا اطلاعات) آن، لطفاً از طریق پرداخت کارت به کارت به شیوۀ زیر اقدام فرمائید: واریز به کارت شماره 0764-4742-8310-5859 به نام «اسدالله فلاحی» بانک تجارت و سپس فرستادن نام و شماره کارت واریزکننده به ایمیل [email protected] (لطفاً رسید واریز را تا تائید ثبت‌نام نزد خود نگه‌دارید). لطفاً برای آگاهی از اطلاعات جدید انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica...ادامه مطلب

 در هفته آینده یک دوره درسی کوتاه مدت توسط دکتر 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 tus 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 با سپاس از دکتر محمد گلشنی از پژوهشگاه دانش‌های بنیادی که اطلاع رسانی کردند. انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica...ادامه مطلب

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

ازین به بعد مطالب وبلاگ را در sahmir.logiccirle.ir دنبال کنید.

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

انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica...

The sixteen binary logical connectives: tautologies and truth values. The sixteen logical connectives ordered in a Hasse diagram. They are represented by: logical formulas the 16 elements of V4 = P^4({}) Venn diagrams The nodes are connected like the vertices of a 4 dimensional cube. The light blue انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica...ادامه مطلب