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

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

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


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

پایان مهلت ارسال مقالات 30 ام مهر ماه 1395 است.
با سپاس پیشاپیش
هیأت مدیره انجمن منطق ایران

آموزش منطق
در این کانال صرفاً مطالب آموزشی در زمینه منطق گذاشته می شود
https://telegram.me/LogicTraining

کتابی جدید از انتشارات اشپرینگر در زمینه «منطق فراسازگار» 👇👇👇
Paraconsistent Logic: Consistency, Contradiction and Negation
Authors: Carnielli, Walter, Coniglio, Marcelo Esteban
1th Edition , 2016
398 P.
ISBN: 978-3-319-33205-5
Link: http://www.springer.com/gp/book/9783319332031?wt_mc=Alerts.NBA.Jun-16_EAST_23592812#otherversion=9783319332055

فهرست مطالب این کتاب
(Paraconsistent Logic: Consistency, Contradiction and Negation)
👇👇👇👇👇

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

فراخوان مقاله
چهارمین سمینار سالانه انجمن منطق ایران
(اطلاعیه دوم)

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

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


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

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

پایان مهلت ارسال مقالات 30 ام مهر ماه 1395 است.
هیأت مدیره انجمن منطق ایران

شش کتاب جدید از اشپرینگر در زمینه منطق:

I. Dependence Logic
Editor/s: Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert

II. Uncertainty
Briggs, William

III. Model-Based Reasoning in Science and Technology
Book Series: Studies in Applied Philosophy, Epistemology and Rational Ethics, Vol. 27
Editor/s: Magnani, Lorenzo; Casadio, Claudia

IV. Objectivity, Realism, and Proof
Book Series: Boston Studies in the Philosophy and History of Science, Vol. 318
Editor/s: Boccuni, Francesca; Sereni, Andrea

V. Rethinking German Idealism
Editor/s: McGrath, S.J. ; Carew, Joseph

VI. Towards Paraconsistent Engineering
Book Series: Intelligent Systems Reference Library, Vol. 110
Editor/s: Akama, Seiki
👇👇👇👇👇👇

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) اطلاع دهند تا برنامه ریزی های لازم انجام شود.
صمیمانه از همکاریتون متشکرم.