出版時間:2012-5 出版社:中國法制出版社 作者:伊爾瑪·塔麥洛 頁數(shù):181 字?jǐn)?shù):124000
Tag標(biāo)簽:無
內(nèi)容概要
法律人總是傾向于追問:“現(xiàn)代邏輯對法律到底有什么重要意義?”簡單地說,對該問題可以這樣回答:“現(xiàn)代邏輯提供了具有內(nèi)在一致性的表達(dá)和分析思維的全新原則和方法,而這種思維是正確、有效地完成法律工作所必不可少的?!边@個答案也許并不能徹底消除對現(xiàn)代邏輯在法律中應(yīng)用的困惑。如果希望有更進(jìn)一步的了解,就必須深入到一些相關(guān)分析之中,它們從多個方面證明了現(xiàn)代邏輯對法律思維的重要作用?!冬F(xiàn)代邏輯在法律中的應(yīng)用》就是講如何深入這些分析之中的,以及在這一過程中,法律邏輯所面對的各種質(zhì)疑。借助于法律邏輯,法律思維的合理性得到增強(qiáng),至今所取得的成就以及正在取得的成就很好地回應(yīng)了其中的一些批評。
《現(xiàn)代邏輯在法律中的應(yīng)用》由伊爾瑪·塔麥洛編著。
作者簡介
作者:(奧地利)伊爾瑪?塔麥洛 譯者:李振江 張傳新 柴盼盼
書籍目錄
縮寫詞列表
導(dǎo)論
第一部分 法律邏輯的理論基礎(chǔ)
第一章 命題演算系統(tǒng)
第一節(jié) 命題演算的初步知識
第二節(jié) 命題演算的形式化規(guī)則
第三節(jié) 命題演算的一個公理系統(tǒng)
第四節(jié) 命題演算常用定理列表
第二章 謂詞演算系統(tǒng)
第一節(jié) 謂詞演算初步知識
第二節(jié) 謂詞演算的形成規(guī)則
第三節(jié) 謂詞演算的句法系統(tǒng)
第四節(jié) 謂詞演算定理表
第三章 證明邏輯有效性和可靠性的方法
第一節(jié) 邏輯證明基礎(chǔ)知識
第二節(jié) 直接、間接、條件證明方法
第三節(jié) 完全真值表方法
第四節(jié) 簡化真值袁方法
第四章 作為判定程序的反公式方法
第一節(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)域的形式化范例
第六章 司法推理的邏輯檢驗
第一節(jié) 簡化真值表方法的應(yīng)用
第二節(jié) 直接證明方法的應(yīng)用
第三節(jié) 反公式方法的應(yīng)用
第四節(jié) 法律推理中的無效性和不可靠性
第七章 處理一些特殊法律問題中的邏輯運(yùn)用
第一節(jié) 贈予有效性的邏輯檢驗
第二節(jié) 法律模糊性的邏輯分析
第三節(jié) 法律沖突與法律漏洞的邏輯分析
第四節(jié) Non—liquet(“欠明確”)的邏輯構(gòu)想
附錄C:法律推理的探究程序
附錄D:法律邏輯的一個宣言
參考文獻(xiàn)
索引詞
譯文后記
章節(jié)摘錄
版權(quán)頁: 第一章 命題演算系統(tǒng) 第一節(jié) 命題演算的初步知識 這里建構(gòu)的命題演算系統(tǒng)是本書確立和應(yīng)用的法律邏輯的理論基礎(chǔ)之一。該演算系統(tǒng)用符號化的形式語言表達(dá),通過對這種形式語言的規(guī)定和解釋,確立一種把法律思維的邏輯方面表達(dá)為邏輯公式的方法;該演算系統(tǒng)還確定了一些推導(dǎo)模式,通過這些模式確定法律推論的邏輯可靠性,以及法律論證的形式特點和要求。該演算系統(tǒng)將被構(gòu)建為一個公理系統(tǒng)。 之所以采用形式化和公理化方法僅僅是為了確立一種機(jī)制,以能夠處理法律思維的邏輯形式。這些方法僅僅是為了保證所建構(gòu)的演算系統(tǒng)的嚴(yán)密性,而不至于影響到法律思維本身,但絕不是建立一種法律及其操作的機(jī)械主義或形式主義。這樣做僅僅是為從形式的角度、運(yùn)用邏輯的方法處理和評價具體的法律思維提供一個堅實的基礎(chǔ)。 研究符號化的形式化語言如邏輯演算的思維科學(xué)被稱為是“符號學(xué)”,有關(guān)如何建構(gòu)一個邏輯演算的所有規(guī)定的理論被稱為“句法理論”,它通常屬于符號學(xué)的一個分支“語形學(xué)”。另外一個分支是對一個演算中的符號和公式解釋其意義的“語義學(xué)”。還有一個分支是關(guān)于一個演算中的符號和公式與使用它們的人的關(guān)系的“語用學(xué)”。本書的第一部分主要講語形學(xué)理論,第二部分主要討論語義學(xué)理論和語用學(xué)理論。 該演算自身表達(dá)為該邏輯的“對象語言”,為了建構(gòu)并應(yīng)用一個演算,需要做出與之內(nèi)容相關(guān)的大量的陳述。這些陳述被表達(dá)為該邏輯的“元語言”。這里使用的并不是完全形式化的語言,而是在自然語言的基礎(chǔ)上增加一些必要的符號。 這里建構(gòu)的命題演算系統(tǒng)建立在成熟的邏輯理論基礎(chǔ)之上。在闡述該理論時,不再特別地論述對邏輯一致地推理的相關(guān)問題和價值。對于我們確定的目標(biāo)而言,這種理論的可靠性已經(jīng)通過大量的理性思維領(lǐng)域的應(yīng)用獲得的經(jīng)驗得到驗證。然而,為了能夠更好地理解這種理論的原則和方法,以及正確地的應(yīng)用,本書的第二部分將對該演算系統(tǒng)所處理的各種不同問題進(jìn)行討論。 該命題演算系統(tǒng)的構(gòu)成如下: (1)原子公式 它們是該系統(tǒng)邏輯處理的最小單位。 (2)算子 它們是該系統(tǒng)形成更復(fù)雜表達(dá)式的方法。 (3)形成規(guī)則 它們規(guī)定哪些對象屬于該系統(tǒng)的條件。 (4)定義 它們是用特定對象表示其他對象的方法。 (5)公理 它們構(gòu)成該系統(tǒng)的根本對象,其他的對象可以根據(jù)它們推出。 (6)變形規(guī)則 規(guī)定該系統(tǒng)的推導(dǎo)模式。 在本系統(tǒng)中能被推導(dǎo)出的對象構(gòu)成了該系統(tǒng)的定理集合。如果一個對象是該系統(tǒng)的一個公理,或者是該系統(tǒng)的一個定理,那么它是該系統(tǒng)的論題(thesis)。 一個命題演算系統(tǒng)中包含哪些定義、公理、推導(dǎo)規(guī)則、定理多少是可以選擇的。因此可以建構(gòu)不同的演算系統(tǒng),但每一種系統(tǒng)都要滿足公理化的基本要求,因而會產(chǎn)生同樣的邏輯結(jié)果。
編輯推薦
《現(xiàn)代邏輯在法律中的應(yīng)用》由中國法制出版社出版。
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載
現(xiàn)代邏輯在法律中的應(yīng)用 PDF格式下載