BASIC THEOREM: GIVEN i HYPOTHESES and j CONFIRMED PREDICTIONS, THE MEASURE OF THIS ARGUMENT IS: 1 - 1/2^j + 1/2^i+j.

PROMISEDLAND TH: IN THE LIMIT ("very long run") GIVEN A SINGLE HYPOTHESIS YIELDING MORE & MORE CONFIRMED PREDICTIONS THIS APPROACHES TAUTOLOGY.

OCKAMRAZOR TH: 2 COMPOUND HYPOTHESES YIELD THE SAME CONFIRMED PREDICTIONS; THE ONE WITH FEWER ASSUMPTIONS EXCEEDS IN ASSERBILITY.

TORTOISE&HARE TH: GIVEN "OCKAMRAZOR" CONDITIONS, IF "BEHIND" ARGUMENT DISCOVERS 1 MORE CONFIRMED PREDICTION , IT ALWAYS "WINS ASSERBILITY RACE".

WILDCAT TH: GIVEN "TORTOISE&HARE" CONDITIONS, THE HYPOTHESES (NOT PREDICTIONS) PROVIDE THE IMPETUS, HENCE, "WILDCATTING" CAN PAY OFF BIG.

NEGENTROPY TH: GIVEN "WILDCAT", THE INCREASED ASSERBILITY HAS THE FORM OF NEGENTROPY MEASURE IN THE SZILARD-SHANNON THEORY OF INFORMATION.

NONMONOTONICITY TH: A FAILED PREDICTION MUST BECOME A NEGATED PREMISE, DECREASING THE ASSERBILITY MEASURE, HENCE, NONMONOTONICITY IN LOGIC.