Is there such a thing as formal inductive logic? It seems to me that whether or not an inductive argument is good or not depends on its semantic content, not just its syntactic form, which makes it impossible to formalize in the way that deductive logic is formalizable.