دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Neil Tennant
سری:
ISBN (شابک) : 0192846671, 9780192846679
ناشر: Oxford University Press
سال نشر: 2022
تعداد صفحات: 384
[376]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 Mb
در صورت تبدیل فایل کتاب The Logic of Number به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق عدد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
در منطق اعداد، نیل تنانت گزارش
منطقگرای طبیعی خود را از مبانی اعداد طبیعی، گویا و واقعی تعریف
و توسعه میدهد. بر اساس سیستم منطقی بدون منطق هسته، روش مرکزی،
فرموله کردن قواعد استنتاج طبیعی است که بر عملگرهای
انتزاعی-اجباری متغیر و سایر عبارات منطقی-ریاضی مانند صفر و
جانشین حاکم است. اینها انتزاع «تک لول» را ممکن میسازد، برخلاف
انتزاع «دولوله» که توسط اصولی مانند قانون اساسی فرگه V، یا اصل
هیوم انجام میشود. کفایت: اولاً، باید نشان داد که چگونه انواع
مختلف اعداد در تفکر گستردهتر ما و صحبت درباره جهان قابل
استفاده است. این با استخراج همه نمونههای سه طرحواره مربوطه به
دست میآید: طرحواره N برای طبیعیات، طرحواره Q برای منطقیها و
طرحواره R برای واقعیات. اینها شرایط صدق را برای گزارههایی
فراهم میکنند که اصطلاحات مربوط به اعدادی از نوع مورد بحث را به
کار میبرند. ثانیاً، باید نشان داد که چگونه طبیعیات در میان
عقلا به عنوان خود، و عقلا نیز در میان واقعیات قرار می گیرند.
سوم، باید به اندازه کافی ماهیت متافیزیکی اعداد را آشکار کرد تا
بتوان قوانین اساسی ریاضیدان را که بر آنها حاکم است استخراج کرد.
چهارم، فرد باید بتواند نشان دهد که به طور غیرقابل شمارش واقعیات
زیادی وجود دارد.
منطق گرایی طبیعی در مورد محدودیت های منطق گرایی در برخورد با
اعداد واقعی واقع بینانه است، که تننت استدلال می کند که برای آن،
فرد نیاز به توسل به شهود هندسی برای نقاط شروع عمیق تر دارد، که
پس از آن منطق به تنهایی نتیجه را ارائه می دهد. با سخت گیری رسمی
مطلق به دنبال نتایج بود. برنامه
نتیجه فرد را قادر میسازد تا به روشی اصولی، آن بخشهایی از
نظریه اعداد را که تنها توسط درک کانتی تولید میشوند، و آن
بخشهایی که به توسل به (بسیار ساده) وابسته هستند، محدود
کند. پیشینی شهودهای
هندسی.
In The Logic of Number, Neil
Tennant defines and develops his Natural Logicist account of
the foundations of the natural, rational, and real numbers.
Based on the logical system free Core Logic, the central method
is to formulate rules of natural deduction governing
variable-binding
number-abstraction operators and other logico-mathematical
expressions such as zero and successor. These enable
'single-barreled' abstraction, in contrast with the
'double-barreled' abstraction effected by principles such as
Frege's Basic Law V, or Hume's Principle.
Natural Logicism imposes upon its account of the numbers four
conditions of adequacy: First, one must show how it is that the
various kinds of number are applicable in our wider thought and
talk about the world. This is achieved by deriving all
instances of three respective schemas: Schema N for the
naturals, Schema Q for the rationals, and Schema R for the
reals. These provide truth-conditions for statements deploying
terms referring to numbers of the kind in question. Second, one
must show how it is that the naturals sit among the rationals
as themselves again, and the rationals likewise
among the reals. Third, one should reveal enough of the
metaphysical nature of the numbers to be able to derive the
mathematician's basic laws governing them. Fourth, one should
be able to demonstrate that there are uncountably many
reals.
Natural Logicism is realistic about the limits of logicism when
it comes to treating the real numbers, for which, Tennant
argues, one needs recourse to geometric intuition for deeper
starting-points, beyond which logic alone will then deliver the
sought results, with absolute formal rigor. The
resulting program enables one to delimit, in a principled way,
those parts of number theory that are produced by the Kantian
understanding alone, and those parts that depend on recourse to
(very simple) a priori geometric
intuitions.