منطق طبیعی گونه جدیدی از منطق گرایی است. این بر اساس قواعد استنتاج طبیعی جنتزن است، از جمله مواردی که بر عبارات منطقی-ریاضی حاکم است که خود جنتزن به آنها توجهی نکرده است. منطق طبیعی را می توان برای هر شاخه ای از ریاضیات توسعه داد. هدف این خواهد بود که مشخص شود چه مقدار از بنیان آن «منطقی» یا تحلیلی است. و به چه معنا اشیایی که به آنها پرداخته می شود ممکن است اشیاء منطقی باشند. در اینجا تمرکز بر منطق طبیعی برای اعداد است.
Natural Logicism is a new species of logicism. It is based on Gentzenian rules of natural deduction, including ones governing logico-mathematical expressions that Gentzen himself did not treat. Natural Logicism could be developed for any branch of mathematics. The aim would be to determine how much of its foundation is ‘logical’, or analytic; and in what sense the objects dealt with might be logical objects. Here the focus is on Natural Logicism for the numbers.
این کتاب را میتوانید از لینک زیر بصورت رایگان دانلود کنید:
نظرات کاربران