Extending Deontic Logic for the Formalisation of Legal Rules pdf epub mobi txt 电子书下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:Springer

作者:Lambèr Royakkers

出品人:

页数:208

译者:

出版时间:1998-3-31

价格:GBP 136.00

装帧:Hardcover

isbn号码:9780792349822

丛书系列:

图书标签:

Deontic Logic
Legal Reasoning
Formalisation
Legal Rules
Logic in Law
Artificial Intelligence and Law
Knowledge Representation
Philosophy of Law
Modal Logic
Normative Systems

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

This book describes extensions of deontic logic. Deontic logic is a branch of philosophical logic involving reasoning with norms, obligations, prohibitions and permissions. The extensions concern the logical structure of legal rules and legal reasoning. Their function is to improve the representation of legal knowledge and enhance deontic logic through increased expressibility. The resulting formulas acquire new meanings, not expressible in standard deontic logic, which are subject to fresh interpretations. The author offers an extensive analysis of the representation of actors, to whom the norms are directed, and authorities who enact the norms. Moreover, a distinction is made between enactment and applicability. A modality of enactment can be used to express inconsistent enacted norms in a consistent way. An authority-hierarchy is introduced to filter out the applicable norms from the set of enacted norms. Some related philosophical questions will be discussed regarding the applications of formalisms that are intrinsic to practical science with respect to 'consistency' and 'universality'. The formalisms and applications considered here are relevant for law, philosophy and computer science, with a special focus on the improvement of legal expert systems and intelligent support for legal professionals.

法律规则的形式化：超越义务性逻辑的探究本书导读本书深入探讨了在法律领域中，如何通过形式逻辑的严谨性来准确捕捉和表达复杂的法律规则。在当代法律实践中，面对日益增长的规则数量和相互交织的法律体系，传统依赖自然语言的解释方式已逐渐暴露出其固有的模糊性与歧义性。这种不确定性不仅影响了法律规则的统一适用，也为法律推理和自动化带来了巨大挑战。本书的核心目标，便是探索并构建一种能够超越标准义务性逻辑（Deontic Logic）局限性的形式化框架，以期实现对法律规范更精确、更具操作性的建模。第一部分：传统义务性逻辑的边界与局限本书首先对义务性逻辑（DL）进行了系统的回顾与批判性分析。义务性逻辑作为处理“应该”（ought）、“允许”（permitted）、“禁止”（forbidden）等模态概念的标准工具，在描述基础性的规范性陈述方面表现出色。然而，当我们将目光投向复杂的法律体系时，其固有缺陷便显而易见。 1.1 规范性与描述性命题的混淆：传统DL往往难以清晰地区分描述性事实陈述与规范性要求之间的界限。在法律中，一个规则的生效往往取决于特定的事实条件是否满足，而DL在处理这些条件触发机制时显得力不从心。 1.2 义务的累积与冲突：法律规则很少是孤立存在的。现实中，多个义务可以同时存在，并且可能相互冲突。标准DL在处理义务的累积效应（例如，多重义务的满足条件）以及如何系统性地解决义务冲突（例如，通过优先级、豁免条款或例外规定）方面，缺乏足够的机制。本书将论证，仅仅依靠模态运算符无法充分模拟法律决策过程中对冲突规则的权衡与排序。 1.3 动态性与情境依赖性：法律规则是动态演化的，其有效性常常依赖于特定的时间和地点，以及法律主体所处的情境。传统DL通常采用静态的、普遍性的逻辑模型，这使得它难以有效地表达规则的“激活”与“失效”机制，也难以处理因法律行为本身（如授权或撤销）而导致的规范性状态的改变。 1.4 法律行为与意图的缺失：法律规则的制定、修改和废止本身就是重要的法律行为，这些行为承载了制定者的意图。标准DL主要关注规范内容本身，而忽略了规范生成过程中的主体性、意图和责任归属，这在解释法律的源头和修改意图时构成了重大的建模障碍。第二部分：构建更强大的形式化工具集为了克服上述挑战，本书提出了一套扩展的逻辑工具箱，旨在将法律的复杂性纳入形式化框架。这并非是对现有DL的简单修补，而是引入了更强大的、针对法律特性的逻辑组件。 2.1 引入情境依赖的模态逻辑：我们发展了一种情境敏感的义务性逻辑（Context-Sensitive Deontic Logic, CSDL）。CSDL 不再将规范视为在所有可能世界中都成立的普遍真理，而是将规范的有效性和适用范围显式地绑定到特定的法律情境（Contexts of Application）。情境不仅包括事实状态，还包括了适用的法律体系、时间点以及相关的法律主体集合。 2.2 动态逻辑与规范的演化：借鉴动态逻辑（Dynamic Logic）的思想，本书构建了“规范行动”（Normative Actions）的概念。这些行动，如“颁布法案”（enact）、“废除法令”（repeal）或“授予许可”（authorize），被形式化为对规范状态空间的转换操作。通过这种方式，法律的生命周期和规则的相互作用可以被动态地模拟和推理。 2.3 基于代理的责任分配系统：法律推理的最终目的是分配责任和确定后果。本书整合了基于代理（Agent-Based）的逻辑框架，明确区分不同法律主体（自然人、法人、国家机构）的权限、义务和授权。这包括对“可归责性”（Attribution）和“免责事由”（Exemption）的精确形式化处理，确保形式模型能够直接映射到法律责任的判定过程。 2.4 规则的层次结构与冲突解决机制：法律体系具有严格的层级结构（如宪法高于普通法）。本书引入了基于偏好的逻辑（Preference Logic）和分层模态系统，用以形式化地表达规则间的优先级关系。当发生冲突时，系统不再陷入逻辑悖论，而是根据预设的偏好排序自动选择出具有最高优先级的有效义务或禁止，从而模拟司法裁决中的“择一适用”原则。第三部分：法律知识工程与应用展望本书的理论探索最终指向实际的应用价值，特别是为法律知识工程（Legal Knowledge Engineering）提供坚实的逻辑基础。 3.1 自动化的规则验证与一致性检查：扩展后的逻辑系统提供了一种强大的工具，用于对大型法典进行形式化建模，并自动检测其中潜在的矛盾、漏洞或歧义。通过形式推理，可以系统性地验证新规则是否与现有法律体系的更高层级要求相一致。 3.2 法律推理与判例分析的增强：通过将法律论证过程（包括类比推理、目的论解释等非形式要素）映射到扩展逻辑中的特定推理规则，本书展示了如何构建更接近人类司法判断的自动化推理引擎。重点在于如何形式化“类比”与“融贯性”（Coherence）的判断标准。 3.3 智能法律信息检索与合规性监测：扩展框架使得信息系统能够理解规范背后的“意图”和“适用情境”，而不仅仅是关键词匹配。这极大地提高了法律检索的精度，并为企业和政府机构的合规性监测提供了精确的形式化依据，允许系统根据实时事实数据，自动判断某一行为是否违反了某项规范。结论：迈向可计算的法律本书提供的理论框架，标志着形式化法律研究从对简单义务的刻画，迈向对复杂法律实践的深度模拟。通过整合动态性、情境依赖性、代理责任和层次结构，我们正在构建一个能够更真实地反映法律系统本质的逻辑语言。这不仅是理论上的飞跃，更是为未来法律技术——从司法辅助决策到自动化合规审查——奠定不可或缺的逻辑基石。本书旨在激励研究者和实践者以更精确、更系统的方式来思考和构建我们赖以生存的法律世界。