現代邏輯在法律中的套用

內容簡介

《現代邏輯在法律中的套用》回答了法律人總追問的：現代邏輯對法律到底有什麼重要意義？簡單的說，對該問題可以這樣回答：“現代邏輯提供了具有內在一致性的表達和分析思維的全新原則和方法，而這種思維是正確、有效地完成法律工作所必不可少的。”這個答案也許並不能徹底消除對現代邏輯在法律中套用的困惑。如果希望有更進一步的了解，就必須深入到一些相關分析之中，它們從多個方面證明了現代邏輯對法律思維的重要作用。《現代邏輯在法律中的套用》就是講如何深入這些分析之中的，以及在這一過程中，法律邏輯所面對的各種質疑。藉助於法律邏輯，法律思維的合理性得到增強，至今所取得的成就以及正在取得的成就很好地回應了其中的一些批評。

縮寫詞列表
導論
第一部分法律邏輯的理論基礎
第一章命題演算系統
第一節命題演算的初步知識
第二節命題演算的形式化規則
第三節命題演算的一個公理系統
第四節命題演算常用定理列表
第二章謂詞演算系統
第一節謂詞演算初步知識
第二節謂詞演算的形成規則
第三節謂詞演算的句法系統
第四節謂詞演算定理表
第三章證明邏輯有效性和可靠性的方法
第一節邏輯證明基礎知識
第二節直接、間接、條件證明方法
第三節完全真值表方法
第四節簡化真值表方法
第四章作為判定程式的反公式方法
第一節反公式方法的基本結構
第二節反公式方法在命題演算中的套用
第三節反公式方法在謂詞演算中的套用
第四節反公式方法的套用技巧及更廣泛的套用
第二部分法律邏輯的運用
第五章法律語言的邏輯結構
第一節法律語言的邏輯運算元表達
第二節法律語言中謂詞和量詞的表達
第三節法律語言形式化
第四節不同法律領域的形式化範例
第六章司法推理的邏輯檢驗
第一節簡化真值表方法的套用
第二節直接證明方法的套用
第三節反公式方法的套用
第四節法律推理中的無效性和不可靠性
第七章處理一些特殊法律問題中的邏輯運用
第一節贈予有效性的邏輯檢驗
第二節法律模糊性的邏輯分析
第三節法律衝突與法律漏洞的邏輯分析
第四節 Non—liquet（“欠明確”）的邏輯構想
附錄C：法律推理的探究程式
附錄D：法律邏輯的一個宣言
參考文獻
索引詞
譯文後記

現代邏輯在法律中的套用

基本介紹

內容簡介

目錄

相關詞條

熱門詞條