
(based on a discussion with Chris Hoeckley, Kevin Sharpe, Jim Taylor and David Vander Laan)
I. Simple-minded question about logical methodology: Why do we bother to recognize induction as a separate category of inference? Why not treat all inferences as deductive, but with a probabilistic qualification built into the conclusions of some of them?