دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Classical First-Order Logic
دانلود کتاب منطق کلاسیک مرتبه اول
مشخصات کتاب
Classical First-Order Logic
ویرایش: نویسندگان: Stewart Shapiro, Teresa Kouri Kissel سری: Elements in Philosophy and Logic ISBN (شابک) : 1108987001, 9781108987004 ناشر: Cambridge University Press سال نشر: 2022 تعداد صفحات: 75 [80] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 Mb
قیمت کتاب (تومان) : 57,000
در صورت تبدیل فایل کتاب Classical First-Order Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق کلاسیک مرتبه اول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق کلاسیک مرتبه اول
اغلب گفته می شود که وقتی منطقی استدلال می کنند، خوب استدلال می کنند. تلاش‌های زیادی برای بیان اینکه استدلال منطقی چیست پیشنهاد شده است، اما یکی از سیستم‌های پیشنهادی معمول، منطق کلاسیک درجه اول است. این عنصر اصول اولیه منطق کلاسیک مرتبه اول را بررسی می کند و برخی از مسائل فلسفی اطراف را مورد بحث قرار می دهد. نیمه اول عنصر یک زبان برای سیستم و همچنین یک نظریه اثبات و نظریه مدل ایجاد می کند. ما قضایایی در مورد سیستمی که توسعه داده‌ایم، مانند خوانایی منحصربه‌فرد و لم Lindenbaum ارائه می‌کنیم. ما همچنین در مورد متا تئوری سیستم بحث می کنیم و چندین نتیجه از جمله اثبات قضایای صحت و کامل بودن را ارائه می دهیم. نیمه دوم عنصر منطق کلاسیک مرتبه اول را با سایر سیستم ها مقایسه می کند: منطق مرتبه بالاتر کلاسیک، منطق شهودی و چندین منطق ناسازگار که قانون ex falso quodlibet را رد می کنند.
توضیحاتی درمورد کتاب به خارجی
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. We provide theorems about the system we developed, such as unique readability and the Lindenbaum lemma. We also discuss the meta-theory for the system, and provide several results there, including proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.
