Dear member of Iranian national logic forum,

As the representative of the administrative board at Iranian Association for Logic, I would like to thank you for your presence in this group. Hope this unique academic community will be so rapidly thriving with the help of researchers like you and will be the origin of many good events in the Iranian logic society.

Fortunately thanks to the efforts of our colleagues in several universities and institutes around the country, the group is becoming so popular among the graduate students and professors of different research backgrounds. This fact made us to upgrade our Telegram "group" to a "super group" much sooner than what was expected, in order to make it a more comfortable place for our members.

Unfortunately due to the recent upgrading the old invitation link (that most of you joined the group via it) is expired and no longer could be used for bringing people here. Now everybody should use the following new invitation link which is the permanent address of IAL group too. You also can find it on the group info page.

https://telegram.me/joinchat/CHCYWj-iwl9AjSGUDR9L3w

We sincerely ask you to help us with sharing the above link with the community of your friends and colleagues who might be interested in following the news of Iranian logic society and those who do research in any sub-field of logic and its applications.

Again please note that the older link that is under circulation now is no longer valid. So you may need to resend the above new link to those with whom you shared the older invitation link so far.

We thank you in advance for helping Iranian Association for Logic stay in touch with all of its members in Iran and aboard.

Best Regards
Ali Sadegh Daghighi
Moderator at IAL Group
Amirkabir University of Technology

💢معرفي كتاب : كمدي منطق
✅ويژه علاقه مندان به رياضي و منطق
@qomat

💢💢«کمدی منطق»، کتابی است خواندنی و جذاب درباره مبانی ریاضیات که همراه با ظاهر گرافیکی بسیار شکیل و به صورت داستان مصور (کُمیک استریپ) منتشر شده است.

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

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

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

✅ اما شاید اصلی‌ترین ویژگی کتاب کمدی منطق این باشد که به صورت داستان مصور (کُمیک استریپ) منتشر شده و به همین دلیل می‌تواند جذابیت بالا و محبوبیت خاصی نیز داشته باشد.

✅ داستان مصور یا کُمیک‌استریپ مجموعه‌ای از نقاشی‌های دنباله‌دار است که ماجرایی را روایت می‌کند و همانطور که از نام کُمیک بر می‌آید، محتوای آن اساساً مطلب خنده‌دار است. اولین کمیک‌استریپ‌هایی که در دهه ۱۹۳۰ پا به‌عرصه وجود گذاشتند، شامل ماجراهای خنده‌دار و ماجراجویانه قهرمانانی چون باک راجرز، تارزان و ماجراهای تن تن بود. البته قرار گرفتن نام کمیک مربوط به تاریخچه آن است. اکنون با وجود تغییرات عمده‌ای که در نوع طراحی، موضوع، کمپزسیون، انتخاب زاویه دید و دیگر المان‌های کمیک به وجود آمده و این هنر روایت‌گر را بسیار متفاوت از گذشته خود کرده، هنوز نام کمیک روی آن باقی‌مانده است. درحالی که مایه طنز تنها در شاخه خاصی از این هنر به کار گرفته می‌شود.

✅ «برتراند راسل» قهرمان اصلی کمدی منطق، یکی از بزرگ‌ترین و محبوب‌ترین فلاسفه معاصر و از شاخص‌ترین جستجوگران یقین مطلق بوده و یکی از مشهورترین پایه‌گذاران مبانی منطق و ریاضیات است.
@qomat

فراخوانی

درود به همگی.
یکی از دغدغه ها و اهداف من(عامر آمیخته) پس از گسترش منطق جدید بالخص منطق فلسفی در ایران عزیزمون، رسیدن به تعاملات و انجام کارهای علمی گروهی بین افرادی است که در رشته منطق فعالیت می کنند. چرا که همونطور که می دانید همه چیز را همگان دانند و قدرت در جمع و «خرد جمعی» است؛ نه در انزوا و «خرد فردی». با این مقدمه:
من و دوست عزیزم آقای «کرامت ورزدار»(دانشجوی دکتری فلسفه-کلام دانشگاه تهران، ورودی ۹۴) تصمیم گرفتیم کلاسی آزاد با عنوان «منطق جدید و اثبات وجود خدا» در گروه «حلقه منطق» با کمک انجمن علمی فلسفه دانشگاه تهران در دانشکده الهیات در پاییز ۹۵ و پس از آن، برگزار کنیم.
بخش های منطقی این کلاس رو من میگم و بخش های فلسفی و کلامی اون رو آقای ورزدار. منبع اصلی ما هم کتاب «Logic and Theism» سوبل(۲۰۰۴) هستش.
عزیزانی که تمایل دارند در این طرح به عنوان مدرس یا کمک کننده برای جمع آوری مطالب کلاس شرکت کنند یا پیشنهاد خاصی دارند، لطفاً در همین روزها به من(با آیدی @amer_amikhteh) اطلاع دهند تا برنامه ریزی های لازم انجام شود.
صمیمانه از همکاریتون متشکرم.

دعوت به همکاری:

در جهت گسترش منطق و در کنار اون درآمدزایی من(عامر آمیخته) در سایت به تازگی راه اندازی شده خود ینی «حلقه منطق» به آدرس logiccircle.ir یکی از کارهایی که قصد انجامش رو دارم گذاشتن فایل های آموزشی در زمینه منطق برای فروش هستش البته فایل های رایگان نیز گذاشته می شود. از جزوات آموزشی و صوت کلاس ها بگیر تا فایل های ویدئویی.
از اساتید منطق و منطق پژوهان عزیز دعوت می کنم در صورت تمایل اگر فایل آموزشی ای تهیه کردند یا خواهند کرد به من(با آیدی @amer_amikhteh) اطلاع دهند و قیمت پیشنهادی خود را بدهند و هماهنگی های لازم انجام شود تا فایل آموزشیشون برای فروش گذاشته شود. ترجیحاً نیز قیمت ها طوری باشد که برای عموم امکان خرید آن وجود داشته باشد.

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

اما سیاست کاری:
سیاست کاری این است که مقدار درآمدزایی از یک خریدار کم ولی تعداد آن بالا باشد. ینی مبلغ فروش طوری باشد که تعداد بیشتری از عزیزان تمایل و توان به خرید آن پیدا کنند. و البته وقتی قیمت پایین باشد میل به نقض قانون کپی رایت نیز کمتر می شود. مثلاً به جای اینکه 100هزار تومان از 10 نفر درآمدزایی شود از 50 نفر درآمد زایی می شود. این کار هم تبعات مثبت در بحث های مالی دارد و هم تبعات مثبت در زمینه گسترش منطق.

تذکر: فایل های رایگان نیز گذاشته خواهد شد و شده است.

اما اهمیت گسترش فایل های آموزشی:
مهمترین فایل های آموزشی ای که ما نیاز داریم فایل های ویدئویی هستش. ازونجا که ما در مقطع کارشناسی ارشد فقط 3 دانشگاه(تربیت مدرس، علامه و اصفهان) رو داریم که در اون منطق گرایش فلسفه تدریس می شه ما در استان های به جز تهران و اصفهان عموماً با کمبود مدرس آکادمیک منطق مواجه هستیم. و غالب اساتید منطق زیرگروه فلسفه در تهران و سپس در اصفهان هستند و در استان های دیگر تعداد بسیار کمتری رو داریم. این محدودیت در مورد منطق زیرگروه ریاضی نیز مشابهاً وجود داره. هرچند به نظر می رسه وضع کمی بهتر باشد.
بنابراین کسانی که در استان هایی هستند که اساتید منطقی که کار جدی کردند و به طور تخصصی منطق کار می کنند ندارند یا به شدت نادر هستند و توانایی سفر مخصوصاً به تهران رو هم ندارن، می تونن به جای حضور در کلاس ها به طور فیزیکی از روش آموزش از راه دور استفاده کنند. بهترین نوع اون هم فایل های ویدئویی هستش. که معرفت بخشی بیشتری رو می تونه انتقال بده و البته ساده تر هستش در فهم مطالب.

@IRLogic
@LogicCircle

💢💢كتاب آشنايي با منطق رياضي
@qomat

💢💢كتاب آشنايي با منطق رياضي

✅ اين كتاب برخورد رياضي با افكار و قضيه هاي اساسي منطق را عرضه مي دارد، و به عنوان كتاب درسي براي يك درس رياضي مقدماتي منطق در سطح سال سوم يا چهارم تدوين شده است. هدف آن ارائه مفاهيم و قضاياي منطق و توضيح اهميت آنها و رابطه ي آنها با بقيه ي پژوهش هاي رياضي است.

✅ به عنوان كتاب درسي اين كتاب را مي توان براي يك درس سه ماهه تا يك ساله به كاربرد.

✅ اين كتاب براي خواننده اي تدوين شده است كه قبلا منطق نخوانده است اما تجربيات چندي در استدلال رياضي دارد. جزء اشتياق براي كار در سطح معيني از دقت پيشنياز خاص ديگري لازم نيست .
@qomat

برنامه سخنرانی های کارگاه آموزشی «منطق موجهات و کاربرد آن در علوم رایانه» که از روز شنبه 27 شهریور در دانشگاه تهران برگزار می شود
http://yon.ir/537c
@philosophynews

شماره نخست نشریه الکترونیکی «کارنامه اندیشه»

نمودار وِن ادات‌های منطقی تابع ارزشی

The Developments of Logical Connectives Symboles from Frege to now
Denis Roegel (2002), Petit panorama des notations logiques du 20e siècle (see chart on page 2)

http://link.springer.com/journal/11225/104/5?wt_mc=alerts.TOCjournals
Studia Logica, Vol. 104, Issue 5 (October 2016):
List of Articles👇👇👇👇👇

"Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices"
Antoni Torrens
—------------------------------
"Adaptive Logic Characterizations of Input/Output Logic"
Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte
—------------------------------
"Gentzenization of Trilattice Logics"
Mitio Takano
—------------------------------
"A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute"
Aldo Figallo Orellano
—------------------------------
"Intuitionistic Games: Determinacy, Completeness, and Normalization"
Paweł Urzyczyn
—------------------------------
"Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics"
Francesca Poggiolesi
—------------------------------
"Bi-Simulating in Bi-Intuitionistic Logic"
Guillermo Badia
—------------------------------
"The Lambek Calculus Extended with Intuitionistic Propositional Logic"
Michael Kaminski & Nissim Francez
—------------------------------

New Springer Book in Logic: (2016)
"Cultures of Mathematics and Logic"
Book Series: Trends in the History of Science
Editor/s: Ju, Shier; Löwe, Benedikt; Müller, Thomas; Xie, Yun

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.
http://www.springer.com/gp/book/9783319315003?wt_mc=Alerts.NBA.Aug-16_EAST_24325987#otherversion=9783319315027