现代逻辑在法律中的应用

出版时间：2012-5  出版社：中国法制出版社  作者：伊尔玛·塔麦洛  页数：181  字数：124000  
Tag标签：无  

内容概要

法律人总是倾向于追问：“现代逻辑对法律到底有什么重要意义？”简单地说，对该问题可以这样回答：“现代逻辑提供了具有内在一致性的表达和分析思维的全新原则和方法，而这种思维是正确、有效地完成法律工作所必不可少的。”这个答案也许并不能彻底消除对现代逻辑在法律中应用的困惑。如果希望有更进一步的了解，就必须深入到一些相关分析之中，它们从多个方面证明了现代逻辑对法律思维的重要作用。《现代逻辑在法律中的应用》就是讲如何深入这些分析之中的，以及在这一过程中，法律逻辑所面对的各种质疑。借助于法律逻辑，法律思维的合理性得到增强，至今所取得的成就以及正在取得的成就很好地回应了其中的一些批评。
《现代逻辑在法律中的应用》由伊尔玛·塔麦洛编著。

作者简介

作者：（奥地利）伊尔玛•塔麦洛 译者：李振江 张传新 柴盼盼

书籍目录

缩写词列表
导论
  第一部分  法律逻辑的理论基础
第一章  命题演算系统
  第一节  命题演算的初步知识
  第二节  命题演算的形式化规则
  第三节  命题演算的一个公理系统
  第四节  命题演算常用定理列表
第二章  谓词演算系统
  第一节  谓词演算初步知识
  第二节  谓词演算的形成规则
  第三节  谓词演算的句法系统
  第四节  谓词演算定理表
第三章  证明逻辑有效性和可靠性的方法
  第一节  逻辑证明基础知识
  第二节  直接、间接、条件证明方法
  第三节  完全真值表方法
  第四节  简化真值袁方法
第四章  作为判定程序的反公式方法
  第一节  反公式方法的基本结构
  第二节  反公式方法在命题演算中的应用
  第三节  反公式方法在谓词演算中的应用
  第四节  反公式方法的应用技巧及更广泛的应用
  第二部分  法律逻辑的运用
第五章  法律语言的逻辑结构
  第一节  法律语言的逻辑算子表达
  第二节  法律语言中谓词和量词的表达
  第三节  法律语言形式化
  第四节  不同法律领域的形式化范例
第六章  司法推理的逻辑检验
  第一节  简化真值表方法的应用
  第二节  直接证明方法的应用
  第三节  反公式方法的应用
  第四节  法律推理中的无效性和不可靠性
第七章  处理一些特殊法律问题中的逻辑运用
  第一节  赠予有效性的逻辑检验
  第二节  法律模糊性的逻辑分析
  第三节  法律冲突与法律漏洞的逻辑分析
  第四节  Non—liquet(“欠明确”)的逻辑构想
附录C：法律推理的探究程序
附录D：法律逻辑的一个宣言
参考文献
索引词
译文后记

章节摘录

版权页：   第一章 命题演算系统 第一节 命题演算的初步知识 这里建构的命题演算系统是本书确立和应用的法律逻辑的理论基础之一。该演算系统用符号化的形式语言表达，通过对这种形式语言的规定和解释，确立一种把法律思维的逻辑方面表达为逻辑公式的方法；该演算系统还确定了一些推导模式，通过这些模式确定法律推论的逻辑可靠性，以及法律论证的形式特点和要求。该演算系统将被构建为一个公理系统。 之所以采用形式化和公理化方法仅仅是为了确立一种机制，以能够处理法律思维的逻辑形式。这些方法仅仅是为了保证所建构的演算系统的严密性，而不至于影响到法律思维本身，但绝不是建立一种法律及其操作的机械主义或形式主义。这样做仅仅是为从形式的角度、运用逻辑的方法处理和评价具体的法律思维提供一个坚实的基础。 研究符号化的形式化语言如逻辑演算的思维科学被称为是“符号学”，有关如何建构一个逻辑演算的所有规定的理论被称为“句法理论”，它通常属于符号学的一个分支“语形学”。另外一个分支是对一个演算中的符号和公式解释其意义的“语义学”。还有一个分支是关于一个演算中的符号和公式与使用它们的人的关系的“语用学”。本书的第一部分主要讲语形学理论，第二部分主要讨论语义学理论和语用学理论。 该演算自身表达为该逻辑的“对象语言”，为了建构并应用一个演算，需要做出与之内容相关的大量的陈述。这些陈述被表达为该逻辑的“元语言”。这里使用的并不是完全形式化的语言，而是在自然语言的基础上增加一些必要的符号。 这里建构的命题演算系统建立在成熟的逻辑理论基础之上。在阐述该理论时，不再特别地论述对逻辑一致地推理的相关问题和价值。对于我们确定的目标而言，这种理论的可靠性已经通过大量的理性思维领域的应用获得的经验得到验证。然而，为了能够更好地理解这种理论的原则和方法，以及正确地的应用，本书的第二部分将对该演算系统所处理的各种不同问题进行讨论。 该命题演算系统的构成如下： （1）原子公式 它们是该系统逻辑处理的最小单位。 （2）算子 它们是该系统形成更复杂表达式的方法。 （3）形成规则 它们规定哪些对象属于该系统的条件。 （4）定义 它们是用特定对象表示其他对象的方法。 （5）公理 它们构成该系统的根本对象，其他的对象可以根据它们推出。 （6）变形规则 规定该系统的推导模式。 在本系统中能被推导出的对象构成了该系统的定理集合。如果一个对象是该系统的一个公理，或者是该系统的一个定理，那么它是该系统的论题（thesis）。 一个命题演算系统中包含哪些定义、公理、推导规则、定理多少是可以选择的。因此可以建构不同的演算系统，但每一种系统都要满足公理化的基本要求，因而会产生同样的逻辑结果。

编辑推荐

《现代逻辑在法律中的应用》由中国法制出版社出版。

用户评论 (总计13条)

•   有利于培养法律人的逻辑。
•   老师指定的专业书，内容不错，翻译内容流畅，读起来顺。印刷质量也不错。
•   我认为相比西方人，我们中国人在逻辑思维这块仍然是相当欠缺的，而对于法律人，更是如此。
•   相当的深奥，作为一种探讨，很有意义。实际中很少使用，但作为理性化的追究很有道理
•   书挺好，双12买的，打折的书太少，希望以后多搞这样的活动，我们一个月挣点钱都买书了，不容易
•   需要一定的逻辑学知识准备才能看得懂，很有价值的一本书！
•   还没有看，据说比较难懂。
•   耐着性子看
•   前面的基础知识介绍有点太简略了，看起来似乎有点吃力，不过总体上还可以啊
•   这书很有意思，反映出十九世纪以来的一种努力，看时还需要费不少劲头
•   逻辑专业性较强，法学的学子读起来比较困难。
•   仅凭外观书内容还没来得及看封面上有多处破洞发货的外包装保存完好说明书店发的本来就是烂书请当当警惕 品牌做大不容易
•   老师指定的书，还可以，没细看。适合做学术的人看。