دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016
دانلود کتاب منطق فلسفی: روندهای فعلی در آسیا: مجموعه مقالات AWPL-TPLC 2016
مشخصات کتاب
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016
ویرایش: 1 نویسندگان: Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono (eds.) سری: Logic in Asia: Studia Logica Library ISBN (شابک) : 9789811063541, 9789811063558 ناشر: Springer Singapore سال نشر: 2017 تعداد صفحات: 308 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب منطق فلسفی: روندهای فعلی در آسیا: مجموعه مقالات AWPL-TPLC 2016: منطق
در صورت تبدیل فایل کتاب Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق فلسفی: روندهای فعلی در آسیا: مجموعه مقالات AWPL-TPLC 2016 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق فلسفی: روندهای فعلی در آسیا: مجموعه مقالات AWPL-TPLC 2016
این جلد گروهی از فیلسوفان منطق گرا و منطق دانان فلسفی را، عمدتاً از آسیا، گرد هم می آورد تا به انواع موضوعات منطقی و فلسفی مورد علاقه کنونی بپردازد، و مقطعی نماینده از چشم انداز منطق فلسفی ارائه می کند. در اوایل قرن بیست و یکم آسیا این کتاب حوزه‌های مختلفی از جمله منطق مدال، منطق معرفتی، معناشناسی رسمی، تصمیم‌پذیری و صرف‌شناسی را بررسی می‌کند.
این کتاب رویکردهای جدیدی را پیشنهاد می‌کند و چارچوب‌های قوی‌تری را ایجاد می‌کند، مانند نظریه پوشش، رویکرد جبری برای حذف حذف، و یک رویکرد بولی به کشف علی، به نام چند. خوانندگان ممکن است طیف وسیعی از کاربردهای این آثار اصلی را در تحقیقات کنونی منطق فلسفی، به ویژه در تحلیل ساختاری و مفهومی برخی ویژگی‌های معنایی مهم و سیستم‌های صوری بیابند. تنوع موضوعات و موضوعات مورد بحث در اینجا برای خوانندگان طیف گسترده ای از رشته ها، از منطق ریاضی/فلسفی، علوم محاسباتی، علوم شناختی و هوش مصنوعی، تا زبان شناسی، نظریه بازی ها و فراتر از آن، جذاب خواهد بود.توضیحاتی درمورد کتاب به خارجی
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology.
The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.فهرست مطالب
Front Matter ....Pages i-xvi
Representing and Completing Lattices by Propositions of Cover Systems (Robert Goldblatt)....Pages 1-18
A Uniform Algebraic Approach to Cut Elimination via Semi-completeness (Hiroakira Ono)....Pages 19-43
Ancient Indian Logic, Pakṣa and Analogy (Jeffrey B. Paris, Alena Vencovská)....Pages 45-58
Provability and Decidability of Arithmetical Sentences (Shih Ping Tung)....Pages 59-78
On the Minimization Principle in the Boolean Approach to Causal Discovery (Jiji Zhang)....Pages 79-94
Contentual and Formal Aspects of Gentzen’s Consistency Proofs (Ryota Akiyoshi, Yuta Takahashi)....Pages 95-137
Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument (Hao-Cheng Fu)....Pages 139-152
Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers (Ryo Hatano, Katsuhiko Sano, Satoshi Tojo)....Pages 153-180
On Second Order Propositional Intuitionistic Logics (Ryo Kashima)....Pages 181-196
Classical Model Existence Theorem in Subclassical Predicate Logics. II (Jui-Lin Lee)....Pages 197-212
On Incorporating Reasoning Time into Epistemic Logic (Ren-June Wang)....Pages 213-231
Proof-Theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi (Sakiko Yamasaki, Katsuhiko Sano)....Pages 233-257
Varieties of Parthood (Paul Hovda)....Pages 259-286
Infinite “Atomic” Mereological Structures (Hsing-Chien Tsai)....Pages 287-296
