二、现代程序的概念与特征
在汉语中”程序“这一名词尤其缺乏严格的定义。事件的展开过程、节目的先后顺序、计算机的控制编码（program）、实验的操作手续、诉讼的行为关系都统称为程序。因此，我们首先需要做明确概念的工作。其目的不仅在于准确使用术语，而且试图为理解程序这样一种复杂的现象提供必要的分析框架。
程序，从法律学的角度来看，主要体现为按照一定的顺序、方式和手续来作出决定的相互关系。其普遍形态是：按照某种标准和条件整理争论点，公平地听取各方意见，在使当事人可以理解或认可的情况下作出决定。但是要注意，程序不能简单地还原为决定过程，因为程序还包含着决定成立的前提、存在着左右当事人在程序完成之后的行为态度的契机、并且保留着客观评价决定过程的可能性。另一方面，程序没有预设的真理标准。程序通过促进意见疏通、加强理性思考、扩大选择范围、排除外部干扰来保证决定的成立和正确性。
通常所说的法律程序，主要包括选举、立法、审判、行政这几种主要类型。其中最重要、最典型的是审判程序，因为这里存在着关于诉答（pleading）和证据的完整制度。法律程序基本上都由程序法明文规定。
程序法在成文法体系中又称为形式法（droitformel,formelles
recht）。传统的法律解释学一般把它看作是为了实现权利、义务或法律关系的实质内容的手段和方法。同一实质问题可以采取不同程序，反之，同一程序也可以用于不同实质的问题。因此，程序并不与特定的实质内容固定在一起；程序法具有很强的技术性。在诉讼中，与以法官心证为核心的实体合成相对应，由诉讼行为所构成的关于诉讼进行（proceeding）的作用机制称为程序合成。程序合成物能够成为实体合成的基础和催化因素。特别是考虑到程序法的修改影响与实体法不同，对受理后仍未审结的过去案件也适用、因而具有一定的溯及既往的效力，则不能否认程序合成对实体法还有补救的效果。在这个意义上可以说，实体法是通过一环扣一环的程序行为链而逐步充实、发展的。因而，程序法不应该被视为单纯的手段和形式。
程序的实体意义还表现在西方宪法的”正当过程“条款上。该项原则起源于英国的1215年大宪章第39条的规定，即”除依据国法（thelawofthe
land）之外，任何自由民不受监禁人身、侵占财产、剥夺公民权、流放及其他任何形式的惩罚，也不受公众攻击和驱逐。“经过历代国王的反复确认，到十四世纪末成为英国立宪体制的基本标志。其实质在于防止政府专制。[9]这显然是一个程序原则，但同时也是法治体制、社会正义观及基本价值的核心。[10]由此可见，程序问题与公正性必须结合起来考虑。所谓”程序的正当过程（procedural
dueprocess）“的用语就是要强调程序中的价值问题。
与此相联系的是程序性正义（procedural
justice）的观念。但是在这里被强调的不是程序的道德性侧面，而是程序所具有的独特的道德内容。可以说，J·罗尔斯的正义理论就是以程序倾向为特色的。因为他认为公正的法治秩序是正义的基本要求，而法治取决于一定形式的正当过程，正当过程又主要通过程序来体现。[11]更重要的是，他把程序性正义作为一个独立的范畴来加以类型分析，于是有纯粹的、完全的、不完全的（以及半纯粹的）程序正义之分。在纯粹的程序正义的场合，一切取决于程序要件的满足，不存在关于结果正当与否的任何标准。其典型事例为赌博，只要游戏规则不偏向某一赌客且被严格遵守，那么无论结果如何都被认为是公正的。在完全的程序正义的场合，虽然存在关于结果正当与否的独立标准，但是程序总是导致正当的结果。其典型事例为着名的蛋糕等分问题，只要设定切蛋糕的人最后领取自己应得的一块的程序，就不必担心分割结果的大小不均。在不完全的程序正义的场合，程序不一定每次都导致正当的结果，程序之外的评价标准便具有较重要的意义。其典型事例为刑事审判，无论程序要件（procedural
requisite）如何完备也不能完全避免错案冤狱的问题。罗尔斯认为，这三种基本类型在各自的限定范围之内是同样符合正义的。为了弥补不完全正义的场合不能确保正当结果的问题，便需要借助于程序正义的正当化作用，于是追加一种所谓半纯粹的程序正义（例如陪审制度、当事人主义的参与保障措施等），这是一种法律拟制。[12]
程序的公正性的实质是排除恣意因素，保证决定的客观正确。在这一方面，程序的合理性具有同样重要的功能。所谓程序合理性可以从决定过程的制度条件、目的、角色作用、功能等的整合与效率以及讨论的理由充分性等方面来把握。例如，诉讼行为一旦生效之后要尽量维持其效力、不能轻易否定其既定内容这一刑事诉讼法上关于程序维持的原则，就是基于程序计划性和诉讼经济性的理由。程序的合理性也可以归结为论证逻辑的贯彻如一，因此，法律程序基本上能满足完全的程序合理性的要求。
以上概述了程序分析中的一些基本术语的含义。由此当可获得对于程序的一般认识。
不过，概念的明晰化作业不能停留在这一阶段。我们需要对现代程序的发生条件、实际用法和潜在的意义给予进一步的系统分析。
1.对于恣意的限制
有社会即有纠纷。所谓纠纷，就是公开地坚持对某一价值物的互相冲突的主张或要求的状态。防止纠纷需要规范。解决纠纷需要制度。实在法（positive
law）起源于消弥纠纷的实践。最初是由审判者根据习惯、道德和理性来宣示法律的。但这样做具有极大的恣意性。因此，人们设想出两种基本方式来限制：一种是审级制度，在审判者之上设立审判者，以资补救；另一种是分权制度，使制定法律的机构与适用法律的机构相互分离。此外还有让审判者受自己过去决定的拘束，让当事人有为自己服务的法律专家等制度，也是基于同样的目的。这些制度的操作需要程序。随着社会的进化，法律现象日益复杂，相应地，程序也越来越精致。很多学者强调，法的发展是通过程序体系的严密化而实现的。
程序表现为规范认定和事实认定的过程。但实际上，程序既不单纯取决于规范，也不单纯举决于事实，更不是一种固定的仪式，甚至也不宜过分强调其过程侧面。程序的对立物是恣意，因而分化和独立才是程序的灵魂。分化是指一定的结构或者功能在进化过程中演变成两个以上的组织或角色作用的过程。这些分别项目各自具有特殊的意义，因而要求独立地实现其价值。于是明确相互之间的活动范围和权限就成为题中应有之义。分化和独立会带来这样一种现象：为了达成一定目的而进行的活动，经过不断反复而自我目的化。这种现象被称为功能自治（functional
autonomy）。程序中的功能自治性是限制恣意的基本的制度原理。
在变易不居、犬牙交错的多义的社会现实中，任何法律决定或行政措施都会受到来自两个方面的压力。统筹兼顾、综合平衡固然必要，然而，如果面面俱到则具体的判断就会变得极其困难，至少是成本太昂贵。况且，一个完全开放的决策过程非常容易为事实上存在的力量关系对比所左右。因此，需要用法律规范来创造一个相对独立于外部环境的决策的”隔音空间“.在这里，只有原告、被告、证人、代理人，而不管他们在社会上是新任局长还是卖瓜王婆。在这里，只讨论系争中的判断问题，而不管早晨的茶馆谈笑、傍晚的交通拥挤。在这里，只考虑与本案有关的事实和法律，而不管五百年前的春秋大义、五百年后的地球危机。总之，通过排除各种偏见、不必要的社会影响和不着边际的连环关系的重荷，来获得一个平等对话、自主判断的解放区。这就是现代程序的理想世界。
程序的功能自治并不意味着营造一个封闭的小天地。程序不是要抑制决策过程与外部环境的关系，而是要控制这种关系。
各种宏观影响和微观反应要经过一定的过滤装置、通过适当的途径反映到决策中去。比如，陪审制就是法院与社会互相沟通的一种渠道，在这里，审判结果明显受到外部环境的影响，但审判的独立性并未因此而受到损伤。说得更具体一些，陪审员的指名程序就是通过控制外部影响来保证功能自治性的最典型的例子。
可以说，程序是一种角色分派的体系。程序参加者在角色就位（role
taking）之后，各司其职，互相之间既配合又牵制，恣意的余地自然就受到压缩。因此，程序功能自治又是通过各种角色担当者的功能自治而实现的。程序规定的内容在很大程度上是一种角色规范，是消除角色紧张（role
strain）、保证分工执行顺利实现的条件设定。例如，保证当事人的对话性和平等的发言机会，以使争论点能够集中、明确，使论证更加均衡、完整。程序使参加者都有平等的表达机会和自由的选择机会，同时也使责任范围更明确。这种归责机制也会限制恣意。