👆👆👆👆👆لینک دو کتاب فوق:
Epistemology, Knowledge and the Impact of Interaction:
http://www.springer.com/gp/book/9783319265049?wt_mc=Alerts.NBA.Apr-16_EAST_22972752#otherversion=9783319265063
—------------------------------------—
J. Michael Dunn on Information Based Logics:
http://www.springer.com/gp/book/9783319292984?wt_mc=Alerts.NBA.Apr-16_EAST_22972752#otherversion=9783319293004

چند کتاب در زمینه تاریخ منطق آپلود کردم که می توانید به ترتیبی که نامشان آمده، آنها را دانلود نمایید. لازم به ذکر است فرمت کتاب اولی و سومی DJVU می باشد..
I. Kneale, W.; Kneale, M. (1962, The Development of Logic
II. by Dov M. Gabbay (Editor), John Woods (Editor, The Rise of Modern Logic: from Leibniz to Frege, Volume 3 (Handbook of the History of Logic) 1st Edition
III.Nuchelmans, G. (1996), Studies on the History of Logic and Semantics, 12th-17th centuries
👇👇👇👇👇

لطفاً کسانی که جزع یکی از چهار گروه زیر هستند در صورت تمایل به من(=عامر آمیخته) در همین تلگرام(@Amer_Amikhteh) پیام بدن تا برای امکان ارسال پیام در کانال به عنوان مدیر به مدیران کانال اضافه شوند:

1. کسانی که در رشته منطق(زیر گروه فلسفه، ریاضی یا کامپیوتر) تحصیل کرده اند. از دانشجویان تا اساتید.
2. کسانی که در رشته های فلسفه یا ریاضی تحصیل کرده اند و حداقل دانشجوی دکتری هستند.
3. دانشجویان کارشناسی ارشد رشته های فلسفه و ریاضی ترم 3 به بالا در صورت تایید مدیر اصلی کانال
4. کسانی که حداقل دارای مدرک تحصیلی دکتری هستند. در تمامی رشته ها.

با تشکر.

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

کارگاه اول از «سلسله کارگاه‌های منطق جدید» توسط موسسه راز برگزار خواهد شد. در این کارگاه، حمید علایی نژاد، دکترای فلسفه منطق، به ارائه بحث درباره منطق جدید خواهد پرداخت. عناوین کلاس‌ها به شرح ذیل است:
جلسه یکم: چیستیِ منطق جدید (16 الی 17)
جلسه دوم: نگاهی تاریخی به شکل‌گیری منطق جدید (17:15 الی 18:15)
جلسه سوم: معرفی اجمالی منطق‌های توسعه‌یافته و غیرکلاسیک (18:30 الی 19:30)
به دلیل مشکل پیش آمده در سیستم ثبت نام اینترنتی، ثبت نام به صورت حضوری و پیش از شروع کلاس انجام خواهد شد. لذا لازم است حکمت‌پژوهان گرامی راس ساعت 15:45 در مکان برگزاری کارگاه حضور داشته باشند. هزینه کارگاه نخست 10000 تومان می‌باشد.
زمان: پنج‌شنبه 30 اردیبهشت، ساعت 16
مکان: خیابان نشاط، کوچه شماره 14، خانه مشروطه، سالن اجتماعات
توضیحاتی درباره کارگاه منطق جدید 1

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

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

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

کتاب «تأملاتی در منطق ابن‌سینا و سهروردی» دکتر ضیاء موحد نقد می‌شود

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

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

نقد «تاملاتی در منطق ابن‌سینا و سهروردی» سه‌شنبه چهارم خرداد ماه از ساعت 16 و 30 دقیقه در مرکز فرهنگی شهر کتاب واقع در خیابان شهید بهشتی، خیابان شهید احمد قصیر (بخارست)، نبش کوچه‌ سوم برگزار می‌شود.

درود بر همگی.
سوپرگروهی طراحی کردم برای این کانال تا بتوانیم مطالب این کانال رو ارتقاء دهیم:

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

لینک گروه:
https://telegram.me/joinchat/BdbXLD8ERCDoK9Jv_PKiEw

مطالب برگزیده ازین گروه در کانال نیز گذاشته می شود و عزیزانی که زمان کمی برای مطالعه مطالب گروه ها و کانال های تلگرام دارند می توانند تنها مطالب کانال منطق رو مطالعه کنند. ما در کانال منطق بنا رو بر این گذاشتیم و در این راستا تلاش می کنیم که مطالب کم و مفید باشند تا از خوانندگان زمان کمتری بگیرد.
«کم گوی و گزیده گوی چون در!»

لینک فولدر منطق عمومی:
http://cdn.persiangig.com/public/rxMflXl2m7
(آدرس فولدر بزرگتر که فولدر حلقه منطق است: http://cdn.persiangig.com/public/tOopkjlQ8K)

در این فولدر فعلاً سه فایل قرار داده شده:
1. فایل فشرده حاوی ویدئوی آموزشی
2. فایل پی دی اف از اسلایدهای پاورپوینت ویدئو
3. فایل صوتی جداگانه ویدئو

توضیح فایل فشرده(antecedent):
این فایل اولین ویدئو آموزشی ام در زمینه منطق است. که به طور رایگان در دسترس عموم قرار گرفته است- نام درس: منطق عمومی- منبع اصلی: کتاب «مبانی منطق و روش شناسی» دکتر نبوی- نام فایل: مقدمه- مدت زمان ویدئو: 38 دقیقه- فرمت ویدئو: mp4

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

وبلاگ «گروه منطق» به آدرس http://logicgroup.blogfa.com/ آپدیت شد.

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

I. Advances in Proof Theory
Book Series: Progress in Computer Science and Applied Logic, Vol. 28
Editor/s: Kahle, Reinhard; Strahm, Thomas; Studer, Thomas
Link: http://www.springer.com/us/book/9783319291963?wt_mc=Alerts.NBA.May-16_EAST_23274216#

II. Epistemology, Knowledge and the Impact of Interaction
Editor/s: Redmond, Juan ; Pombo Martins, Olga ; Nepomuceno Fernández, Ángel
Link: http://www.springer.com/us/book/9783319265049?wt_mc=Alerts.NBA.May-16_EAST_23274216

III. Modern Logic 1850-1950, East and West
Book Series: Studies in Universal Logic
Editor/s: Abeles, Francine F.; Fuller, Mark E.
Link: http://www.springer.com/us/book/9783319247540?wt_mc=Alerts.NBA.May-16_EAST_23274216#otherversion=9783319247564

شماره اول از جلد 55 ژورنال Algebra and Logic منتشر شد.
Algebra and Logic, Vol. 55, Issue 1 - New Issue Alert
Link:
http://link.springer.com/journal/10469/55/1?wt_mc=alerts.TOCjournals
—---------------------------------------------------------—
Articles:
I. Essential Extensions of T 0-Spaces. II
Yu. L. Ershov
http://link.springer.com/article/10.1007/s10469-016-9371-z

II. Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. II
D. Vakarelov
http://link.springer.com/article/10.1007/s10469-016-9372-y

III.Definability of Linear Orders over Negative Equivalences
N. Kh. Kasymov & A. S. Morozov
http://link.springer.com/article/10.1007/s10469-016-9373-x

IV. The Schur–Wielandt Theory for Central S-Rings
M. E. Muzychuk, I. N. Ponomarenko & G. Chen
http://link.springer.com/article/10.1007/s10469-016-9374-9

V. Isomorphisms and Algorithmic Properties of Structures with Two Equivalences
D. A. Tussupov
http://link.springer.com/article/10.1007/s10469-016-9375-8

VI. Identifying Solutions to Systems of Equations in Semigroups with Finite Ideal
A. N. Shevlyakov
http://link.springer.com/article/10.1007/s10469-016-9376-7

VII. Existence and Uniqueness of Structures Computable in Polynomial Time
P. E. Alaev
http://link.springer.com/article/10.1007/s10469-016-9377-6

VIII. Finite Groups with Given Properties of Their Prime Graphs
A. S. Kondrat’ev
http://link.springer.com/article/10.1007/s10469-016-9378-5

IX. Sessions of the Seminar “Algebra i Logika”
http://link.springer.com/article/10.1007/s10469-016-9379-4

X. Erratum to: Linearly Minimal Jordan Algebras of Characteristic Other than 2
E. R. Baisalov & A. Aljouiee
http://link.springer.com/article/10.1007/s10469-016-9380-y

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

انجمن منطق ایران چهارمین سمینار سالانه خود را با همکاری پژوهشگاه دانش‌های بینادی و دانشگاه صنعتی شریف در یکم و دوم دی ماه 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)
👇👇👇👇👇