图书介绍

现代逻辑在法律中的应用2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

（奥地利）伊尔玛·塔麦洛著；李振江，张传新，柴盼盼译著
出版社：北京：中国法制出版社
ISBN：9787509336076
出版时间：2012
标注页数：181页
文件大小：49MB
文件页数：206页
主题词：法律逻辑学－研究

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：81557972eff3d7099181993d2cb3731b

下载说明

现代逻辑在法律中的应用PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

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

图书目录

缩写词列表1

导论1

第一部分法律逻辑的理论基础3

第一章命题演算系统3

第一节命题演算的初步知识3

第二节命题演算的形式化规则6

第三节命题演算的一个公理系统9

第四节命题演算常用定理列表14

第二章谓词演算系统17

第一节谓词演算初步知识17

第二节谓词演算的形成规则20

第三节谓词演算的句法系统24

第四节谓词演算定理表30

第三章证明逻辑有效性和可靠性的方法32

第一节逻辑证明基础知识32

第二节直接、间接、条件证明方法34

第三节完全真值表方法40

第四节简化真值表方法48

第四章作为判定程序的反公式方法56

第一节反公式方法的基本结构56

第二节反公式方法在命题演算中的应用60

第三节反公式方法在谓词演算中的应用65

第四节反公式方法的应用技巧及更广泛的应用69

第二部分法律逻辑的运用77

第五章法律语言的逻辑结构77

第一节法律语言的逻辑算子表达77

第二节法律语言中谓词和量词的表达82

第三节法律语言形式化85

第四节不同法律领域的形式化范例91

第六章司法推理的逻辑检验100

第一节简化真值表方法的应用100

第二节直接证明方法的应用105

第三节反公式方法的应用112

第四节法律推理中的无效性和不可靠性115

第七章处理一些特殊法律问题中的逻辑运用125

第一节赠予有效性的逻辑检验125

第二节法律模糊性的逻辑分析129

第三节法律冲突与法律漏洞的逻辑分析132

第四节 Non-liquet（“欠明确”）的逻辑构想136

附录C：法律推理的探究程序141

附录D：法律逻辑的一个宣言148

参考文献149

索引词171

译文后记178