Confirmation as partial entailment: A representation theorem in inductive logic
The most prominent research program in inductive logic - here just labeled The Program, for simplicity - relies on probability theory as its main building block and aims at a proper generalization of deductive-logical relations by a theory of partial entailment. We prove a representation theorem by which a class of ordinally equivalent measures of inductive support or confirmation is singled out as providing a uniquely coherent way to work out these two major sources of inspiration of The Program. (C) 2013 Elsevier B.V. All rights reserved.
confirmation inductive logic probability