دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب forall x: An Introduction to Formal Logic
دانلود کتاب forall x: مقدمه ای بر منطق رسمی
مشخصات کتاب
forall x: An Introduction to Formal Logic
ویرایش: 1.30
نویسندگان: P. D. Magnus
سری:
ناشر:
سال نشر: 2014
تعداد صفحات: 160
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 622 کیلوبایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب forall x: An Introduction to Formal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب forall x: مقدمه ای بر منطق رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب forall x: مقدمه ای بر منطق رسمی
forall x مقدمه ای است بر منطق جمله ای و منطق محمولی مرتبه اول با هویت، سیستم های منطقی که به طور قابل توجهی بر فلسفه تحلیلی قرن بیستم تأثیر گذاشت. پس از کار بر روی مطالب این کتاب، دانش آموز باید بتواند بیشتر عبارات کمی را که در خوانش فلسفی آنها ایجاد می شود، درک کند. این کتاب به نمادسازی، معناشناسی رسمی و نظریه اثبات برای هر زبان می‌پردازد. بحث از معناشناسی صوری بیشتر از بسیاری از متون مقدماتی است. اگرچه forall x دارای شواهدی برای صحت و کامل بودن نیست، اما زمینه را برای درک اینکه چرا اینها چیزهایی هستند که نیاز به اثبات دارند ایجاد می کند. در سرتاسر کتاب، سعی کرده‌ام گزینه‌های مربوط به توسعه منطق جمله‌ای و محمولی را برجسته کنم. دانش آموزان باید بدانند که این دو تنها زبان رسمی ممکن نیستند. در ترجمه به زبان رسمی، ساده‌سازی می‌کنیم و از وضوح سود می‌بریم. ساده‌سازی هزینه دارد و زبان‌های رسمی مختلف برای ترجمه بخش‌های مختلف زبان طبیعی مناسب هستند. این کتاب برای ارائه مطالب یک ترم برای یک دوره مقدماتی کالج طراحی شده است. استفاده از کتاب فقط برای منطق جمله ای، با صرف نظر از فصل های 4-5 و بخش هایی از فصل 6 امکان پذیر است. این نسخه 1.30 است (27 دسامبر 2014)
توضیحاتی درمورد کتاب به خارجی
forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it lays the groundwork for understanding why these are things that need to be proven. Throughout the book, I have tried to highlight the choices involved in developing sentential and predicate logic. Students should realize that these two are not the only possible formal languages. In translating to a formal language, we simplify and profit in clarity. The simplification comes at a cost, and different formal languages are suited to translating different parts of natural language. The book is designed to provide a semester's worth of material for an introductory college course. It would be possible to use the book only for sentential logic, by skipping chapters 4-5 and parts of chapter 6. This is version 1.30 (December 27, 2014)
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Contemporary optical image processing with MATLAB
دانلود کتاب Dialogue avec Heidegger III: Approche de Heidegger
دانلود کتاب Real and complex singularities, Oslo 1976
