现代逻辑在法律中的应用PDF格式文档图书下载
- 购买点数:9 点
- 作 者:(奥地利)伊尔玛·塔麦洛著 李振江 张传新 柴盼盼译
- 出 版 社:北京:中国法制出版社
- 出版年份:2012
- ISBN:9787509336076
- 标注页数:181 页
- PDF页数:206 页
缩写词列表 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
- 《法律逻辑 关于法律逻辑理论与应用分析的思考与探索》缪四平主编 2012
- 《法律应用逻辑》(波)齐姆宾斯基著;刘圣恩等译 1988
- 《法律逻辑应用教程》吴诚,史晓斌主编 2017
- 《现代逻辑在法律中的应用》(奥地利)伊尔玛·塔麦洛著;李振江,张传新,柴盼盼译 2012
- 《法律逻辑研究》(荷兰)鸭谱·哈赫著;谢耘译 2015
- 《法律逻辑实用教程》董世平主编 2007
- 《法律逻辑新编教程》濮方平,王萍丽主编;吴诚,尹敬勉,覃缨副主编 2013
- 《法律逻辑学》郝建设主编 2006
- 《法律逻辑学》雍琦著 2004
- 《法律逻辑学》杨玉洁主编;田恩义,李宝东,许彦华副主编 2003
- 《现代逻辑在法律中的应用》(奥地利)伊尔玛·塔麦洛著;李振江,张传新,柴盼盼译 2012
- 《纵横美国 山姆·威顿传》山姆·威顿,约翰·惠伊合著;李振昌,吴郑重合译 1993
- 《审案的逻辑艺术》徐明良,张传新编著 2009
- 《历史的两面 动荡岁月的生活记录》(美)威尔玛.伊格尔斯,(美)格奥尔格.伊格尔斯著;孙立新,蒋锐等译;陈启能,王学典,姜芃主编 2014
- 《法律逻辑学》陈金钊,熊明辉主编;郝建设,张传新,杨建军副主编 2015
- 《2008拍卖图鉴 瓷器》李振江主编 2008
- 《乐趣与负罪感》(德)伊尔玛·迪尔巴·布尔瑙茨基著;杨毅君译 2003
- 《神效良药参麦注射液》李振江主编 2003
- 《亲亲热热 广场秧歌剧》北彦,邓旭,汉章,于川,李振江等集体创作 2222
- 《法律逻辑学》李振江主编 2004