A System of Logic

Mill's A System of Logic (1843) is the foundational work of empiricist logic and philosophy of science, defending inductive reasoning as the basis of all knowledge.

Mill defends a thoroughly empiricist epistemology: even logical and mathematical truths are inductive generalizations from experience; his five methods of inductive inference (agreement, difference, joint method, residues, concomitant variation) became standard tools of scientific methodology.