近年來(lái)，我國(guó)法學(xué)和程序法學(xué)的理論研究基本擺脫了程序法與實(shí)體法的關(guān)系，即形式與內(nèi)容、手段與目的的關(guān)系。它認(rèn)為實(shí)體法是主體法，程序法開(kāi)始從腐朽的傳統(tǒng)法律觀中逐步實(shí)現(xiàn)程序法自身的獨(dú)立價(jià)值，從而建構(gòu)新的程序正義理論?？梢哉f(shuō)，傳統(tǒng)的工具性程序模式已經(jīng)成為過(guò)去，程序本位時(shí)代已經(jīng)到來(lái)。當(dāng)然，程序獨(dú)立理論的突破性研究在不同的法律學(xué)科中取得了不同的進(jìn)展。其中，《刑事訴訟法》對(duì)此的研究應(yīng)該說(shuō)是最為深入的。也許這是因?yàn)樾淌略V訟涉及人的生命、人的尊嚴(yán)和其他與財(cái)產(chǎn)有關(guān)的更重要的價(jià)值。當(dāng)然，在民事訴訟法領(lǐng)域，許多學(xué)者都在不斷推進(jìn)這一理論研究。例如，一些學(xué)者對(duì)民事訴訟的價(jià)值有自己的獨(dú)立性，指出“程序法的價(jià)值只有一種性質(zhì)，即工具性，但不是實(shí)體法的工具性，而是程序法對(duì)人的工具性。這一工具的含義是廣泛的，包括對(duì)訴訟主體、社會(huì)和公眾的工具性。作為一種制度，程序法自產(chǎn)生之日起就獨(dú)立存在，或者說(shuō)它的存在并不依附于實(shí)體法。實(shí)體法的變更對(duì)程序制度沒(méi)有直接影響，即程序作為一個(gè)制度具有一定的穩(wěn)定性和獨(dú)立性，實(shí)體法變更的唯一影響是，當(dāng)實(shí)體法需要在程序過(guò)程中適用時(shí)，變更后的實(shí)體法適用，但該程序的基本框架和構(gòu)成關(guān)系沒(méi)有改變?！笔聦?shí)上，程序具有獨(dú)立性，不依賴實(shí)體的自由價(jià)值，程序在更深層次上決定了實(shí)體法所創(chuàng)造的權(quán)利和義務(wù)的實(shí)現(xiàn)?；谝陨险J(rèn)識(shí)，筆者認(rèn)為，在國(guó)際民商事活動(dòng)中，國(guó)際商事仲裁協(xié)議作為國(guó)際民商事活動(dòng)當(dāng)事人之間的“程序法”，也具有自身的獨(dú)立性?？梢哉f(shuō)，國(guó)際商事仲裁協(xié)議的獨(dú)立性與程序法本身價(jià)值的獨(dú)立性是一脈相承的。也就是說(shuō)，國(guó)際商事仲裁協(xié)議的獨(dú)立性是國(guó)際民商事活動(dòng)當(dāng)事人程序法獨(dú)立性的必然內(nèi)在要求和適用，國(guó)際商事仲裁協(xié)議與作為其基本協(xié)議的國(guó)際商事合同的關(guān)系實(shí)際上等同于程序法與實(shí)體法的關(guān)系。關(guān)于程序法與實(shí)體法的關(guān)系，現(xiàn)代程序正義理論認(rèn)為，程序法不僅獨(dú)立于實(shí)體法，而且優(yōu)先于實(shí)體法，“無(wú)論是從現(xiàn)實(shí)意義上，還是作為純粹的理論問(wèn)題，還是基于歷史事實(shí)，我們可以說(shuō)，程序法先于實(shí)體法，或者說(shuō)，訴訟作為實(shí)體法形成的母體具有重要意義?！背绦蚴菍?shí)體之母”，因此，可以說(shuō)實(shí)體法內(nèi)容的實(shí)現(xiàn)是程序過(guò)程中的偶然性。程序不僅具有獨(dú)立的價(jià)值，而且應(yīng)該優(yōu)先于實(shí)體。沒(méi)有程序就沒(méi)有實(shí)體,程序先行;；當(dāng)程序價(jià)值與實(shí)體價(jià)值存在矛盾時(shí)，選擇程序；當(dāng)違反程序價(jià)值的實(shí)體價(jià)值被強(qiáng)制執(zhí)行時(shí)，應(yīng)視為無(wú)效并予以抵制