[FOM] Is there a compendium of examples of the "power" of deductivelogic?

[mjmurphy]

Richard Haney wrote:

> So I am wondering about the possibility of stunning examples that can
> serve as paradigms for the power of logic in empirical applications.
> In other words I am looking for empirical evidence that demonstrates
> unequivocally that deductive logic is indeed worthy of study.

Perhaps this is not quite what you are looking for, but there is a passage 
from Richard Andree's _The Need for Modern Mathematics_ in which a Professor 
Wiley employs Boolean Algebra to simplify circuit diagrams, eventually 
allowing Westinghouse engineers to remove five electrical switches from a 
particular arrangement.  Five switches x $4.00 per switch times10,000 items 
employing the circuitry outlined in the diagram = "a rather healthy 
savings."  The quotation concludes with:  "If a man makes a discovery like 
this and doesn't make any other discovery during the next ten years, he has 
still earned his salary and more.  Industry has awakened to the advantages 
of mathematical research."

Cheers,

M.J.Murphy