Additionally, LogicWorks is upwardly compatible with DesignWorks, Capilano's professional package. This software is so user-friendly that students can create and test circuits in minutes without spending valuable lab time. LogicWorks is an innovative package that leverages the power, speed, and flexibility of digital design to enable you to learn advanced concepts more quickly and clearly. It is the best tool for digital design, with unique capabilities that make it quicker and simpler to create and test an infinite number of circuit elements on-screen. ![]() LogicWorks is a software tool designed to make digital circuit design easier and more interactive for teaching and learning digital logic. His previous books include The Logic in Philosophy of Science. Offers a concise, readable, and user-friendly introduction to elementary symbolic logic that primarily uses natural deduction rather than algorithmic truth trees Draws on more than two decades experience teaching introductory logic to undergraduates Provides a stepping stone to more advanced topics About the Author Hans Halvorson is Stuart Professor of Philosophy at Princeton University. By teaching logic in a way that makes students aware of how they already use it, the book will help them to become even better thinkers. How Logic Works shows that formal logic-far from being only for mathematicians or a diversion from the really deep questions of philosophy and human life-is the best account we have of what it means to be rational. The book also allows students to transition smoothly to more advanced topics in logic by teaching them general techniques that apply to more complicated scenarios, such as how to formulate theories about specific subject matter. It does this by introducing the methods of natural deduction, an approach that teaches students not only how to carry out a proof and solve a problem but also what the principles of valid reasoning are and how they can be applied to any subject. Instead of teaching how to apply algorithms using truth trees, as in the vast majority of logic textbooks, How Logic Works builds on and reinforces the innate human skills of making and evaluating arguments. Rather than teaching elementary symbolic logic as an abstract or rote mathematical exercise divorced from ordinary thinking, Hans Halvorson presents it as the skill of clear and rigorous reasoning, which is essential in all fields and walks of life, from the sciences to the humanities-anywhere that making good arguments, and spotting bad ones, is critical to success. This approach is premised on the fact that if a student learns natural deduction, she learns a skill that transfers to any domain where valid deductive reasoning is useful- Book Synopsis A concise introduction to logic that teaches you not only how reasoning works, but why it works How Logic Works is an introductory logic textbook that is different by design. ![]() The student, then, will become an expert traveller in logical space, quickly recognizing the difference between a safe path (where truth is guaranteed to be preserved) and a hazardous path (where truth might be lost). ![]() Halvorson uses formal logic to train students in the task of constructing paths between premises and conclusions. In How Logic Works, Hans Halvorson introduces students to the methods of natural deduction, a method which not only helps them solve problems, but helps them to understand the principles of valid reasoning for themselves. The second has as its aim teaching students a certain style of thinking and, thus, concerns itself with how students solve problems. This is the approach adopted by most logic textbooks and truth trees, the most popular method, gives students an algorithm for solving logic problems. The first has the aim of teaching students to solve a certain sort of problem as efficiently as possible. About the Book Logic instruction typically takes two forms.
0 Comments
Leave a Reply. |