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. © 2013 Elsevier B.V.
Confirmation as partial entailment: a representation theorem in inductive logic / Crupi, Vincenzo; Tentori, Katya. - In: JOURNAL OF APPLIED LOGIC. - ISSN 1570-8683. - 11:4(2013), pp. 364-372. [10.1016/j.jal.2013.03.002]
Confirmation as partial entailment: a representation theorem in inductive logic
Crupi, Vincenzo;Tentori, Katya
2013-01-01
Abstract
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. © 2013 Elsevier B.V.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione



