Record:   Prev Next
作者 Royakkers, Lambèr M. M., author
書名 Extending deontic logic for the formalisation of legal rules / Lambèr M.M. Royakkers
出版項 Dordrecht ; Boston : Kluwer Academic Publishers, ©1998
國際標準書號 9780792349822 (hbk.)
0792349822 (hbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 人文社會聯圖  K213 .R69 1998    在架上    30660020207002
說明 ix, 191 pages : illustrations ; 25 cm
text txt rdacontent
unmediated n rdamedia
volume nc rdacarrier
系列 Law and philosophy library ; v. 36
Law and philosophy library ; v. 36
附註 Includes bibliographical references (pages 181-187) and index
1. Introduction -- 2. Standard Deontic Logic -- 3. Dynamic deontic logic -- 4. Relativised deontic modalities in SDL -- 5. Relativised deontic modalities in DDL -- 6. Enactment of norms -- 7. Applicability of norms -- 8. Conclusion
This book describes extensions of deontic logic. Deontic logic is a branch of philosophical logic involving reasoning with norms, obligations, prohibitions and permissions. 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
主題 Law -- Methodology
Deontic logic
Deontic logic. fast (OCoLC)fst00890769
Law -- Methodology. fast (OCoLC)fst00993777
Deontische logica. gtt
Rechtswetenschap. gtt
Deontische Logik gnd
Juristische Logik gnd
Rechtsnorm gnd
Droit -- Méthodologie. ram
Logique déontique. ram
Record:   Prev Next