مشخصات کتاب

Core Logic

ویرایش: 1 
نویسندگان: Neil Tennant  
سری:  
ISBN (شابک) : 0198777892, 9780198777892 
ناشر: Oxford University Press 
سال نشر: 2017 
تعداد صفحات: 376 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 63 مگابایت 

کلمات کلیدی مربوط به کتاب منطق هسته: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق و زبان، فلسفه، سیاست و علوم اجتماعی، منطق، فلسفه، علوم انسانی، کتاب های درسی جدید، استفاده شده و اجاره ای، بوتیک تخصصی، ریاضیات، جبر و مثلثات، حساب های اندازه گیری علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی

در صورت تبدیل فایل کتاب Core Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق هسته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق هسته

نیل تنانت یک سیستم منطقی اصیل با فضایل غیرمعمول فلسفی، اثبات نظری، متالوژیک، محاسباتی و تجدید نظر-نظری ارائه می دهد. منطق اصلی، که در اعماق منطق کلاسیک نهفته است، بهترین استدلال ریاضی دقیق را رسمیت می دهد. این استدلال سازنده سازنده را در بر می گیرد. و بسط کلاسیک Core Logic استدلال غیر سازنده را مدیریت می کند. این سیستم‌های اصلی تمام اشتباهاتی را که باعث می‌شوند سیستم‌های استاندارد دارای بی‌ربط‌های غیرمستقیم باشند، برطرف می‌کنند. نتیجه‌گیری‌هایی که با استفاده از اثبات اصلی به دست می‌آیند، مربوط به مقدمات مورد استفاده است. اینها اولین سیستم هایی هستند که ارتباط و کفایت را برای رسمی کردن همه استدلال های ریاضی و علمی تضمین می کنند. آن‌ها همچنین اولین سیستم‌هایی هستند که تضمین می‌کنند که فرد می‌تواند با تقویت منطقی بالقوه با زنجیره‌ای از اثبات‌ها به پیشرفت قیاسی دست یابد: اگر نتیجه‌گیری را دنبال نمی‌کنیم، (حتی بهتر!) ناهماهنگی مقدمات انباشته‌اش را ثابت می‌کنیم. بنابراین منطق هسته انتقالی استنتاج را با سود معرفتی بالقوه فراهم می کند. به دلیل وضوح آن در مورد ساختار داخلی واقعی اثبات ها، Core Logic مزایایی را نیز برای خودکارسازی کسر و درک ما از پارادوکس ها فراهم می کند.

توضیحاتی درمورد کتاب به خارجی

Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep inside Classical Logic, best formalizes rigorous mathematical reasoning. It captures constructive relevant reasoning. And the classical extension of Core Logic handles non-constructive reasoning. These core systems fix all the mistakes that make standard systems harbor counterintuitive irrelevancies. Conclusions reached by means of core proof are relevant to the premises used. These are the first systems that ensure both relevance and adequacy for the formalization of all mathematical and scientific reasoning. They are also the first systems to ensure that one can make deductive progress with potential logical strengthening by chaining proofs together: one will prove, if not the conclusion sought, then (even better!) the inconsistency of one's accumulated premises. So Core Logic provides transitivity of deduction with potential epistemic gain. Because of its clarity about the true internal structure of proofs, Core Logic affords advantages also for the automation of deduction and our appreciation of the paradoxes.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Processes Determining Surface Water Chemistry

دانلود کتاب La prova decisiva

دانلود کتاب مبانی آنالیز ریاضی

دانلود کتاب Active Lighting and Its Application for Computer Vision: 40 Years of History of Active Lighting Techniques

دانلود کتاب Camelot's Court: Inside the Kennedy White House