by roger888 » Tue Jun 28, 2005 4:08 pm
Personally, I don't agree that (the majority of) the techniques elaborated here are "based on the elimination paradigm". They're based on logic. Elimination is a heuristic: a methodology which allows you clear away extraneous matter so you can apply logic more easily.
The logical syntax is of the form If A then B then not C therefore D. It's theoretically possible to spot such logical deductions without eliminating anything -- just rather hard in practice.
I guess T&E is qualitatively different, but that's another issue....