近年來，我國法理學(xué)和訴訟法學(xué)理論研究已經(jīng)基本擺脫了程序法和實體法之間是形式與內(nèi)容、手段與目的的關(guān)系的那種認(rèn)為實體法是主法，程序法是從法的腐朽的傳統(tǒng)觀點，開始逐漸認(rèn)識到程序法自身的獨立價值，從而開始建構(gòu)起新的程序正義理論?？梢哉f，傳統(tǒng)的工具主義程序模式已經(jīng)成為過去，程序本位時代已經(jīng)來臨.當(dāng)然，對程序獨立性理論的突破性研究，在不同的法律學(xué)科中進(jìn)度也各有不同。其中，應(yīng)當(dāng)說，刑事訴訟法學(xué)對此的研究最為深入。或許，這是因為刑事訴訟關(guān)系到人的生命、人的尊嚴(yán)等相對于財產(chǎn)更為重要的價值的緣故。當(dāng)然，在民事程序法學(xué)界，也有不少學(xué)者在不斷推進(jìn)這項理論研究。例如，有學(xué)者就對民事程序價值具有自身的獨立性指出，“程序法價值的性質(zhì)只有一種即工具性，但不是工具理論認(rèn)為的是對實體法的工具性，而是程序法對人類的工具性，這個工具的涵義是廣義的，既包括對訴訟主體的工具性，又包括對社會，公眾的工具性。因為程序法作為一種體系自產(chǎn)生之日起便是獨立存在的，或者說它的存在并不依附于實體法，實體法的變化并不對程序這一體系產(chǎn)生直接影響，即程序作為一個體系具有一定的穩(wěn)定性和獨立性，實體法變更的唯一影響僅在于程序在進(jìn)行的過程中需要適用實體法時適用變化后的實體法，而程序的基本構(gòu)架，構(gòu)成關(guān)系卻并不因此而變動”.事實上，程序具有獨立的品格，以及不依附于實體的自在價值，程序在更深的層次上決定著實體法創(chuàng)制的權(quán)利義務(wù)的實現(xiàn)狀況。正是基于以上認(rèn)識，筆者認(rèn)為，在國際民商事活動中，國際商事仲裁協(xié)議作為國際民商事活動當(dāng)事人之間的“程序性法律”同樣具有自身的獨立性?？梢哉f，國際商事仲裁協(xié)議的獨立性與程序法自身價值的獨立性是一脈相承的。或者說，國際商事仲裁協(xié)議的獨立性是程序法的獨立性的必然的內(nèi)在要求和應(yīng)用。

國際商事仲裁協(xié)議優(yōu)位于國際商事合同

對國際民商事活動的當(dāng)事人而言，國際商事仲裁協(xié)議與作為其基礎(chǔ)性協(xié)議的國際商事合同之間的關(guān)系實際上相當(dāng)于程序法與實體法的關(guān)系。關(guān)于程序法與實體法的關(guān)系，現(xiàn)代程序正義理論認(rèn)為，程序法不僅具有獨立于實體法，而且優(yōu)先于實體法?！盁o論是從現(xiàn)實中的意義來看，還是作為純粹的理論問題或者依據(jù)歷史的事實，我們都可以說訴訟法具有先行于實體法，或者說訴訟具有作為實體法形成母體的重要意義?！薄俺绦蚴菍嶓w之母”，因此，可以說，實體法的內(nèi)容的實現(xiàn)是在程序進(jìn)行的過程中附帶實現(xiàn)的。程序不僅具有獨立價值，而且應(yīng)比實體優(yōu)先。沒有程序就沒有實體，應(yīng)當(dāng)程序先行;在程序價值與實體價值發(fā)生矛盾時，選擇程序;當(dāng)違反程序價值的實體價值強(qiáng)制推行的時候應(yīng)視為無效，進(jìn)行抵制。