Abstract
In this paper, two different theoretical problems of induction are delineated. The first problem is addressed; the second problem is deferred to the sequel to this paper. The first problem of induction is taken to be the seemingly unformalizable nature of traditional inductive arguments. It is shown that the problem does not arise out of some particularly dubious argument form (all inductive argument forms being interderivable), but rather from the presupposition that inductive "logic" is, like deductive logic, assertorie. Rather (it is urged), inductive logic is dialectical in nature.