Paradoxes
R.M.Sainsbury
Third Edition
CAMBRIDGE UNIVERSITY PRESS
189 P.
@2009

Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences
John Woods
Cambridge University Press

💢نظریه مجموعه ها و کاربرد های آن ( لین و لین )
@qomat

💢نظریه مجموعه ها و کاربرد های آن ( لین و لین )

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

خوشحالم که کانال منطق مرز ۱۵۰ نفر را رد کرده است. با توجه به این که منطق پژوهی در ایران تقریباً غریب است و افراد منطق پژوه و پیرو منطق قلیل ولی در عوض افراد مشتاق مغالطه(البته غالباً از سر ناآگاهی) کثیر هستند. این نتیجه تابدینجا مطلوب ارزیابی می شود.
از عزیزانی که نسبت به سمینارها، کلاس ها و فعالیت های منطقی در دانشگاه ها یا مکان های علمی آگاهی پیدا می کنند تقاضا دارم تا آن را با ما در این کانال به اشتراک بزارند.
کسانی که حداقل دانشجوی منطق هستند که به عنوان مدیر می توانند پیام بزارند، دیگران لطفاً خبر را برای من در همین تلگرام به آیدی @Amer_Amikhteh بفرستند.
تشکر از همکاریتون.

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

برای یک منطق دان به جهت منطق دان بودنش برایش محتوای جهان اهمیتی ندارد، بلکه ساختار جهان اهمیت داره. برای او اهمیتی ندارد «خدا وجود دارد» یا «خدا وجود ندارد» برای او اهمیتی ندارد که «باید راست گفت» یا «اینطور نیست که باید راست گفت». برای او این اهمیت دارد که شما استدلال های درست و قوی ارائه دهید و باورهای شما نسبت به باورهای خودتان سازگار باشد. و نه نسبت به باورهای خودش.
یک منطق دان به صرف منطق دان بودنش شما را از زاویه خودتان می بیند، شما را قضاوت نمی کند. نه می گوید تو انسان بدی هستی و تکفیرت می کند و نه تو رو یک انسان خوب و اینقدر خوب که لایق پرستش باشی، می داند.
یک منطق دان با تمام فلسفه ها و مکتب هایی که منطق را رعایت می کنند، دوست است و هیچ ترجیهی قائل نخواهد بود. در نتیجه با دامنه ی وسیعی از اندیشه ها تعامل دارد‌.
هر چه آزادتر باشی به منطق خالص تری دست پیدا خواهی کرد. این آزاد اندیشی در رفتار نیز می تواند نمایان شود. در نتیجه ویژگی های روانی تعصب، دیکتاتوری بودن و تعیین ارزش ها برای دیگران با منطقی بودن در تعارض است.
ازین جهت یک منطق دان می تواند به تمام هستی عشق ورزد. گرچه او جویای حقیقت است اما ادعای حقیقت ندارد. زین سبب می تونیم شباهت هایی بین یک منطق دان با یک عارف که بی مدعاوار عاشق هستی است و با جهانش در صلح است، پیدا کنیم.
یک منطق دان به تو نخواهد گفت جهان چگونه است، می گوید بگو جهان را چگونه می بینی و من می گویم طبق این باورهایت ملزم هستی که اعتراف کنی جهان فلان گونه نیز هست و تبعات باورهای خودت است و نه من.
به علاوه منطقی بودن برای ما تبعات روانشناختی مطلوبی نیز دارد. او یاد می گیرد که مسئولیت پذیر باشد. چه در افکار و باورها و چه در اعمال. چراکه می داند افکار و اعمالش تبعاتی دارد که نتیجه ی افکار و باورهای خودش است و نه دیگری. و او نمی تواند کس دیگری را برای مشکلاتش مقصر یا گناهکار بگیرد. این هم به او کمک می کند در صلح باشد و نه در جنگ!! و در صلح بودن شاید یکی از مهم ترین ویژگی های یک عارف باشد.
عامر آمیخته
مهر ۹۵
@Amer_Amikhteh
@IRLogic

Springer's 3 New Logical Books:
👇👇👇👇👇
I. Alfred Tarski and the "Concept of Truth in Formalized Languages"
Book Series: Logic, Epistemology, and the Unity of Science, Vol. 39
Gruber, Monika
Link: http://www.springer.com/us/book/9783319326146?wt_mc=Alerts.NBA.Sep-16_EAST_25561697#otherversion=9783319326160
—------------------------------
II.Iconicity and Abduction
Book Series: Studies in Applied Philosophy, Epistemology and Rational Ethics, Vol. 29
Caterina, Gianluca; Gangle, Rocco
Link: http://www.springer.com/us/book/9783319442440?wt_mc=Alerts.NBA.Sep-16_EAST_25561697#otherversion=9783319442457
—------------------------------—
III. Theories of Intensionality
Parsons, David
Link: http://www.springer.com/us/book/9789811024825?wt_mc=Alerts.NBA.Sep-16_EAST_25561697#otherversion=9789811024849

انتشار کتاب «منطق تطبیقی» اثر اسدالله فلاحی؛ ناشر: سازمان سمت
http://logiciran.blogfa.com/

#کتاب «منطق تطبیقی» تألیف اسدالله فلاحی، یکی از پژوهشگران برجسته‌ی #منطق در ایران، از سوی انتشارات سمت، منتشر شد.

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

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

🔗 لینک کتاب: https://goo.gl/mSQ81t

✅ اسدالله فلاحی، قبلا به صورت الکترونیکی درسنامه‌ای 60 صفحه‌ای برای «منطق تطبیقی» منتشر کرده بود که در پایین می‌توانید آن را دریافت کنید. 👇👇

@HekmatRoom

Philosophy of Logics
Author: Susan Haack
Cambridge University Press
1978

Algebra and Logic, Volume 55 Number 3 (July 2016)
ISSN: 0002-5232 (Print) 1573-8302 (Online)
Articles of this issue:
—---------------------------------------------------
I. Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. III
D. Vakarelov
Link: http://link.springer.com/article/10.1007/s10469-016-9388-3
—---------------------------------------------------
Lie Bialgebras with Triality and Mal’tsev Bialgebras
M. E. Goncharov
Link: http://link.springer.com/article/10.1007/s10469-016-9389-2
—----------------------------------------------------
Embeddability of the Semilattice L m 0 in Rogers Semilattices
B. S. Kalmurzaev
Link: http://link.springer.com/article/10.1007/s10469-016-9390-9
—---------------------------------------------------—
Binary Formulas in Countably Categorical Weakly Circularly Minimal Structures
B. Sh. Kulpeshov & A. B. Altaeva
Link: http://link.springer.com/article/10.1007/s10469-016-9391-8
—------------------------------------------------------
A Sufficient Condition for Nonpresentability of Structures in Hereditarily Finite Superstructures
A. S. Morozov
Link: http://link.springer.com/article/10.1007/s10469-016-9392-7
—---------------------------------------------------—
Sessions of the Seminar “Algebra i Logika”
Link: http://link.springer.com/article/10.1007/s10469-016-9393-6
—---------------------------------------------------—
Erratum
Erratum to: Free-Variable Semantic Tableaux for the Logic of Fuzzy Inequalities
A. S. Gerasimov
Link: http://link.springer.com/article/10.1007/s10469-016-9394-5