InverseLogic

Reasoning backwards.

There are two forms:

"X seems to follow from Y" (sufficient inverse logic)

or:

"Y seems to be necessary if X is to be proven" (necessary inverse logic)

In neither case is there more than a hint of the implication that that proving Y is possible in the mind of the reasoner.

InverseLogic is an important part of the process of finding an IncompleteProof.