We examine Charles S. Peirce's mature views on the logic of science, especially as contained in his later and still mostly unpublished writings (1907–1914). We focus on two main issues. The first concerns Peirce's late conception of retroduction. Peirce conceived inquiry as performed in three stages, which correspond to three classes of inferences: abduction or retroduction, deduction, and induction. The question of the logical form of retroduction, of its logical justification, and of its methodology stands out as the three major threads in his later writings. The other issue concerns the second stage of scientific inquiry, deduction. According to Peirce's later formulation, deduction is divided not only into two kinds (corollarial and the...