Issues of methodology are central to the philosophy of moral progress. However, the idea that effective moral methodology, as well as being instrumental to progress, might also constitute progress has not been adequately explored. This paper will critically assess the merits of this idea – what I call ‘pure proceduralism about moral progress’ – taking Philip Kitcher's recent theory of ‘democratic contractualism’ (2021) as a test case. An epistemology of pure procedural moral progress will be sketched: namely, a naturalised epistemology (...) of paradigmatic instances of moral progress. Assuming an ideal procedure exists and has been at least approximately instantiated (an empirical claim), we learn about its form by studying paradigms of historical moral progress. From this epistemological method will be derived theoretical constraints on what can count as a theory of moral progress per se: it must capture the core semantic constraints on the term ‘moral progress,’ those features without which we would not recognise a change as moral progress. While this poses a tougher challenge for pure proceduralism than for more traditional approaches to moral methodology, it will be concluded that the potential of pure proceduralism as a viable metaethics of moral progress remains an exciting open question. (shrink)