دانلود کتاب Foundations without Foundationalism: A Case for Second-Order Logic
49,000 تومان
مبانی بدون بنیادگرایی: موردی برای منطق مرتبه دوم
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Clarendon Press |
| تعداد صفحه | 298 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 0198533918,9780198533917,9780191524011 |
| نویسنده | Stewart Shapiro |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1991 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مبانی بدون بنیادگرایی: موردی برای منطق مرتبه دوم
بحث اصلی این کتاب این است که منطق مرتبه دوم نقش اصلی را در پی ریزی پایه های ریاضیات ایفا می کند. به منظور توسعه کامل استدلال، نویسنده شرح مفصلی از منطق مرتبه بالاتر، از جمله بحثی جامع درباره معنایی آن ارائه میکند. او در ادامه به نشان دادن رواج مفاهیم درجه دوم در ریاضیات و میزانی که می توان ایده های ریاضی را در منطق مرتبه بالاتر فرموله کرد، می پردازد. او همچنین نشان میدهد که چگونه زبانهای مرتبه اول اغلب برای مدون کردن بسیاری از مفاهیم در ریاضیات معاصر ناکافی هستند، و بنابراین برای انعکاس کامل کار فعلی، هم منطق درجه اول و هم منطق بالاتر مورد نیاز است. در سراسر، تاکید بر بحث در مورد مسائل فلسفی و تاریخی مرتبط و پیامدهای آنها برای مطالعات بنیادی است. در بیشتر موارد، نویسنده چیزی بیش از آشنایی با منطق قابل مقایسه با منطق ارائه شده در دوره تحصیلات تکمیلی اولیه که شامل ناقص بودن حساب و قضایای لوونهایم-اسکولم است، فرض می کند. همه کسانی که به مبانی ریاضیات توجه دارند، این بحث را تامل برانگیز در مورد برخی از موضوعات اصلی در این زمینه امروز خواهند یافت.
Foundations without Foundationalism: A Case for Second-Order Logic
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.