Carnap's inductive logic shows that any shared predicate between domains carries non-zero probabilis...