Mechanizing Hypothesis Formation

Plotkin divides a logic of discovery into a logic of induction: studying the notion of justification of a hypothesis, and a logic of suggestion: studying methods of suggesting reasonable hypotheses. The rest falls into two parts: Part A - a logic of induction, and Part B - a logic of suggestion.