Technically speaking, generalization from observation requires inductive inference, not logical inference/deduction. Inductive inference is not properly speaking a part of logic, so, no, it doesn't close the loop.
(Now whether inductive inference is reliable and under what conditions is another matter entirely.)