張武杰　張葉青　王　雙

[摘 要]法律邏輯以普通邏輯理論和原則為基礎(chǔ)已有了完整的非形式內(nèi)容的建構(gòu),但法律邏輯若要發(fā)展成一門獨立的學(xué)科,就不能依附于普通邏輯加法律案例。而應(yīng)以現(xiàn)代邏輯和數(shù)理邏輯為工具,用大量的法律理論與實踐為素材,以道義邏輯的成果為借鑒,來形式化建構(gòu)法律邏輯系統(tǒng)。

[關(guān)鍵詞]應(yīng)用邏輯 法律 道義邏輯 系統(tǒng)建構(gòu)

一、應(yīng)用邏輯是法律邏輯的發(fā)展方向

法律邏輯是應(yīng)用邏輯還是邏輯的應(yīng)用?這個問題一直是我國的邏輯界與法學(xué)界爭論的焦點問題。有學(xué)者認(rèn)為:“法律邏輯就是普通邏輯在法學(xué)領(lǐng)域中的具體運用,其理論基礎(chǔ)就是形式邏輯所闡述的原理?！边@種觀點認(rèn)為,法律邏輯沒有什么特定的研究對象,它就是形式邏輯原理在法的理論、法的規(guī)范和法的實踐中的應(yīng)用。因此,法律邏輯的研究對象就是法律中的邏輯問題,所以,持這種觀點的學(xué)者認(rèn)為,法律邏輯是形式邏輯在法律規(guī)范或法律活動中的應(yīng)用。第二種觀點則認(rèn)為,法律邏輯作為一門學(xué)科,應(yīng)有其獨立的研究對象。很多學(xué)者同意第二種觀點。他們認(rèn)為,作為一門學(xué)科,法律邏輯是應(yīng)該有其特定的研究對象的,而作為一門邏輯學(xué)的分支學(xué)科,它的研究又應(yīng)是與一般邏輯學(xué)的研究對象相對應(yīng)、相關(guān)聯(lián)的。鑒于這種考慮,我們可以簡單地將法律邏輯的研究對象界定為:法律邏輯是一門主要研究法律思維形式及其邏輯方法的科學(xué)。

1.法律邏輯的研究是必須是認(rèn)真嚴(yán)肅和科學(xué)嚴(yán)謹(jǐn)?shù)摹７蛇壿嬜鳛橐婚T邏輯學(xué)的主要分支學(xué)科,就應(yīng)有其獨立研究對象。但是邏輯學(xué)及其分支學(xué)科不能輕易的就將其與“思維”這個龐雜的系統(tǒng)相聯(lián)系,思維帶來的一系列心理因素,給邏輯學(xué)支起了一個不穩(wěn)定的框架,使其陷入了一個無窮盡的、未知的空間。

2.法律推理與一般邏輯推理是有區(qū)別的。一般推理理論以演繹推理為主。特別強調(diào)從前提到結(jié)論的必然性推理,輕視“可能性的”、或然的推理;而法律邏輯既重視必然性推理,也重視“可能性的”、或然的推理。比如,回溯推理是刑偵人員在分析案件時采用的或然性推理方法,但這一推理的形成在一般邏輯理論中是予以排斥的。所以,以一般的推理理論為工具,系統(tǒng)地研究各種法律推理,揭示其方法、形式、規(guī)則與規(guī)律并加以系統(tǒng)化,從而解決法律推理的有效性問題和推導(dǎo)問題,這就是法律推理研究的主要內(nèi)容。

3.法律邏輯應(yīng)是一門應(yīng)用邏輯。應(yīng)用邏輯是元邏輯(兩者都是作為一般邏輯理論系統(tǒng)的純邏輯或理論邏輯)在某種具體科學(xué)領(lǐng)域中的應(yīng)用而形成的邏輯系統(tǒng)。如數(shù)理邏輯、模態(tài)邏輯和道義邏輯等。而在我國學(xué)術(shù)界有著這樣一種認(rèn)識:把運用普通邏輯和數(shù)理邏輯的基本原理去研究某一學(xué)科領(lǐng)域中的特殊邏輯問題而稱作應(yīng)用邏輯。所以,現(xiàn)在的大部分有關(guān)法律邏輯的出版書籍的研究對象仍然是以普通的內(nèi)容為基礎(chǔ)的,將普通邏輯原理與法律實例結(jié)合。因此,法律邏輯并沒有任何的創(chuàng)新,也沒有完整的邏輯系統(tǒng),以致法律邏輯浮淺且失去了自身的個性,同時也阻斷了向縱深開拓這門學(xué)問的空間。

二、道義邏輯系統(tǒng)應(yīng)用于法律邏輯體系構(gòu)建探討

既然法律邏輯是一門應(yīng)用邏輯,它是將邏輯理論應(yīng)用于法律領(lǐng)域而形成的,那么,作為法律邏輯的應(yīng)用工具與基礎(chǔ)的“純邏輯”應(yīng)該是什么呢?是普通邏輯,還是現(xiàn)代數(shù)理邏輯或者辯證邏輯呢?具備獨立體系的普通邏輯、數(shù)理邏輯與辯證邏輯均可以運用于法律領(lǐng)域?；诳茖W(xué)發(fā)展趨于定量化與形式化,因此,關(guān)于法律邏輯研究的最終目標(biāo)應(yīng)該是用現(xiàn)代邏輯為工具來研究法律中的邏輯問題,形成關(guān)于法律邏輯的邏輯演算系統(tǒng)。以模態(tài)詞“應(yīng)該”、“允許”、“禁止”為研究特征而形成獨立體系的道義邏輯即是一個有力的證明。

邏輯學(xué)家基于廣義模態(tài)邏輯理論,對模態(tài)邏輯中的某些算子作道義模態(tài)詞解釋,對模態(tài)邏輯系統(tǒng)中的公理或規(guī)則加以修改或補充,從而建立了不同的道義邏輯系統(tǒng)。在這方面的工作首推邏輯學(xué)家馮?萊特和安德森。道義邏輯系統(tǒng)分為:絕對道義邏輯系統(tǒng)和相對道義邏輯系統(tǒng)。在道義邏輯系統(tǒng)中,模態(tài)詞“應(yīng)該”以字母“O”表示,模態(tài)詞“允許”用字母“P”表示,模態(tài)詞“禁止”用字母“F”表示。將數(shù)理邏輯中的公式引入。則可以證明很多定理,例如:

T1 Op→O(p∨q) 表示:如果應(yīng)該p,則應(yīng)該p或者q;

T2 Pp→P(p∨q) 表示:如果允許p,則允許p或者q;

T3 Fp→O(p→q) 表示:做一件禁止的事情使我們承諾去做任何事情;

T4 Oq→O(p→q) 表示:做任何一件事情都使我們承諾去做那件應(yīng)該做的事情。

法律邏輯如完全以絕對道義邏輯(樸素絕對道義邏輯系統(tǒng)和真值道義邏輯系統(tǒng))的方法建立,得出的道義邏輯系統(tǒng)OK、OD、OT、OS4、OS5等,必存在悖論問題(道義不足道的)。根據(jù)模態(tài)詞及推理形式可以得出,道義邏輯系統(tǒng)能夠引出法律邏輯系統(tǒng)的構(gòu)建。

1.一個可行的邏輯系統(tǒng)應(yīng)有其形式規(guī)則、公理系統(tǒng)及算子,并且通過推理規(guī)則推演定義、定理。以這樣的系統(tǒng)來處理司法實踐中的問題,才能稱之為應(yīng)用邏輯。法律邏輯要以應(yīng)用邏輯的形式來展現(xiàn)其魅力和作用,應(yīng)當(dāng)有其可行的邏輯系統(tǒng)作為框架來促進(jìn)理論和形式的有效性。

2.道義邏輯作為模態(tài)邏輯的一個分支學(xué)科,其根源來源于可能世界理論,所以除絕對道義邏輯外,還以相對道義邏輯來解釋各種問題。研究相對道義邏輯我發(fā)現(xiàn),相對道義邏輯是“條件性”的道義邏輯,O(A/B) <條件性義務(wù)>[在條件B下應(yīng)該A]、P(A/B)<條件性允許>、F(A/B)<條件性禁止>。這里對道義邏輯中的道義詞“允許”“義務(wù)”“禁止”境化了。這里的“境化”,我認(rèn)為符合法律推理中的條件限制性,例:一個正常人應(yīng)該做,則可能做。“正?！奔词菍Α叭恕钡臈l件制約。

3.在傳統(tǒng)邏輯中是以前件推出后件:p→q,而法律邏輯中的溯因推測法即根據(jù)若干特征來推出原因及其之間的聯(lián)系。以可能世界理論理解,也就是從必然的結(jié)果推出可能的原因:□q→◇p。而這里的p可以數(shù)組形式表示:p[n],n表示任一或多個(p:表示條件或可能性的)。例如,定義數(shù)組Act[8],則該數(shù)組可以用來描述8個可能構(gòu)成犯罪的行為。從理論來講,法律的作用是以法條來制約不正當(dāng)和不成文的習(xí)慣,因此,它具有先果后因的作用和性質(zhì)。

通過對道義邏輯以及司法推理的研究,以道義邏輯系統(tǒng)和弗協(xié)調(diào)邏輯系統(tǒng)為基礎(chǔ),來建構(gòu)一個簡單的法律邏輯系統(tǒng),以形式化的法律邏輯系統(tǒng)加強法律邏輯的確定性、可控性,使法律邏輯學(xué)真正的成為應(yīng)用邏輯來充實邏輯科學(xué),為司法實踐工作做出貢獻(xiàn)。

參考文獻(xiàn):

[1]余俊偉.論道義邏輯系統(tǒng)的歸約及其相關(guān)問題[J].西南師范大學(xué)學(xué)報,2001,(3).

[2]張大松.法律邏輯學(xué)教程[M].北京:高等教育出版社,2003.

[3]陳波.邏輯哲學(xué)導(dǎo)論[M].中國人民大學(xué)出版社,2000.

[4]杜國平.“真”的歷程-金岳霖理論體系研究[M].中國社會科學(xué)出版社,2003.