程序正义是一种法律概念，它强调的是法律程序本身应该符合正义的要求，而不仅仅是法律程序所产生的结果。程序正义认为，即使一个案件的判决结果是公正、合理和合法的，如果判决过程不公正、不合理或不合法，那么这个判决也不能被认为是正义的。程序正义的核心在于确保判决过程的公平性和合理性，使裁判结论能够得到人们的普遍认可。
程序正义与实质正义相对立，实质正义关注的是判决结果的公平性，而程序正义关注的是达到这一结果的过程的公平性。程序正义可以通过法律程序本身而不是其所要产生的结果得到实现，因此它也被称为“看得见的正义”。
程序正义的概念最早可以追溯到约翰·洛克和古罗马法，后来由哲学家罗伯特·诺兹克在1974年进一步复兴。程序正义有三种形态：纯粹的程序正义、完善的程序正义和不完善的程序正义。纯粹的程序正义是指，无论结果如何，只要程序是公正的，那么结果就是正义的。完善的程序正义是指，不仅结果公正，而且程序也是公正的。不完善的程序正义则是指，虽然程序是公正的，但结果可能不公正。
程序正义在英美法系国家中有着深厚的法律文化传统，源于一句著名的法律格言：“正义不仅应得到实现，而且要以人们看得见的方式加以实现”。这句话强调了程序正义的独立价值，即正义的实现不仅仅体现在判决结果上，还体现在判决过程的公开、公正和合理上。
总结来说，程序正义是一种关注法律程序本身公正性的法律理念，它要求司法机构在审判过程中确保公平性和合理性，以使裁判结论得到广泛认可。程序正义的实现有助于提高司法透明度和公信力，促进社会公正和法治。