Deductions 1.3.2 - Changelog

What's new in Deductions 1.2:

January 17th, 2010

· Sees the addition of 45 new rules and aliases, to bring the total number of rules supported to 85 (!), with each rule being able to be turned on and off individually.

Expanded the number of textbooks supported “out of the box” to ten:
· The Logic Book (Bergmann/Moor/Nelson, 2008)
· A Serious Introduction to Mathematical Logic (Roy, 2009) (Free online)
· A Modern Formal Logic Primer (Teller, 1989) (Free online)
· Logics by (Nolt, 1996)
· Symbolic Logic by (Jacquette, 2000)
· A Concise Introduction to Logic (Hurley, 2008)
· Introduction to Logic (Copi/Cohin, 2008)
· Logic and Philosophy (Hausman/Tidman/Kahane, 2009)
· The Power of Logic (Howard-Snyder/Snyder/Wasserman, 2008)
· Modern Logic (Forbes, 1994)

· Fuzzy string-matching has also been implemented when citing rules, to make it easier to enter justifications.
· Documentation has been updated across-the-board to reflect these major changes.

What's new in Deductions 1.1.2:

November 20th, 2009

· adjusted inference algorithms so that they are more flexible and
· efficient
· added more detailed help on inference rules
· fixed problem with negation elimination/introduction not being identified
· (sometimes) as discharging rules
· fixed crash that would occur when the user tabs to an empty justification on a new
· line and selects "Undo"

What's new in Deductions 1.1.1:

October 29th, 2009

· fixed problem with conditional elimination checkbox in preferences sometimes not displaying current setting
· corrected typos in the help book

What's new in Deductions 1.1:

October 20th, 2009

· Five new natural deduction rules have been added: disjunctive syllogism (DS),
· modus tollens (MT), hypothetical syllogism (HS), biconditional composition (BC),
· biconditoinal decomposition (BD).
· Support for rule renaming ("aliases") has been added. There are 16
· aliases available, so you can use, for example, "Conj" for conjunction
· introduction, or EI for existential instantiation.
· The program may now be used "out-of-the-box" with several logic
textbooks, including:
· (i) The Logic Book by Merrie Bergmann, James Moor and Jack Nelson (McGraw-Hill,
· 2008)
· (ii) A Modern Formal Logic Primer by Paul Teller (Prentice Hall, 1989)
· (iii) Modern Logic by Graeme Forbes (Oxford, 1994)
· (iv) A Serious Introduction to Mathematical Logic by Tony Roy (Self-published, 2009)

What's new in Deductions 1.0.1:

October 9th, 2009

· added an option in the Editing tab of Preferences to toggle the deduction
· identifier in printouts and PDF export
· changed the input handler so that justifications accept either an en-dash or a
· hyphen
· extended deduction table to the edges of the main window
· main window hides vertical scrollbar if the scrollbar is not necessary

Fixes:
· fixed typo in help files where the schema for conditional elimination was labelled
· as conjunction elimination
· fixed problem whereby using the bent dash symbol would call up the wrong make
· assumption window