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.)
![[Image: extraordinarywoo-sig.jpg]](https://i.postimg.cc/zf86M5L7/extraordinarywoo-sig.jpg)