About Site Map Submit Contact Us Log in | Create an account
Create an account Log In
Average Rating
User Rating:
Visitors Rating:
My rating:

Write review
See full specifications

mac default iconDeductions for Mac Publisher's description

Logic software designed to help students learn and construct natural deduction proofs in formal logic.

Educational software designed to help students learn proofs in formal logic. It is intended to be used by instructors and students of college-level logic courses in philosophy, mathematics and computer science. It gives immediate feedback at each stage of a proof, provides hints about how to complete proofs, and comes with a set of video tutorials that explain and review several challenging concepts in logic.

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.

What's New in This Release:

В· 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.

System Requirements:

Mac OS X 10.5 or later
Program Release Status: Minor Update
Program Install Support: Install and Uninstall

Deductions for Mac Tags:

Click on a tag to find related softwares

Is Deductions for Mac your software?

Manage your software

Most Popular

mac default icon Perfect Diet Tracker For Mac
The Perfect Diet Tracker is an easy to use diet software application designed to help you achieve a safe ... Read more
mac default icon The Photo Cookbook For Mac 2.1
The Photo Cookbook is like a private cooking course in your own kitchen with an experienced cook, who... Read more
mac default icon LogTen Pro Pilot Logbook for Mac 6.0.3
Pilot logbook software for Mac and iPhone.
mac default icon alkitab For Mac 2.6.1
Alkitab Bible Study is an open source and free desktop Bible study software.
mac default icon iBank For Mac 4.3.4
Finally, the Mac finance software Quicken users have been waiting for.

Related Category

» Cataloging (2)
» Food & Drink (12)
» Other (77)
» Religion (5)