TY - JOUR T1 - On a Logic of Induction JF - Logic and Philosophy of Science Y1 - 2006 A1 - Batens, Diderik AB -

In this paper, I present a simple and straightforward logic of induction: a consequence relation characterized by a proof theory and a semantics. This system will be called LI. The premises will be restricted to, on the one hand, a set of empirical data and, on the other hand, a set of background generalizations. Among the consequences will be generalizations as well as singular statements, some of which may serve as predictions and explanations.

VL - IV SP - 3–32 N1 - (Corrected version of \cite{D:induct1}.) ER -