دانلود کتاب forall x: An Introduction to Formal Logic – forall x: مقدمه ای بر منطق رسمی

توضیحات

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)

————————————————————–

ترجمه ماشینی :

forall x مقدمه ای بر منطق جمله ای و منطق محمولی مرتبه اول با هویت است، سیستم های منطقی که به طور قابل توجهی بر فلسفه تحلیلی قرن بیستم تأثیر گذاشته است. پس از کار بر روی مطالب این کتاب، دانش آموز باید بتواند بیشتر عبارات کمی را که در خوانش فلسفی آنها ایجاد می شود، درک کند. این کتاب به نمادسازی، معناشناسی رسمی و نظریه اثبات برای هر زبان می‌پردازد. بحث از معناشناسی صوری بیشتر از بسیاری از متون مقدماتی است. اگرچه forall x دارای شواهدی برای صحت و کامل بودن نیست، اما زمینه را برای درک اینکه چرا اینها چیزهایی هستند که نیاز به اثبات دارند ایجاد می کند. در سراسر کتاب، من سعی کرده ام گزینه های مربوط به توسعه منطق جمله ای و محمولی را برجسته کنم. دانش آموزان باید بدانند که این دو تنها زبان رسمی ممکن نیستند. در ترجمه به زبان رسمی، ساده‌سازی می‌کنیم و از وضوح سود می‌بریم. ساده‌سازی هزینه دارد و زبان‌های رسمی مختلف برای ترجمه بخش‌های مختلف زبان طبیعی مناسب هستند. این کتاب برای ارائه مطالب یک ترم برای یک دوره مقدماتی کالج طراحی شده است. استفاده از کتاب فقط برای منطق جمله ای، با پرش از فصل های 4-5 و بخش هایی از فصل 6 امکان پذیر است. این نسخه 1.30 است (27 دسامبر 2014)

tag : دانلود کتاب forall x: مقدمه ای بر منطق رسمی , Download forall x: مقدمه ای بر منطق رسمی , دانلود forall x: مقدمه ای بر منطق رسمی , Download forall x: An Introduction to Formal Logic Book , forall x: مقدمه ای بر منطق رسمی دانلود , buy forall x: مقدمه ای بر منطق رسمی , خرید کتاب forall x: مقدمه ای بر منطق رسمی , دانلود کتاب forall x: An Introduction to Formal Logic , کتاب forall x: An Introduction to Formal Logic , دانلود forall x: An Introduction to Formal Logic , خرید forall x: An Introduction to Formal Logic , خرید کتاب forall x: An Introduction to Formal Logic ,