ترجمه ماشینی:
منبع حقیقت منطقی و ریاضی چیست؟ این جلد سنت گرایی را به عنوان پاسخی به این سوال احیا می کند. قراردادگرایی حقیقت منطقی و ریاضی را میطلبد تا منبع آ
... آن در قراردادهای زبانی باشد. این یک دیدگاه بسیار محبوب در اوایل قرن بیستم بود، اما
هرگز به تفصیل مورد بررسی قرار نگرفت و اکنون تقریباً در محافل فلسفی جریان اصلی رد شده است. در Shadows of Syntax، جرد وارن اولین درمان و دفاع از یک نظریه مرسوم گرایی ترکیبی از منطق و ریاضیات را ارائه می دهد. او استدلال می کند که کنوانسیون های ما، در شکل
قواعد نحوی کاربرد زبان، برای تبیین حقیقت، ضرورت و اولویت ادعاهای منطقی و ریاضی کاملاً مناسب است.
در بخش اول، وارن دقیقاً توضیح میدهد که قراردادگرایی چیست و قراردادهای زبانی چیست. بخش دوم یک نظریه استنتاجی نامحدود درباره معانی ثابت های منطقی را توسعه می دهد که به قراردادگرایی منطقی منتهی می شود. این نظریه متعارف در بحث های مربوط به
پلورالیسم منطقی، معرفت شناسی منطق، و مخالفت های تأثیرگذاری که به زوال تاریخی قراردادگرایی انجامید. هدف بخش سوم گسترش قراردادگرایی از منطق به ریاضیات است. برخلاف منطق، ریاضیات شامل تعهدات هستیشناختی و مفهومی غنی از حقیقت است
با هیچ فرآیند الگوریتمی نمی توان تولید کرد. برای پرداختن به این مسائل، وارن نظریههای متعارف پسند، اما مستقلاً قابل قبول، هم از فرائونتولوژی و هم حقیقت ریاضی را توسعه میدهد. در نهایت، بخش چهارم برای رسیدگی به نگرانیهای تصویری کلان و فرانگرانیهای مربوط به متعارفگرایی به عقب برمیگردد. این
کتاب یک نظریه یکپارچه منطق و ریاضیات را توسعه داده و از آن دفاع می کند که بر اساس آن حقایق منطقی و ریاضی بازتابی از قواعد زبانی ما هستند، صرفاً سایه هایی از نحو.
بیشتر