کتاب الکترونیکی

مبانی بدون بنیادگرایی: موردی برای منطق مرتبه دوم

Foundations without Foundationalism: A Case for Second-Order Logic

دانلود کتاب Foundations without Foundationalism: A Case for Second-Order Logic (به فارسی: مبانی بدون بنیادگرایی: موردی برای منطق مرتبه دوم) نوشته شده توسط «Stewart Shapiro»

اطلاعات کتاب مبانی بدون بنیادگرایی: موردی برای منطق مرتبه دوم

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Clarendon Press

نویسنده: Stewart Shapiro

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1991

تعداد صفحه: 298

حجم کتاب: 4 مگابایت

کد کتاب: 0198533918 , 9780198533917 , 9780191524011

توضیحات کتاب مبانی بدون بنیادگرایی: موردی برای منطق مرتبه دوم

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

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today.

دانلود کتاب «مبانی بدون بنیادگرایی: موردی برای منطق مرتبه دوم»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان