Logics and Falsifications: A New Perspective on Constructivist Semantics

دانلود کتاب Logics and Falsifications: A New Perspective on Constructivist Semantics

دسته: منطق

50000 تومان موجود

کتاب منطق و ابطالات: دیدگاهی جدید در معناشناسی ساختگرا نسخه زبان اصلی

دانلود کتاب منطق و ابطالات: دیدگاهی جدید در معناشناسی ساختگرا بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 9


توضیحاتی در مورد کتاب Logics and Falsifications: A New Perspective on Constructivist Semantics

نام کتاب : Logics and Falsifications: A New Perspective on Constructivist Semantics
عنوان ترجمه شده به فارسی : منطق و ابطالات: دیدگاهی جدید در معناشناسی ساختگرا
سری : Trends in Logic 40
نویسندگان :
ناشر : Springer
سال نشر : 2014
تعداد صفحات : 216
ISBN (شابک) : 9783319052052 , 9783319052069
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.

توضیحاتی در مورد کتاب :




این جلد به بررسی مفهوم ابطال به عنوان مفهوم مرکزی نظریه های معنایی و تأثیرات آن بر قوانین منطقی می پردازد. نقطه شروع، خط استدلال کلی سازنده‌گرایانه است که مایکل دامت در دهه‌های گذشته ارائه کرده است. از آنجا، نویسنده راه‌هایی را بررسی می‌کند که از طریق آن ابطال‌ها می‌توانند وارد یک معناشناسی ساخت‌گرا شوند، طیف کاملی از گزینه‌ها را به نمایش می‌گذارند، و سیستم‌های منطقی مناسب‌ترین برای هر یک از آنها را مورد بحث قرار می‌دهند. در حالی که ایده وارد کردن ابطال‌ها به حساب معنایی متعلق به دامت است، راه‌های بسیاری که در آن ابطال‌گرایی کاملاً از راستی‌آزمایی فاصله می‌گیرد، برای اولین بار در اینجا به تفصیل بیان شده است.

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

\"کتاب کپسنر اولین تحقیق مفصل در مورد چگونگی ترکیب کردن است. مفهوم ابطال به منطق رسمی. این یک تحقیق منطقی-فلسفی جذاب است، که منطق دانان غیر کلاسیک از همه رشته ها را مورد توجه قرار می دهد.\"

گراهام پریست، مرکز تحصیلات تکمیلی، دانشگاه شهر نیو یورک و دانشگاه ملبورن


فهرست مطالب :


Front Matter....Pages i-x
Introduction....Pages 1-7
Front Matter....Pages 9-10
Constructivism....Pages 11-29
Intuitionism....Pages 31-55
Gaps, Gluts and Paraconsistency....Pages 57-79
Front Matter....Pages 81-83
From Proofs to Verifications, and on to Falsifications....Pages 85-103
Falsificationism....Pages 105-122
Front Matter....Pages 123-124
Stage Five: Pure Falsificationism and Dual Intuitionistic Logic....Pages 125-144
Stage Two: Expanded Verificationism and the Logic N $$_{3}$$ 3 ....Pages 145-162
Stage Four: Expanded Falsificationism and the Logic $$N_{3f}$$ N 3 f ....Pages 163-173
Stage Three: Hybrid Strategies....Pages 175-193
Front Matter....Pages 195-195
Summary....Pages 197-201
Back Matter....Pages 203-217

توضیحاتی در مورد کتاب به زبان اصلی :


This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time.

The volume is divided into three large parts. The first part provides important background information about Dummett’s program, intuitionism and logics with gaps and gluts. The second part is devoted to the introduction of falsifications into the constructive account and shows that there is more than one way in which one can do this. The third part details the logical effects of these various moves. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics. The author argues that, on balance, the latter are the more promising routes to take.

"Kapsner’s book is the first detailed investigation of how to incorporate the notion of falsification into formal logic. This is a fascinating logico-philosophical investigation, which will interest non-classical logicians of all stripes."

Graham Priest, Graduate Center, City University of New York and University of Melbourne




پست ها تصادفی