  Kitcher (1983) is an attempt to resuscitate Mill's philosophy of mathematics by modalising it. It accounts for mathematical truth in terms of the operations of a possible but non-actual ideal agent, and thus falls under the heading of modalist philosophies of mathematics. (Though Kitcher himself is not fond of the label (1983,  121–2).)