法律规范逻辑【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

法律规范逻辑PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一节 从规范体系到规范逻辑2

第一章 规范逻辑的产生和发展2

第二节 现代规范逻辑的创建3

一、麻里的规范逻辑9

二、冯莱特的规范逻辑9

三、安德逊的规范逻辑9

第三节 现代规范逻辑的发展9

一、洛斯悖论18

二、“导出义务”的悖论18

三、“违背义务的命令”的悖论四、二元规范逻辑的两个类型五、规范谓词逻辑和规范时态逻辑第二章 普通命题逻辑第一节 复合命题形式及其规律18

五、归谬赋值法30

第二节 普通命题演算P系统的出发点30

七、公理化方法和形式系统30

六、常真式都是逻辑规律30

三、复杂的复合命题及其形式30

四、真值表方法30

二、基本的复合命题及其形式30

一、命题和命题形式30

一、形式语言Lp32

二、P推演工具32

三、证明的结构32

第三节 P系统的定理和导出规则32

一、定理和应用蕴涵式定理的规则二、演绎定理三、置换定理四、复合命题形式之间的相互关系五、关于合取和析取的定理六、其他重要定理第四节 范式和解释48

第五节 P系统的元定理54

五、范式的判定作用54

四、P系统的解释54

二、求范式的步骤54

一、什么是范式54

三、优范式54

一、P可靠性定理58

二、P一致性定理58

三、P完全性定理58

四、P的可判定性58

第三章 真理模态命题逻辑58

第一节 模态命题和真理模态命题58

一、模态命题和模态词62

二、真理模态命题及其形式62

三、真理模态命题演算62

第二节 真理模态命题演算的出发点62

三、不同的标准系统64

第三节 T系统64

一、相同的形式语言Lt64

二、不同的推演工具64

一、用K公理所证的定理70

二、加用T公理所证的定理70

第四节 S4系统和S5系统70

一、S4系统74

二、S5系统74

第五节 T，S4，S5系统的解释74

一、可能世界语义解释〈W,R,V〉二、可能世界集W和赋值V三、不同性质的二元关系R四、常真和可满足第六节 T，S4，S5的可靠性和一致性78

一、T，S4，S5的可靠性定理81

二、一致性定理81

第七节 语义图及其判定作用81

第八节 T，S4，S5系统的完全性89

四、S5语义图89

一、各系统通用的作图规则89

二、T语义图89

三、S4语义图89

一、T完全性的引理96

二、T完全性定理96

三、S4完全性定理96

四、关于S5的完全性96

第四章 规范命题和冯莱特的演算96

第一节 法律规范命题及其逻辑形式96

一、法律规范命题102

二、法律规范命题形式102

第二节 规范命题演算的概述102

三、不同的规范命题演算106

第三节 冯莱特的规范命题演算106

二、不同的推演工具106

一、不同的形式语言106

一、形式语言Lv115

二、OR和ORD推演工具115

三、OR系统的定理115

四、ORD系统的定理115

第四节 冯莱特的规范模态真值表115

第五节 OR和ORD系统的元逻辑118

一、OR和ORD系统的可靠性121

二、OR和ORD系统的完全性121

第五章 规范命题逻辑的标准系统121

第一节 标准规范命题演算的出发点121

二、相同的基本推理规则和不同的公理集第二节 OK系统和OKD系统123

一、相同的形式语言Lo123

二、OKD系统的定理128

三、关于“违背义务的命令”的悖论第三节 从OK4系统到OK45D系统128

一、OK系统的定理128

一、OK4和OK4D系统135

二、OK45系统135

三、OK45D系统135

四、关于高级规范模态公式的讨论第四节 规范逻辑标准系统的解释和可靠性135

三、不同的可通关系R140

四、常真和可满足140

五、规范逻辑标准系统的可靠性第五节 判定方法和完全性140

二、赋值V140

一、可能世界集W140

一、作语义图的通用规则149

二、OK语义图和语义可判定性149

三、OKD语义图和语义可判定性149

四、其余几个系统的语义图149

五、OK系统的完全性149

六、OKD系统的完全性149

七、其余几个系统的完全性149

第六章 真理模态逻辑上再生的规范命题逻辑第一节 真理模态命题演算的扩展 T149

一、真理模态逻辑语言Lt扩展为Lts二、再生规范命题演算的推演工具第二节 Ts，S4s，S5s系统151

一、Ts系统中K公理导出的定理159

二、关于权利的自由选择性的讨论三、Ts系统中T公理导出的定理四、S4s系统五、S5s系统第三节 TOD，S4OD，S5OD系统159

五、对再生规范逻辑的评论164

四、S5OD系统164

第四节 再生规范逻辑的元逻辑164

二、TOD系统164

一、关于制裁命题常项s的公理164

三、S4OD系统164

一、〈W,R,sad,V〉解释169

二、S5OD的可靠性169

三、关于Ts、S4s、S5s的完全性四、关于TOD，S4OD，S5OD的完全性第七章 二元的规范命题逻辑第一节冯莱特的二元规范逻辑169

一、1956年首创的二元规范逻辑二、冯莱特“新系统”的出发点三、“新系统”的定理四、“新系统”中用B1和B3所证的定理五、“新系统”的修正第二节 标准的二元规范逻辑174

三、OdyK系统180

五、OdyKD，OdyK4D，OdyK45D系统六、对标准二元规范逻辑的评论第三节 再生的二元规范逻辑180

四、OdyK4和OdyK45系统180

二、不同的推演工具180

一、相同的形式语言Lody180

一、概述186

二、相同的形式语言和不同的系统三、Ts系统中的二元规范定理四、S4s系统中的二元规范定理五、S5s系统中的二元规范定理六、不能再生OdyD作定理第四节 二元规范逻辑的元逻辑简述186

一、关于冯莱特的“新系统”188

二、关于标准的二元规范逻辑188

三、关于再生的二元规范逻辑188

第八章 法律工作的逻辑要求188

第一节 立法的逻辑分析188

五、全称规范和量词的作用197

四、法律规范的种类197

六、除外规范和规范条件的表述七、法律文件的结构第二节 行政执法的逻辑分析197

二、法律规范是行为规则197

一、法律规范的制定197

三、法律规范的结构197

一、法律的行政适用200

二、行政处理的逻辑特点200

三、单称规范命题200

第三节 守法和违法200

一、法律的遵守207

二、合同和相对权207

三、义务的履行和违背207

四、权利的自由选择性和权利的实施五、滥用权利和侵权的违法行为第四节 司法的逻辑分析207

二、侦查破案中的逻辑问题214

三、查明事实真相的证明和反驳四、行为的性质问题五、以法律为准绳六、关于制裁的进一步分析第五节 法律工作逻辑要求的综述214

一、法律的司法适用214

一、法律规范逻辑的表达能力220

二、法律规范逻辑的推理能力220

第九章普通谓词逻辑220

第一节 谓词演算的准备知识220

一、个体词和谓词234

二、原子公式234

三、量词234

四、谓词公式的形成和名称234

五、简单命题和复合命题的谓词公式六、谓词逻辑规律第二节 普通谓词演算Q系统的出发点234

一、形式语言LQ239

二、Q推演工具239

第三节 Q系统的定理和导出规则239

五、关于三段论的定理256

四、演绎定理256

第四节 前束范式和彐前束范式256

三、置换定理256

二、定理模式和导出规则256

一、定理256

一、前束范式258

二、彐前束范式258

第五节 Q系统的解释和一些判定方法258

一、Q的〈D,V〉解释267

二、可满足和常真267

三、判定某些公式不常真的转换赋值法四、判定某些公式常真的Q语义图第六节 Q系统的可靠性和一致性267

一、Q系统的可靠性270

二、Q系统的一致性270

第七节 Q系统的完全性和判定问题270

二、相对于Q系统的最大一致集∑三、∑的解释四、证明∑可满足五、Q完全性定理六、判定问题第十章 Q系统上再生的法律规范逻辑第一节 从普通逻辑到法律应用逻辑278

一、构造并证明最大一致集278

一、普通逻辑和应用逻辑281

二、法律应用逻辑281

第二节 再生法律规范逻辑Qs的出发点281

一、Qs的初始符号及其应用解释二、形成规则三、定义和对定义的说明四、Qs的推演工具第三节 Qs系统中的法律规范逻辑定理287

一、规范命题的含义和相互关系定理二、单称命令、授权和它们的量化定理三、规范词对联结词的分配性定理四、反映法律规范实施情况的定理五、权利的自由选择性和越权的定理六、关于侵权的定理第四节 除外规范和有条件规范的定理307

一、法律除外规范命题的形式311

二、有条件规范的逻辑公式311

三、Qs中的有条件规范定理311

四、关于规范的条件的推导311

第五节 关于相对权的定理311

第六节 给Qs增加公理的尝试312

第七节 Qs系统的解释和可靠性313

第八节 Qs系统的完全性316

三、Qs的可靠性316

二、可满足和常真性316

一、Qs的〈D,V〉解释316

一、构造相对于Qs的最大一致集∑二、∑的〈D,V〉解释三、相对于Qs的最大一致集∑可满足四、Qs完全性定理第十一章 在法律工作中应用Qs的方法第一节 应用逻辑规律的一般方法319

一、应用Qs定理的步骤332

二、公式推导的一般规则332

三、量化公式的推导规则332

四、常用定理332

五、常用的谓词定理332

六、Qs中关于规范命题的重要定理第二节 法律中明确和准确运用概念的方法332

一、法律中的真实定义和语词定义二、法律中的内涵定义和外延定义三、特征描述和子类例举四、概念概括和限制的推导第三节 法律工作中证明和反驳的方法339

一、法律工作中的证明349

二、证明的传统规则349

三、诉讼法上的举证责任和证据的可靠性四、法律工作中的反驳五、论据不协调和证据不可靠六、排斥对方论题的直接反驳和归谬法七、间接反驳和“不在现场”的证明第四节 侦查假说中的演绎方法349

一、侦查假说提出过程中的真理模态推理二、从假说到可供验证的结论三、验证过程中的逻辑方法第五节 元定理和判定方法的应用价值353

一、法律推理有效性的一些判定方法二、法律、证据、前提协调性的判定方法三、统一法制中的法律冲突和元法律第十二章 规范谓词逻辑第一节 规范谓词演算的出发点360

一、形式语言LQo361

二、QOKB和QOKDB的推演工具361

第二节 QOKB和QOKDB的定理361

一、量化规范词之间的相互关系定理二、量化规范词的分配性定理三、QOKDB定理四、简短的评语第三节 规范谓词逻辑的解释和可靠性367

一、〈W,R,D,V〉解释368

二、QOKB的可靠性368

三、QOKDB的可靠性368

第四节 QOKB和QOKDB的完全性368

一、Q完全性的亨金证法379

二、OK和OKD完全性的亨金证法379

三、规范谓词演算的最大一致集？i四、从属于？i的最大一致集？k五、集族？的〈W,R,D,V〉解释六、最大一致集可满足七、QOKB和QOKDB的完全性主要参考书目379

后 记381