Inductive inference and inductive process

The differences between inductive inference and deductive inference were studied. The formal logic framework for inductive inference was presented and the concepts of reconstruction and deductive sequence were defined. In addition, the inductive procedure to generate inductive sequences was given. It has proved that if the sequence of all instances is known for the model, then all inductive sequences generated by the procedure will converge to same limit, i.e. the set of all true sentences of the model from any given theory. The result has interpreted reasonableness of inductive inference rules.