October 13, 2010 in Software (F)
[prMac.com] Claremont, California - Wandering Mango salutes the one-year anniversary of our 1.0 release with the release of Deductions 1.3. This update features a major change in the number of rules and textbooks supported, so it may now be used "out of the box" with 10 different textbooks that teach classical logic:
(1) The Logic Book (Bergmann/Moor/Nelson, 2008)
(2) A Serious Introduction to Mathematical Logic (Roy, 2009) (Free)
(3) A Modern Formal Logic Primer (Teller, 1989) (Free)
(4) Logics (Nolt, 1996)
(5) Symbolic Logic (Jacquette, 2000)
(6) A Concise Introduction to Logic (Hurley, 2008)
(7) Introduction to Logic (Copi/Cohen, 2008)
(8) Logic and Philosophy (Hausman/Tidman/Kahane, 2009)
(9) The Power of Logic (Howard-Snyder/Snyder/Wasserman, 2008)
(10) Modern Logic (Forbes, 1994)
This version of Deductions brings the total number of supported inference rules to 85, making it the most highly configurable logic program available. It may also be configured to work with intuitionist and minimal logic.
Version 1.3 of Deductions also adds two features likely to be of interest to researchers in formal logic: export to LaTeX and export to Text. These features allow researchers to work out natural deduction proofs in Deductions, and then use the results in other products.
Written for Mac OS X 10.5/10.6, Deductions was developed to help students learn how to construct proofs in formal logic. The interface of Deductions is carefully constructed to ease the transition from lectures and textbooks to working with a computer, and provides detailed help every step of the way. It is priced at $24.99 for an education license, and $39.99 for a regular license.
Deductions aims to solve the three problems that make proofs the most difficult component of formal logic courses: not knowing whether rules are applied correctly, getting stuck in the middle of a proof, and uncertainty about the rules and strategies. Deductions addresses these issues by flagging errors, including a hint engine to make suggestions about how to complete a proof, and having multimedia tutorials to help students through complex rules.
* Flagging Errors - Deductions flags errors in proofs as soon as they occur. This is important, because when students are first learning proofs, they are often not sure how to apply certain rules, and frequently end up practising mistakes. By flagging errors, Deductions prevents students from learning the wrong rules.
* Hint Engine - Deductions provides hints about how to complete proofs. A common frustration of students is that they get stuck in the middle of a proof. Deductions has a hints feature which looks at the proof the student is working on, and suggests how to make progress.
* Multimedia Tutorials - Deductions comes with a set of multimedia tutorials. There are so many rules for constructing proofs that it often difficult for students to keep all the details straight. Deductions comes with a set of video tutorials, divided into two groups: how to use Deductions to learn logic, and how to use the logic rules.
* Flexibility - Deductions is designed to work with many different logic systems and textbooks. Both standard and alternative symbols are included, as well as rules that may be turned on and off individually.
* Modern Design - Deductions provides a modern interface. As a new entry into a field that has not seen many updates in recent years (many logic programs are written for DOS, Windows 9x, or are rudimentary Java applets), Deductions is designed and written for a modern operating system (Mac OS X). Deductions leverages the technologies of Mac OS X to provide a clean user interface, drag-and-drop support, and a comprehensive help system.
* More Efficient than Paper - Deductions takes care of the editing details. When working on paper, especially in large proofs, proofs must be reworked to add or remove lines, existing justifications must be renumbered, and so on. These details are necessary for the proof to work, but have little to do with learning or understanding proofs. Deductions takes care of these housekeeping tasks by automatically adjusting proofs when lines are added, removed or moved.
* Mac OS X 10.5 Leopard or Mac OS X 10.6 Snow Leopard
Pricing and Availability:
Deductions 1.3 is $24.99 (education), and $39.99 (regular).
Wandering Mango is an independent software developer based in Los Angeles, California. Founded in 2009, the current focus of Wandering Mango is creating software for research and education in formal logic. Copyright (C) 2010 Wandering Mango. All Rights Reserved. Apple, the Apple logo and Macintosh are registered trademarks of Apple Inc. in the U.S. and/or other countries.