点击选择搜索分类
首页 - 项目管理- 正文
☆☆☆☆☆
||
[奥] 伊尔玛·塔麦洛 著,李振江 等 译
出版社: 中国法制出版社 ISBN:9787509336076 版次:1 商品编码:11002890 包装:平装 丛书名: 西方法哲学文库 开本:32开 出版时间:2012-05-01 页数:181
导论
第一部分 法律逻辑的理论基础
第一章 命题演算系统
第一节 命题演算的初步知识
第二节 命题演算的形式化规则
第三节 命题演算的一个公理系统
第四节 命题演算常用定理列表
第二章 谓词演算系统
第一节 谓词演算初步知识
第二节 谓词演算的形成规则
第三节 谓词演算的句法系统
第四节 谓词演算定理表
第三章 证明逻辑有效性和可靠性的方法
第一节 逻辑证明基础知识
第二节 直接、间接、条件证明方法
第三节 完全真值表方法
第四节 简化真值袁方法
第四章 作为判定程序的反公式方法
第一节 反公式方法的基本结构
第二节 反公式方法在命题演算中的应用
第三节 反公式方法在谓词演算中的应用
第四节 反公式方法的应用技巧及更广泛的应用
第二部分 法律逻辑的运用
第五章 法律语言的逻辑结构
第一节 法律语言的逻辑算子表达
第二节 法律语言中谓词和量词的表达
第三节 法律语言形式化
第四节 不同法律领域的形式化范例
第六章 司法推理的逻辑检验
第一节 简化真值表方法的应用
第二节 直接证明方法的应用
第三节 反公式方法的应用
第四节 法律推理中的无效性和不可靠性
第七章 处理一些特殊法律问题中的逻辑运用
第一节 赠予有效性的逻辑检验
第二节 法律模糊性的逻辑分析
第三节 法律冲突与法律漏洞的逻辑分析
第四节 Non—liquet(“欠明确”)的逻辑构想
附录C:法律推理的探究程序
附录D:法律逻辑的一个宣言
参考文献
索引词
译文后记
现代逻辑在法律中的应用 电子书 下载 mobi epub pdf txt
现代逻辑在法律中的应用-so88
现代逻辑在法律中的应用 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
[奥] 伊尔玛·塔麦洛 著,李振江 等 译
出版社: 中国法制出版社 ISBN:9787509336076 版次:1 商品编码:11002890 包装:平装 丛书名: 西方法哲学文库 开本:32开 出版时间:2012-05-01 页数:181
编辑推荐
《现代逻辑在法律中的应用》就是讲如何深入这些分析之中的,以及在这一过程中,法律逻辑所面对的各种质疑。《现代逻辑在法律中的应用》共七章节,内容包括命题演算系统、谓词演算系统、证明逻辑有效性和可靠性的方法、作为判定程序的反公式方法、法律语言的逻辑结构、司法推理的逻辑检验等。本书给供相关人员参考阅读。内容简介
法律人总是倾向于追问:“现代逻辑对法律到底有什么重要意义?”简单地说,对该问题可以这样回答:“现代逻辑提供了具有内在一致性的表达和分析思维的全新原则和方法,而这种思维是正确、有效地完成法律工作所必不可少的。”这个答案也许并不能彻底消除对现代逻辑在法律中应用的困惑。如果希望有更进一步的了解,就必须深入到一些相关分析之中,它们从多个方面证明了现代逻辑对法律思维的重要作用。《现代逻辑在法律中的应用》就是讲如何深入这些分析之中的,以及在这一过程中,法律逻辑所面对的各种质疑。借助于法律逻辑,法律思维的合理性得到增强,至今所取得的成就以及正在取得的成就很好地回应了其中的一些批评。目录
缩写词列表导论
第一部分 法律逻辑的理论基础
第一章 命题演算系统
第一节 命题演算的初步知识
第二节 命题演算的形式化规则
第三节 命题演算的一个公理系统
第四节 命题演算常用定理列表
第二章 谓词演算系统
第一节 谓词演算初步知识
第二节 谓词演算的形成规则
第三节 谓词演算的句法系统
第四节 谓词演算定理表
第三章 证明逻辑有效性和可靠性的方法
第一节 逻辑证明基础知识
第二节 直接、间接、条件证明方法
第三节 完全真值表方法
第四节 简化真值袁方法
第四章 作为判定程序的反公式方法
第一节 反公式方法的基本结构
第二节 反公式方法在命题演算中的应用
第三节 反公式方法在谓词演算中的应用
第四节 反公式方法的应用技巧及更广泛的应用
第二部分 法律逻辑的运用
第五章 法律语言的逻辑结构
第一节 法律语言的逻辑算子表达
第二节 法律语言中谓词和量词的表达
第三节 法律语言形式化
第四节 不同法律领域的形式化范例
第六章 司法推理的逻辑检验
第一节 简化真值表方法的应用
第二节 直接证明方法的应用
第三节 反公式方法的应用
第四节 法律推理中的无效性和不可靠性
第七章 处理一些特殊法律问题中的逻辑运用
第一节 赠予有效性的逻辑检验
第二节 法律模糊性的逻辑分析
第三节 法律冲突与法律漏洞的逻辑分析
第四节 Non—liquet(“欠明确”)的逻辑构想
附录C:法律推理的探究程序
附录D:法律逻辑的一个宣言
参考文献
索引词
译文后记
前言/序言
现代逻辑在法律中的应用 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 美国科学问答丛书:日常生活中的科学
- (满58包邮)蔡澜旅行食记 蔡澜
- 正版 悦读中国 中国当代科技 9787546120157 顾鸣 黄山书社
- 星球大战 达斯·维达1·维达 [Star?Wars:?Darth?Vader?Vol.1-Vader]
- 宇宙中的生命(翻译版 第3版)
- 星际特工2
- BF-化学的足迹-改变世界的科学-邓小丽,万立荣,杨捷,周玉枝,徐祖辉 上海科技教育出版社
- 弘兼宪史葡萄酒入门讲座
- 一日一篇科普速读:像科学家一样思考:二 9787802146532
- 藏海花漫画版 卷三
- 满58包邮 天外有天系列:探索太空宜人居住"区" 9787543975309 上海科学
- 食品雕刻与围边工艺/21世纪烹饪专业精品规划教材
- 古罗马:每天30秒探索恒久文明的50个伟大成就 科普读物 书籍
- 父与子全集彩图注音版 彩色足本中小学生课外 7-14岁经典漫画
- 文化伟人代表作图释书系:相对论 有效颠覆人类时空观与宇宙观的创世之书 阿尔伯特·爱因斯坦CQ