جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 1
سایه های نحو: احیای قراردادگرایی منطقی و ریاضی [کتاب انگلیسی]
نویسنده:
Jared Warren
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Oxford University Press,
چکیده :
ترجمه ماشینی: منبع حقیقت منطقی و ریاضی چیست؟ این جلد سنت گرایی را به عنوان پاسخی به این سوال احیا می کند. قراردادگرایی حقیقت منطقی و ریاضی را می‌طلبد تا منبع آن در قراردادهای زبانی باشد. این یک دیدگاه بسیار محبوب در اوایل قرن بیستم بود، اما هرگز به تفصیل مورد بررسی قرار نگرفت و اکنون تقریباً در محافل فلسفی جریان اصلی رد شده است. در Shadows of Syntax، جرد وارن اولین درمان و دفاع از یک نظریه مرسوم گرایی ترکیبی از منطق و ریاضیات را ارائه می دهد. او استدلال می کند که کنوانسیون های ما، در شکل قواعد نحوی کاربرد زبان، برای تبیین حقیقت، ضرورت و اولویت ادعاهای منطقی و ریاضی کاملاً مناسب است. در بخش اول، وارن دقیقاً توضیح می‌دهد که قراردادگرایی چیست و قراردادهای زبانی چیست. بخش دوم یک نظریه استنتاجی نامحدود درباره معانی ثابت های منطقی را توسعه می دهد که به قراردادگرایی منطقی منتهی می شود. این نظریه متعارف در بحث های مربوط به پلورالیسم منطقی، معرفت شناسی منطق، و مخالفت های تأثیرگذاری که به زوال تاریخی قراردادگرایی انجامید. هدف بخش سوم گسترش قراردادگرایی از منطق به ریاضیات است. برخلاف منطق، ریاضیات شامل تعهدات هستی‌شناختی و مفهومی غنی از حقیقت است با هیچ فرآیند الگوریتمی نمی توان تولید کرد. برای پرداختن به این مسائل، وارن نظریه‌های متعارف پسند، اما مستقلاً قابل قبول، هم از فرائونتولوژی و هم حقیقت ریاضی را توسعه می‌دهد. در نهایت، بخش چهارم برای رسیدگی به نگرانی‌های تصویری کلان و فرانگرانی‌های مربوط به متعارف‌گرایی به عقب برمی‌گردد. این کتاب یک نظریه یکپارچه منطق و ریاضیات را توسعه داده و از آن دفاع می کند که بر اساس آن حقایق منطقی و ریاضی بازتابی از قواعد زبانی ما هستند، صرفاً سایه هایی از نحو.
  • تعداد رکورد ها : 1