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

《信法为真》法窗夜话系列之一，内容包括：择法固执：我们对法治的贡献、以身作则：人民对法治的责任、循规蹈矩：官吏对法治的责任、絜矩立规：领袖对法治的责任、法治国：第三代的共同使命、以身试法、民主法制与礼刑、法治的核心、宪法到底是什么 ？、其实不如“司法独立”、陪审制的实质等。

“梅花三弄”之漫谈 “渔舟唱晚”之悠然 作者用诗性之美为读者描绘了在追寻法学的寂静旅途中的所思、所感，文字优美、有趣味盎然。 阅读本书即是在与大师思想交锋，与伟人执手漫谈。 法学家有时既需要在“法律的中心”之内，又需要置身于“法律的中心”之外，来选择观察法律的角度和距离。我们通常都有这样的认识经验，即：我们不能精确地描绘距离过分遥远的细微之物，但也看不清距离太近的庞大物象。距法律太远或太近，都会使法律人不能正确地对待法律。或者说，在需要精确的地方，我们不能离开法律的语境太远，以至跌进法律语义射程之无穷无尽的边缘；而在需要做“法律续造”时，我们又不能拘泥于具体的实在法条文的规定，以至于被“白纸黑字”的规则宰制了我们的视野和心性。

法律理性能描述和解释类比推理，这是法律论证的最显著特征。它挑战了主流的观点，认为类比推理在逻辑上是有缺陷的，是一种有缺陷的演绎推理形式。本书借鉴了认识论和认知心理学的最新研究成果，指出法律中的类比推理与日常生活中人们惯用的推理是一样的，它是一种有效的推理形式，这源自于人类固有的从特殊之中辨识一般事物的能力。类比推理在法律中的运用是法律的性质所决定的，它要求对特定的事实应用一般性的规则。本书直接处理了针对第一版的批评，并用新的一章来回应这些反对意见。《裁判如何说理》是为学者、学生和对法律感兴趣的人而写的，本书尽可能使用通俗易懂的文字，书中的一些例子来自于法律和日常生活经验。

作为法律逻辑领域的经典著作，本书分为四部分：第 一部分为导论，作者在这一部分对于法律逻辑进行了界定和辩护，并对下文所采用的逻辑系统和方法作了交代。第二部分为总论，作者在这一部分各种现代逻辑系统的基本准则及其对于法律领域意义，包括命题演算、谓词演算、类演算、关系演算，以及定义论。第三部分为分论，交代了法律逻辑特有的论述形式，包括类比推理、反向推理、当然论证、归谬论证和各类解释性论据。第四部分来自于作者先前发表的一系列论文的规整，主旨为逻辑之于法哲学和法律科学的意义，囊括了思维法则的意义、电子数据自动化处理等。

《法律的逻辑•法官写给法律人的逻辑指引》旨在探讨法律推理或法律逻辑问题。“法律的源头活水向来是经验而非逻辑”，这是霍姆斯大法官的经典名言。《法律的逻辑•法官写给法律人的逻辑指引》不挑战这个陈述，但主张法律推理或法律逻辑可以扮演同等的甚至更重要的角色。 《法律的逻辑•法官写给法律人的逻辑指引》乃是针对法官、律师与法学院学生而撰写的。有点奇怪的是，这似乎是第一本这样的书。亚狄瑟法官并未提议任何命令式的规则，让法官的意见或律师的辩词都要采用某种特定的形式。他是在强调，有必要发展出指引，而他也提供了某些指导。此一建议蕴涵了他30年法官与20年的法学教授的经验。为了使法官与律师双方更能够理解法律推理在撰写意见书或辩护时的重要性，我确信他很欢迎质疑这个导论的要素的合理性。他相信他的话对于法学院新生来说特别重要：“从你们进入法学院，不知所措的第一天起，到成为律师或...(展开全部)

《科学的馈赠:现代法律是如何演变为实在法的?》讲述了：“正义已经远离了我们的世界，然而，我们却没有注意到这一点，因为法律取代了正义的地位。一位世界500强企业的首席执行官可以交纳罚金，从而让他的公司向水库里排放有毒污染物，也可以为了避税将其公司地址移至巴哈马。他不会说‘我的行为尽管不正义，却符合法律。’相反，正是这个行为的合法律性，可被视为其正当性的依据。法律与正义的分离体现了我们的现状。换言之，作为衡量伦理行为的标准，合法律性已经取代了正义。”

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法，语义，完备性和紧致性），但是书中大部分讨论的是其他主题，诸如消定理证明，逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑），而这些主题在现代计算机科学中变得越来越理要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法，语义，完备性和紧致性），但是书中大部分讨论的是其他主题，诸如消定理证明，逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑），而这些主题在现代计算机科学中变得越来越理要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。