Logic with Trees


Product Description
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 Review
I studied this book as college-level introductary logic course textbook.The book is not hard to understand except for the last two chapters, which try to deal with somehow advanced topics, but not very clearly.
But the rest of the book is nicely written overall(although it has a few mistypings)
And I want to point out that this textbook is basically not written in mathematics style. It doesn't contain many equations and theorems as in mathematics textbooks, instead it explains things in written English.
Most of the consumer Reviews tell that the "Logic with Trees" are high quality item. You can read each testimony from consumers to find out cons and pros from Logic with Trees ...

No comments:
Post a Comment