The Leibniz-Carnap Program for Inductive Logic