دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014
دانلود کتاب مسیرهای جدید در منطق پاراسازگار: پنجمین WCP، کلکته، هند، فوریه 2014
مشخصات کتاب
New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014
ویرایش: 1 نویسندگان: Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta (eds.) سری: Springer Proceedings in Mathematics & Statistics 152 ISBN (شابک) : 9788132227175, 9788132227199 ناشر: Springer India سال نشر: 2015 تعداد صفحات: 542 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 81,000
کلمات کلیدی مربوط به کتاب مسیرهای جدید در منطق پاراسازگار: پنجمین WCP، کلکته، هند، فوریه 2014: منطق و مبانی ریاضی، کاربردهای ریاضیات، منطق، متافیزیک
در صورت تبدیل فایل کتاب New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مسیرهای جدید در منطق پاراسازگار: پنجمین WCP، کلکته، هند، فوریه 2014 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مسیرهای جدید در منطق پاراسازگار: پنجمین WCP، کلکته، هند، فوریه 2014
کتاب حاضر همه جنبههای منطق ناسازگار، از جمله آخرین یافتهها و سیستمهای مختلف آن را مورد بحث قرار میدهد. این شامل مقالاتی از محققان برجسته بینالمللی است که به روشهای مختلف به این موضوع میپردازند: توسعه سیستمهای ناسازگار انتزاعی و قضایای جدید در مورد آنها. مطالعات ارتباط بین این سیستم ها و سایر منطق های غیر کلاسیک، مانند منطق های غیر یکنواخت، چند ارزشی، مرتبط، نیمه کامل و فازی. تفاسیر فلسفی این سازه ها; و کاربرد در علوم دیگر، به ویژه فیزیک کوانتوم و ریاضیات. استدلال با تضادها چالش منطق ناسازگار است. این کتاب مورد علاقه دانشجویان فارغ التحصیل و محققانی است که در منطق ریاضی، علوم کامپیوتر، منطق فلسفی، زبان شناسی و فیزیک کار می کنند.
توضیحاتی درمورد کتاب به خارجی
The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics.
فهرست مطالب
Front Matter....Pages i-xi
Front Matter....Pages 1-1
Tutorial on Inconsistency-Adaptive Logics....Pages 3-38
Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition)....Pages 39-55
On the Philosophy and Mathematics of the Logics of Formal Inconsistency....Pages 57-88
Front Matter....Pages 89-89
Three-Valued Paraconsistent Propositional Logics....Pages 91-129
Strong Three-Valued Paraconsistent Logics....Pages 131-145
An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values....Pages 147-163
A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory....Pages 165-183
Two Consistent Many-Valued Logics for Paraconsistent Phenomena....Pages 185-210
Front Matter....Pages 211-211
On Modal Logics Defining Jaśkowski-Like Discussive Logics....Pages 213-228
From Possibility Theory to Paraconsistency....Pages 229-247
Modality, Potentiality, and Contradiction in Quantum Mechanics....Pages 249-265
Front Matter....Pages 267-267
Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics....Pages 269-283
Univalent Foundations of Mathematics and Paraconsistency....Pages 285-294
A Method of Defining Paraconsistent Tableaus....Pages 295-307
Some Adaptive Contributions to Logics of Formal Inconsistency....Pages 309-333
Stipulation and Symmetrical Consequence....Pages 335-352
Logic—The Big Picture....Pages 353-373
The Evil Twin: The Basics of Complement-Toposes....Pages 375-425
Front Matter....Pages 427-444
Perceiving and Modelling Brightness Contradictions Through the Study of Brightness Illusions....Pages 445-445
Front Matter....Pages 447-463
Truth, Trivialism, and Perceptual Illusions....Pages 445-445
Being Permitted, Inconsistencies, and Question Raising....Pages 465-476
On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent....Pages 477-507
None of the Above: The Catuṣkoṭi in Indian Buddhist Logic....Pages 509-515
Eastern Proto-Logics....Pages 517-527
....Pages 529-552
نظرات کاربران
کتاب های تصادفی
دانلود کتاب General Surgery Examination and Board Review
دانلود کتاب Radiochemistry and Nuclear Chemistry. 2nd Edition of Nuclear Chemistry, Theory and Applications
دانلود کتاب Pauline Frommer's Paris 2007 (Pauline Frommer Guides)
