Logic With Trees is a new and original introduction to modern formal logic. It contains discussions on philosophical issues such as truth, conditionals and modal logic, presenting the formal material with clarity, and preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and exercises guide beginners through the book, with answers to selected exercises enabling readers to check their progress.Logic With Trees equips students with: a complete and clear account of the truth-tree system for first order logic; the importance of logic and its relevance to many different disciplines; the skills to grasp sophisticated formal reasoning techniques necessary to explore complex metalogic; the ability to contest claims that “ordinary” reasoning is well represented by formal first order logic.
ترجمه فارسی (ترجمه ماشینی)
Logic With Trees مقدمه ای جدید و بدیع برای منطق رسمی مدرن است. این شامل بحثهایی درباره موضوعات فلسفی مانند حقیقت، شرطها و منطق مدی است، مطالب رسمی را با وضوح ارائه میکند، و توضیحات و استدلالهای غیررسمی را به توسعه سختگیرانه ترسناک ترجیح میدهد. مثالها و تمرینهای کار شده، مبتدیان را در کتاب راهنمایی میکند، با پاسخ به تمرینهای انتخابی که خوانندگان را قادر میسازد تا پیشرفت خود را بررسی کنند. منطق با درختان دانشآموزان را به موارد زیر مجهز میکند: یک گزارش کامل و واضح از سیستم درخت حقیقت برای منطق مرتبه اول. اهمیت منطق و ارتباط آن با بسیاری از رشته های مختلف؛ مهارت های درک تکنیک های استدلال رسمی پیچیده لازم برای کشف متالوژیک پیچیده؛ توانایی مخالفت با این ادعا که استدلال «معمولی» به خوبی توسط منطق مرتبه اول رسمی نشان داده می شود.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.