1. The Problem
Induction is the branch of Logic concerned with determining how general propositions — and, more broadly, how necessary propositions — are established as true, from particular or potential data.
By ‘actual induction’, I mean induction of actual propositio…