摘 要 法律邏輯學是法學和邏輯學的交叉學科，它有固有的邏輯基礎——形式邏輯，但在具體案例中，案件事實往往不那么明晰，再加上形式邏輯本身固有的性質，使得僅有形式邏輯不足以支撐起法律邏輯學的大廈，法律實踐中遇到的問題很多還要留給非形式邏輯去解決。
關鍵詞 法律邏輯學 形式邏輯 非形式邏輯
作者簡介：張曉婷，華南師范大學碩士研究生，研究方向：法律邏輯學。
中圖分類號：D90文獻標識碼：A文章編號：1009-0592（2013）09-001-02
在我國，法律邏輯的研究開始于80年代初期，起步較晚，而且國內學者對國外法律邏輯的研究狀況也了解較少。在我國法律邏輯研究的初期階段，法律邏輯學的主要研究方向是如何把形式邏輯的知識應用到法律當中，法律邏輯的任務在于把形式邏輯的一般原理運用于法學和法律工作中。但隨著研究的深入以及學科理論的發展，不少學者認識到把法律邏輯限制在形式邏輯的框架下，不僅阻礙了這一學科的發展，也沒能使這一學科發揮出其應有的作用。因此，國內的法律邏輯學教材多呈現出兩種趨勢，一種是以形式邏輯為框架穿插法律案例，以形式邏輯的推論來解決法律案例中的邏輯問題；①另一種是不局限于形式邏輯，而是采用了更多的非形式邏輯的方法來解決法律實踐中遇到的難題。②在這樣的背景下，便產生了法律邏輯學的研究方向的轉向。有的學者更多的是從法律的角度出發，把法律思維分為立法和司法兩個領域，司法領域中所涉及的推論分為事實推理、法律推理和判決推理。③也有的學者更多的是從邏輯學角度出發，認為法律邏輯學研究的主要趨向應該是非形式邏輯的方向。④本人認為法律邏輯學是法學和邏輯學的交叉學科，它既是法學的一個分支，又是邏輯學的一個分支，它運用的是邏輯工具，它需要解決的則是法律領域的問題，因此法律邏輯學有著它固有的邏輯基礎——形式邏輯，但僅有形式邏輯明顯不足以支撐起法律邏輯學的大廈，法律實踐中遇到的問題很多還要留給非形式邏輯去解決。
一、形式邏輯與法律邏輯學
法律推理是指運用“情境思維”的方法或“個別化的方法”來解讀或解釋法律，從已知或假定的法律語境出發判斷出法律意思或含義的推論，是一個在法律語境中對法律進行判斷或推斷的過程。法律推理旨在為案件確定一個可以適用的法律規則即上位法律規范，為判決確立一個法律理由或法律依據即裁判大前提。形式邏輯可以為法律邏輯學提供一定的理論基礎，這是毋庸置疑的，運用形式邏輯的方法來解決法律邏輯問題的案例在法律邏輯學教科書中也屢見不鮮：
偵查機關通過一番調查，初步判斷：
被害者的上級（B）、妻子（M）、秘書（G）中至少有一人是兇手，但他們不全是兇手。
僅當謀殺發生在辦公室里（A），上級才是兇手；如果謀殺不發生在辦公室里，秘書不是兇手。
假如使用毒藥（C）那么除非妻子是兇手，上級才是兇手；但妻子不是兇手。
毒藥被使用了，而且謀殺未發生在辦公室里。
問：偵查員的這些判斷都是真實的嗎？⑤
解決這一問題首先需要把四個命題用形式化的方法表示出來，然后運用自然推理系統PN進行推理，推理過程中如果得出了相互矛盾的結果則說明這些判斷不都是真實的，如果得出的結果沒有相互矛盾，則證明這些判斷都是真實的。這是運用形式邏輯來解決刑事案件的典型例子。從這個例子可以看出，形式邏輯是研究推理的，是一種證明的邏輯，傳統法律邏輯運用的是傳統邏輯即形式邏輯，可見它解決的是法律推理問題。所謂推理是指由一個推論的序列組成的推論鏈，其中一個推論的結論是下一個推論的前提；所謂推論是指一組命題，其中一個命題是結論，其他命題是前提；而一個推理序列則組成了論證，其中一個推理的結論充當了下一個推理的前提?？梢哉f，一個論證包含了多個推理，一個推理包含了多個推論。形式邏輯雖然解決了法律推理問題，但是未能解決法律論證問題。
另外，法律推理理論的研究大致有兩個方向，一是法律的形式推導，二是法律的實質推導。法律的形式推導是指基于法律的形式理性或邏輯理性進行的法律推理，是基于法律規范的邏輯性質或邏輯關系進行的法律推理。法律的形式推導的結果是法律規范的邏輯后承，是對法律規范進行邏輯判斷的結果，是對法律規范進行“形式計算”或“概念計算”的結果。如果要進行法律形式推導，則必定是建立在法律規范含義明確清晰，案件事實確鑿清楚，案件所適用的法律規范是確定無疑義的情況下的，這樣一來就可以根據法律規范本身的邏輯特性，按照相應的邏輯規則進行推理，這種推理可以運用形式邏輯的的方法，但是這種法律形式推理只適用于較為簡易的案件判決。從這里可以看出，形式邏輯確實可以為法律邏輯學提供一定的理論基礎。
雖然形式邏輯可以為法律邏輯學的研究提供一定的方法，但是僅僅有形式邏輯時無法滿足法律邏輯學發展的需要的。眾所周知，能夠進入訴訟程序的案件往往不是那么容易就被確認的，控辯雙方經常會在法律規范的模糊意義下擺出自己的道理，控辯雙方對于案件事實的描述也往往大相徑庭，在這種情況下，法官則需要運用法律的實質推導來處理案件。法律的實質推導是指基于實踐理性或目的理性以及價值理性進行的法律推理。它是基于法律意圖或目的、法律的價值取向、社會效用或社會效益、社會公平正義觀念等實質內容對法律展開的推論。在法律出現空隙，法律規范含混不清，相互抵觸，“合法”與“合理”相悖的困境等問題上，法律實質推理作出了法律形式推理無法給出的回答。
形式邏輯也有傳統和現代之分，傳統形式邏輯主要是指亞里士多德三段論理論和斯多葛命題邏輯為主體的形式邏輯，現代形式邏輯主要是指皮爾士、弗雷格、羅素、希爾伯特等人發展起來的數理邏輯或符號邏輯。從形式邏輯本身性質來看，它自身的一些特點決定了它無法完全滿足法律邏輯學發展的需要。
首先，我們知道形式邏輯主要研究的是演繹推理的有效性問題，如果想要得到真實可靠的結論，則需兩個條件：前提真實并且形式有效，而形式邏輯關心的則是人工語言論證和邏輯系統的有效性，它對前提是否真實則關注不夠。一個論證的形式是有效的并不能保證前提是真的?！靶问竭壿媽φ撟C的評價是從真前提開始，但如何判定前提的真假，這已經超出形式邏輯所討論的范圍?！?/p>
其次，在法律事務中遇到的問題往往不像上述例子中那么簡單，某些不確定的因素總是包含在法律論證的大、小前提（即法律規范和案件事實）當中，在由前提到結論的推論中，不是單純的形式邏輯的推演活動，因而這樣的推論不可能是像書本例題中的那種簡單形式邏輯的操作。作為法律論證大前提的法律規范是基于自然語言的產物，因此難免會受到自然語言多義性、模糊性的影響，導致法官、律師在運用法律規范的過程中產生困擾。
在實際操作中，作為法律推論小前提的案件事實并不總是清晰地擺在人們面前，法官、律師也總是面對不完整的案件事實而進行推理、推論，而形式邏輯所進行的演繹推理必然是在前提充分的條件下進行的，它關注的更多是程序化的論證及人工語言的論證。從這點來看，用形式邏輯來進行法律推論顯然是力不從心的。
再次，形式邏輯所研究的命題都是事實命題，是有真值的對象，形式邏輯對事實命題做出的非此即彼的評價是形式邏輯二值性的充分體現。但是在法律文本中有較多的命題并非事實命題，而是如“外國人入境，應當向出入境邊防檢查機關交驗本人的護照或者其他國際旅行證件、簽證或者其他入境許可證明，履行規定的手續，經查驗準許，方可入境。（中華人民共和國出境入境管理法第二十四條）”這一類的規范命題或價值命題，這類命題的性質無所謂真假，它們也不充當演繹推理的前提和結論，這類命題顯然已經超出了形式邏輯的研究范圍。形式邏輯并不專門以法律領域中的推理與論證為對象，沒有涵蓋法律思維領域里的全部推理與論證。
第四，《牛津法律大辭典》指出：“法律推理是對法律命題的一般邏輯推理”，包括演繹推理、歸納推理和類比推理。法律思維中涉及了大量的歸納推理、類比推理、語境推理等，這些都屬于非演繹推理的范疇，而形式邏輯對非演繹推理的研究十分粗糙，無法滿足法律思維的實踐，因此形式邏輯無法有效地評價、規范全部法律思維。
二、法律邏輯學的研究方向——非形式邏輯
非形式邏輯興起于上個世紀60年代，到目前為止，它還沒有一個完全統一公認的概念，現任《非形式邏輯》雜志主編拉爾夫·約翰遜（RalphH.Johnson）和安東尼·布萊爾（J.AnthonyBlair）提出：“非形式邏輯是邏輯的一個分支，其任務是講述日常生活中分析、解釋、評價、批評和論證建構的非形式標準、尺度和程序”。這個定義被認為是當今流行的定義。從這個定義中可以看出，非形式邏輯的研究對象是日常生活的語言，也就是自然語言，這一點恰恰迎合了法律邏輯學以自然語言為文本的的特性。
非形式邏輯之所以是“非形式的”，這主要是因為它不依賴于形式演繹邏輯的主要分析工具——邏輯形式的概念，也不依賴于形式演繹邏輯的主要評價功能——有效性。非形式邏輯在這方面與形式邏輯形成了良好的互補，形式邏輯研究論證主要是基于語義的研究，即真假命題之間的關系研究；而非形式邏輯研究論證主要是基于語用的研究，即從語境和論證目的角度進行研究，正是這一點成為了法律邏輯學與非形式邏輯的完美聯姻。在法律邏輯學中，與法律形式推導對應的是法律實質推導，法律實質推導是指基于實踐理性或目的理性以及價值理性進行的法律推理，是基于法律意圖或目的、法律的價值取向、社會效用或社會利益、社會公平正義觀念等實質內容之間的關系對法律展開的推論，可分為法律的目的推導和價值推導。法律實質推導是基于目的蘊涵和價值蘊涵，而不是基于形式蘊涵，因此它應當有不同于法律形式推導的框架，而非形式邏輯從語境和論證目的角度進行研究就為法律實質推導提供了工具。
如果說傳統邏輯是研究如何區分正確推理與不正確推理的科學，那么非形式邏輯則是研究如何區別好的論證與不好的論證的科學，可見，形式邏輯是一種證明的邏輯，非形式邏輯是一種論證的邏輯，二者的研究對象發生了從“推理”向“論證”的轉變，這一轉變導致了從人工語言形式推理領域向自然語言的現實生活論證領域的轉變，非形式邏輯在這一點上對形式邏輯的克服與發展成為了法律邏輯理論與實踐的重要方法和工具。
形式邏輯可以用真、假來描述事實命題，但是在法律邏輯的語言中，以價值命題、規范命題居多。價值命題反映了人對于某一對象的價值偏好，和客觀事實本身的關聯是一種觀念上的關聯，這些命題本身不存在真假的問題，它不是真假的適用對象。例如，“法律面前人人平等?！本蛯儆诘赖聝r值命題。價值命題有應該和不應該之分，隨著對事物好壞的評價它會產生某種認同，這種認同有的形成了習俗慣例，有的則形成了強制性的法律和規定，這種認同的命題形式就是規范命題。在法律規范、條文中這類命題比比皆是，把這類命題留給非形式邏輯來處理將會比形式邏輯收到更好的效果。
注釋：
①吳家麟主編.法律邏輯學.群眾出版社.1984年版；黃偉力編.法律邏輯學導論.上海交通大學出版社.2011年版.
②⑤王洪.法律邏輯學.中國政法大學出版社.2008年版.第144頁.
③王洪.法律邏輯研究的主要趨向.哲學動態.2009（3）.
④張曉光.非形式邏輯框架下的法律邏輯研究.社會科學.2010（12）；孔紅.法律邏輯的研究工具與對象.中山大學學報.2003（43）.
參考文獻：
[1]王洪.邏輯的訓誡——立法與司法的準則.北京大學出版社.2008年版.第90頁.
[2]熊明輝.從法律論證到訴訟論證——談談法律論證邏輯研究對象的轉變.求是學刊.2007.
[3]周禎祥.事實命題、價值命題、規范命題及其邏輯.華南師范大學學報.2004.
[4]熊明輝.非形式邏輯的對象及其發展趨勢.中山大學學報.2006.
