"If you spend any time with FactLogic, you’re going to learn a lot about probability theory and maybe something about thinking in a straight line… FactLogic integrates left and right-brain ways of thinking and solves another common problem: Keeping all those minor decisions straight"

FactLogic is interactive Web-based software that lets you or others evaluate a case more accurately than ever. For the purpose of evaluation, a case consists of one or more facts, one or more assertions, and, sometimes, a standard of proof. An assertion is a statement to be proved - such as an allegation, charge, cause of action, hypothesis, etc.[1] Facts are judged to evaluate assertions. Thus far, nothing is new . . .

However, if judgments of facts are expressed as probabilities, almost everything is new: For the first time, FactLogic can evaluate any assertion logically by combining judgments of facts and other assertions according to probability theory, and, if a case may go to trial, FactLogic predicts the verdict. Further, if you invite a number of evaluators, FactLogic can evaluate the case with the accuracy you desire.

describing this method: "A mathematician offers ways to evaluate circumstantial evidence and come to reliable conclusions that could lead to sounder verdicts and a less cynical public,"... * "Where would it lead if, in trials, the fact-finders were to quantify reasonable doubts as a probability? To solid verdicts."

A Supreme Court Decision Implicitly Recommends the FactLogic Method.

In 1983 (Illinois v. Gates), the Supreme Court implicitly approved of the methods employed by FactLogic® when it established that:

"the totality of circumstances" is a set of probabilities, "the totality of circumstances" should be evaluated and compared to the standard of proof, "The process does not deal with hard certainties, but with probabilities...", and a deficiency in one probability can be compensated by other probabilities.

[1] Since FactLogic evaluates cases for many purposes, it is convenient to use the word “assertion” to indicate many types of statements to be proved.