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