罗伯特·罗德斯、霍华德·波斯伯塞尔编著的《前提与结论(法律分析的符号逻辑)/西方法律逻辑经典译丛》所说的“符号逻辑”是与亚里士多德传统逻辑相比较的，由弗雷格、罗素、怀特海等人提出的现代逻辑（命题逻辑和谓词逻辑）。本书作者利用现代逻辑的技术手段，把自然语言表达的法律案例符号化，然后通过形式系统的推理规则，得到一个有效的结论。

大多数法律专业人士常常处于直觉判断和逻辑证明之间的困境，导致“疑难案件使得法律无能为力”。罗伯特·罗德斯、霍华德·波斯伯塞尔编著的《前提与结论(法律分析的符号逻辑)/西方法律逻辑经典译丛》把现代逻辑的符号和方法运用到法律分析中，使得法律概念和法律规范变得明晰起来。本书具有以下四大特点：

包含了清楚、简洁的标准命题逻辑与谓词逻辑的表达。

涉及了法律论证中的逻辑运用，其中包括前提的否认或者辨别，以及诉讼的规则。

在例题与习题中广泛运用法律材料、案例与法规。

举例涵盖诸多领域，其中包括16个动画片与连环漫画的例子，趣味性极强。

出版说明

总序

译者引言

前言

序言

第1章 引言

 1.1 论证

 1.2 关键词项

 1.3 逻辑与法律

第2章 命题逻辑

 2.1 合取

 2.2 蕴涵

 2.3 否定

 2.4 析取

 2.5 等值

 2.6 导出规则

 2.7 真值表

第3章 谓词逻辑

 3.1 符号化

 3.2 证明

 3.3 命题类比

 3.4 解释

 3.5 关系

 3.6 同一性

 3.7 事例分析

第4章 争论

 4.1 什么是争论

 4.2 否认

 4.3 诉讼

 4.4 辨别

 4.5 积极抗辩

第5章 陷阱与怪论

 5.1 必要条件与充分条件

 5.2 有问题的全称陈述

 5.3 实质蕴涵怪论

 5.4 量词辖域

 5.5 存在预设

第6章 内涵语境

 6.1 外延语境与内涵语境

 6.2 识别内涵语境

 6.3 例子和策略

 6.4 意图、风险与犯罪未遂

第7章 结语

 7.1 类比法律推理与演绎法律推理

附录一 道义逻辑

附录二 形成规则

附录三 替换符号

附录四 标星号的练习题答案

附录五 推论规则

主题词索引

案例索引

法条索引