دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Jean-Yves Beziau سری: ISBN (شابک) : 9783764372590, 3764372591 ناشر: Springer سال نشر: 2005 تعداد صفحات: 225 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Logica Universalis: Towards a General Theory of Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق جهانی: به سوی یک نظریه عمومی منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
منطق جهانی یک منطق جدید نیست، بلکه یک نظریه کلی از منطق است که به عنوان ساختارهای ریاضی در نظر گرفته می شود. این نام حدود ده سال پیش معرفی شد، اما موضوع به قدمت آغاز منطق مدرن است: آلفرد تارسکی و دیگر منطقدانان لهستانی مانند آدولف لیندنبام، نظریهای کلی از منطق را در پایان دهه 1920 بر اساس عملیات پیامدها و منطقی ارائه کردند. ماتریس ها این موضوع پس از شکوفایی هزاران منطق جدید در طول سی سال گذشته احیا شد: نیاز به یک نظریه سیستماتیک منطق وجود داشت تا نظمی در این کثرت آشفته ایجاد کند. این کتاب حاوی آثار اخیر در منطق جهانی توسط محققان درجه یک از سراسر جهان است. کتاب مملو از ایده های جدید و چالش برانگیز است که آینده این موضوع هیجان انگیز را هدایت می کند. برای افرادی که می خواهند بهتر بفهمند منطق چیست، جالب خواهد بود. ابزارها و مفاهیم در اینجا برای کسانی که می خواهند کلاس های منطق های موجود را مطالعه کنند یا می خواهند کلاس های جدید طراحی و بسازند در اینجا ارائه شده است.
Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity. This book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest for people who want to better understand what logic is. Tools and concepts are provided here for those who want to study classes of already existing logics or want to design and build new ones.
Contents......Page 5
Preface......Page 7
Part I. Universal Logic: Frameworks and Structures......Page 11
From Consequence Operator to Universal Logic: A Survey of General Abstract Logic......Page 12
Abstract Model Theory as a Framework for Universal Logic......Page 27
A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics......Page 42
Selfextensional Logics with Implication......Page 71
Logic without Self-Deductibility......Page 95
Part II. Identity and Nature of Logical Structures......Page 102
Equipollent Logical Systems......Page 103
What is a Logic?......Page 116
What is a Logic, and What is a Proof?......Page 137
Part III. Tools and Concepts for Universal Logic......Page 148
Non-deterministic Matrices and Modular Semantics of Rules......Page 149
Two’s Company: “The Humbug of Many Logical Values”......Page 168
Logical Friendliness and Sympathy......Page 189
Logical Discrimination......Page 204