دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Provability and Truth
دانلود کتاب اثبات و حقیقت
مشخصات کتاب
Provability and Truth
دسته بندی: منطق ویرایش: نویسندگان: Torkel Franzen سری: Acta Universitatis Stockholmiensis ISBN (شابک) : 9789122011583 ناشر: Almqvist & Wiksell International سال نشر: 1987 تعداد صفحات: 94 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 40 مگابایت
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Provability and Truth به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات و حقیقت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اثبات و حقیقت
بر اساس رئالیسم ریاضی، حقایق یا حقایق ریاضیات وابسته به دانش بشری و به ویژه قابل اثبات نبودن نیستند. به قول جی.اچ هاردی ریاضیدان، «قضیه های ریاضی درست یا نادرست هستند؛ صدق یا نادرستی آنها مطلق و مستقل از شناخت ما از آنهاست.» ضد واقع گرایی ریاضی چنین می گوید که تمام حقیقت ریاضی باید به نحوی باشد. به واقعیت‌های عینی قواعد، معنا، اعمال و تمایلات انسانی برسیم: «زیرا در نهایت، هر سؤالی درباره بسط ^2 باید بتواند به عنوان سؤالی عملی در مورد تکنیک بسط فرمول‌بندی شود.» (لودویگ ویتگنشتاین) این تز دو سؤال را مطرح می‌کند: نقش ما در تفکر رئالیسم ریاضی چیست و چگونه می‌توانیم جذابیت طبیعی دیدگاه ضد واقع‌گرایانه را درک کنیم؟ این پرسش‌ها در ارتباط با حساب ابتدایی در نظر گرفته می‌شوند، جایی که واقع‌گرایی ریاضی به‌طور کلی به‌عنوان تأثیری قوی بر تفکر ما شناخته می‌شود. پاسخ‌های داده‌شده در پایان‌نامه مبتنی بر توصیف واقع‌گرایی به‌عنوان استفاده معین از گزاره‌های ریاضی در زمینه‌های غیرریاضی است، نه بر اساس ارتباط معمول رئالیسم ریاضی با استفاده از منطق کلاسیک در استدلال ریاضی. استدلال می‌شود که رئالیسم ریاضی که بدین ترتیب تصور می‌شود، نقش اساسی در تفکر ما در مورد قوانین، ماشین‌ها، امکانات، سیستم‌های رسمی بازی می‌کند. جذابیت ضد رئالیسم ناشی از برخی تمایلات متافیزیکی طبیعی است که نمی‌توانیم انتظار حذف آنها را داشته باشیم، اما می‌توانیم به نحو سودمندی بر روی آنها تأمل کنیم. همچنین مرهون کار مایکل دامت و داگ پروویتز در مورد نظریه‌های معناست و حاوی تعدادی اظهارنظر انتقادی درباره ارتباط رئالیسم با مفهوم نظریه معناست.
توضیحاتی درمورد کتاب به خارجی
According to mathematical realism, the truths or facts of mathematics are not dependent on human knowledge, and in particular not on being provable. In the words of the mathematician G.H.Hardy, "Mathematical theorems are true or false; their truth or falsity is absolute and independent of our knowledge of them." Mathematical anti-realism has it that all mathematical truth must in some way or another come down to the concrete realities of rules, meaning, human practices and inclinations: "For after all, in the end every question about the expansion of ^2 must be capable of formulation as a practical question concerning the technique of expansion." (Ludwig Wittgenstein) The thesis poses two questions: what is the role in our thinking of mathematical realism, and how are we to understand the natural appeal of the anti-realistic view? These questions are considered in relation to elementary arithmetic, where mathematical realism is generally recognized as having a particularly strong hold on our thinking. The answers given in the thesis are based on a characterization of realism as consisting in a certain use of mathematical statements in non-mathematical contexts, rather than on the usual association of mathematical realism with the use of classical logic in mathematical reasoning. It is argued that mathematical realism thus conceived does play an essential role in our thinking about rules, machines, possibilities, formal systems. The appeal of anti-realism is held to spring from certain natural metaphysical predilections which we cannot expect to eliminate, but on which we may profitably reflect The exposition draws a great deal on the work of Ludwig Wittgenstein, although with no exegetical ambitions. It is also indebted to the work by Michael Dummett and Dag Prawitz on meaning theories, and contains a number of critical remarks on the association of realism with the concept of a theory of meaning.
فهرست مطالب
Contents I Introduction II Proofs and provability III Realism IV Realism and meaning V Anti-realism
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Implied Law in the Abraham Narrative: A Literary and Theological Analysis (JSOT Supplement Series)
دانلود کتاب Handbook of Philosophical Logic. Volume I: Elements of Classical Logic
دانلود کتاب Handbook of Computability Theory
دانلود کتاب Laws of Form
دانلود کتاب Apple Pro Training Series: Advanced Logic Pro 7
دانلود کتاب Abstract Set Theory
دانلود کتاب The Ideological War on Terror: Worldwide Strategies For Counter-Terrorism
دانلود کتاب Logique floue, principes, aide à la décision
دانلود کتاب Varieties of Interior Algebras [PhD Thesis]
