程序民主是指 实现民主过程的先后顺序及其相关制度性规定，它强调民主的机制、规则和程序，因此也称为形式民主。程序民主主要从政体的意义阐释民主，旨在保证人民当家作主的实现。程序民主是一种工具理性，主要体现工具理性的诉求，要求在实现民主的过程中，注重民主的实现条件和代价。
具体来说，程序民主包括以下几种形式：
古希腊的直接程序民主：
通过公民直接参与政治决策来实现民主。
现代西方“一人一票”程序民主：
通过普选制来实现民主决策。
现代中国“选举+选拔+协商”程序民主：
结合选举、选拔和协商等多种方式来实现民主。
程序民主的核心在于通过一系列制度化的程序来保障民主的实现，这些程序包括选举、公民参与、决策制定、监督等。程序民主不仅关注民主的结果，更关注实现这些结果的过程和方式，以确保民主的公正性、合法性和有效性。
总结来说，程序民主是一种重要的民主形式，它通过一系列制度化的程序来保障民主的实现，强调民主的机制、规则和程序，旨在实现人民的统治和政治参与。