توضیحات
An accessible introduction to philosophical logic, suitable for undergraduate courses and above.
Rigorous yet accessible, Logical Methods introduces logical tools used in philosophyincluding proofs, models, modal logics, meta-theory, two-dimensional logics, and quantificationfor philosophy students at the undergraduate level and above. The approach developed by Greg Restall and Shawn Standefer is distinct from other texts because it presents proof construction on equal footing with model building and emphasizes connections to other areas of philosophy as the tools are developed.
Throughout, the material draws on a broad range of examples to show readers how to develop and master tools of proofs and models for propositional, modal, and predicate logic; to construct and analyze arguments and to find their structure; to build counterexamples; to understand the broad sweep of formal logics development in the twentieth and twenty-first centuries; and to grasp key concepts used again and again in philosophy.
This text is essential to philosophy curricula, regardless of specialization, and will also find wide use in mathematics and computer science programs.
Features:
- An accessible introduction to proof theory for readers with no background in logic
- Covers proofs, models, modal logics, meta-theory, two-dimensional logics, quantification, and many other topics
- Provides tools and techniques of particular interest to philosophers and philosophical logicians
- Features short summaries of key concepts and skills at the end of each chapter
- Offers chapter-by-chapter exercises in two categories: basic, designed to reinforce important ideas; and challenge, designed to push students understanding and developing skills in new directions
————————————————————–
ترجمه ماشینی :
مقدمه ای در دسترس برای منطق فلسفی، مناسب برای دوره های کارشناسی و بالاتر.
سخت و در عین حال قابل دسترس، روش های منطقی ابزارهای منطقی مورد استفاده در فلسفه شامل براهین، مدلها، منطقهای مدال، فرانظریه، منطقهای دوبعدی و کمیسازی را برای دانشجویان فلسفه در مقطع کارشناسی و بالاتر معرفی میکند. رویکردی که توسط گرگ ریستال و شاون استندفر ایجاد شد، متمایز از سایر متون است، زیرا ساختار اثبات را در شرایطی برابر با ساخت مدل ارائه میکند و بر ارتباط با حوزههای دیگر فلسفه در حین توسعه ابزارها تأکید میکند.
در سرتاسر، مواد ترسیم میشوند. در طیف وسیعی از مثالها به خوانندگان نشان میدهد که چگونه میتوانند ابزارهای برهان و مدلها را برای منطق گزارهای، وجهی، و محمولی توسعه دهند و بر آن مسلط شوند. برای ساختن و تحلیل استدلال ها و یافتن ساختار آنها؛ برای ساخت نمونه های متقابل؛ درک گستره وسیع توسعه منطق رسمی در قرن بیستم و بیست و یکم؛ و برای درک مفاهیم کلیدی که بارها و بارها در فلسفه استفاده می شود.
این متن صرف نظر از تخصص برای برنامه های درسی فلسفه ضروری است و همچنین در برنامه های ریاضیات و علوم کامپیوتر کاربرد گسترده ای خواهد داشت.
/span>ویژگی ها:
- مقدمه ای در دسترس برای نظریه اثبات برای خوانندگان بدون پیشینه منطق
- برهان ها، مدل ها، منطق های مدال، متا تئوری، منطق ها
tag : دانلود کتاب روش های منطقی , Download روش های منطقی , دانلود روش های منطقی , Download Logical Methods Book , روش های منطقی دانلود , buy روش های منطقی , خرید کتاب روش های منطقی , دانلود کتاب Logical Methods , کتاب Logical Methods , دانلود Logical Methods , خرید Logical Methods , خرید کتاب Logical Methods ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.