現(xiàn)代邏輯在法律中的應(yīng)用

縮寫詞列表
導(dǎo)論
第一部分　法律邏輯的理論基礎(chǔ)
第一章　命題演算系統(tǒng)
第一節(jié)　命題演算的初步知識(shí)
第二節(jié)　命題演算的形式化規(guī)則
第三節(jié)　命題演算的一個(gè)公理系統(tǒng)
第四節(jié)　命題演算常用定理列表
第二章　謂詞演算系統(tǒng)
第一節(jié)　謂詞演算初步知識(shí)
第二節(jié)　謂詞演算的形成規(guī)則
第三節(jié)　謂詞演算的句法系統(tǒng)
第四節(jié)　謂詞演算定理表
第三章　證明邏輯有效性和可靠性的方法
第一節(jié)　邏輯證明基礎(chǔ)知識(shí)
第二節(jié)　直接、間接、條件證明方法
第三節(jié)　完全真值表方法
第四節(jié)　簡(jiǎn)化真值袁方法
第四章　作為判定程序的反公式方法
第一節(jié)　反公式方法的基本結(jié)構(gòu)
第二節(jié)　反公式方法在命題演算中的應(yīng)用
第三節(jié)　反公式方法在謂詞演算中的應(yīng)用
第四節(jié)　反公式方法的應(yīng)用技巧及更廣泛的應(yīng)用
第二部分　法律邏輯的運(yùn)用
第五章　法律語言的邏輯結(jié)構(gòu)
第一節(jié)　法律語言的邏輯算子表達(dá)
第二節(jié)　法律語言中謂詞和量詞的表達(dá)
第三節(jié)　法律語言形式化
第四節(jié)　不同法律領(lǐng)域的形式化范例
第六章　司法推理的邏輯檢驗(yàn)
第一節(jié)　簡(jiǎn)化真值表方法的應(yīng)用
第二節(jié)　直接證明方法的應(yīng)用
第三節(jié)　反公式方法的應(yīng)用
第四節(jié)　法律推理中的無效性和不可靠性
第七章　處理一些特殊法律問題中的邏輯運(yùn)用
第一節(jié)　贈(zèng)予有效性的邏輯檢驗(yàn)
第二節(jié)　法律模糊性的邏輯分析
第三節(jié)　法律沖突與法律漏洞的邏輯分析
第四節(jié)　Non—liquet（“欠明確”）的邏輯構(gòu)想
附錄C：法律推理的探究程序
附錄D：法律邏輯的一個(gè)宣言
參考文獻(xiàn)
索引詞
譯文后記