Verwandte Artikel zu Extending Deontic Logic for the Formalisation of Legal...
Extending Deontic Logic for the Formalisation of Legal Rules: 36 (Law and Philosophy Library) - Softcover
Inhaltsangabe
This book is an adaptation of my PhD thesis Representing L3gVI Rules in Deontic Logic [Royakkers, 1996]. The main alterations are: • The addition of chapter 2 concerning the semantics of deontic logic based on valua tions. In this chapter I extend the Beth tableau method, which is originally developed for the propositional calculus, to also be applicable for deontic logic. For those who are not familiar with deontic logic or with the axiomatic deduction, this method is a useful tool to check whether a formula is valid or not. • The addition of the notion of commitment in chapter 5, and the notion of weak and strong permission in chapter 7. • The omission of the chapter concerning defeasible deontic logic, of which a revised version is published in [Nute, 1997]. • Chapter 6 has been revised rather thoroughly. Here I introduce the logic of enact ment based on epistemic logic and local reasoning to express normative inconsis tencies in a consistent way. I wish to thank John-Jules Meyer, Giovanni Sartor and Marek Sergot for their suggestions and criticisms of my PhD thesis, which have improved this book. Heleen Neggers and Jan Draisma deserve credit for the layout. Special thanks go to Frank Dignum for his continuous support and inspiring sugges tions. v Contents 1 Introduction 1 1.1 Logic and law. . . . . . . . . . . . . . . . . . . . . . .. . . . 1 . . . 1.2 Conflicting speed limits . . . . . . . . . . . . . . . . . . .. . . . 3 . .
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book is an adaptation of my PhD thesis Representing L3gVI Rules in Deontic Logic [Royakkers, 1996]. The main alterations are: · The addition of chapter 2 concerning the semantics of deontic logic based on valua tions. In this chapter I extend the Beth tableau method, which is originally developed for the propositional calculus, to also be applicable for deontic logic. For those who are not familiar with deontic logic or with the axiomatic deduction, this method is a useful tool to check whether a formula is valid or not. · The addition of the notion of commitment in chapter 5, and the notion of weak and strong permission in chapter 7. · The omission of the chapter concerning defeasible deontic logic, of which a revised version is published in [Nute, 1997]. · Chapter 6 has been revised rather thoroughly. Here I introduce the logic of enact ment based on epistemic logic and local reasoning to express normative inconsis tencies in a consistent way. I wish to thank John-Jules Meyer, Giovanni Sartor and Marek Sergot for their suggestions and criticisms of my PhD thesis, which have improved this book. Heleen Neggers and Jan Draisma deserve credit for the layout. Special thanks go to Frank Dignum for his continuous support and inspiring sugges tions. v Contents 1 Introduction 1 1.1 Logic and law. . . . . . . . . . . . . . . . . . . . . . .. . . . 1 . . . 1.2 Conflicting speed limits . . . . . . . . . . . . . . . . . . .. . . . 3 . .
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 165,87
EUR 3,41 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Extending Deontic Logic for the Formalisation of Legal...
Beispielbild für diese ISBN
Extending Deontic Logic for the Formalisation of Legal Rules (Law and Philosophy Library)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Apr0316110336531
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Extending Deontic Logic for the Formalisation of Legal Rules
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 19107163-n
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Extending Deontic Logic for the Formalisation of Legal Rules (Paperback)
Verlag:
Springer, Dordrecht, 2010
ISBN 10: 9048150086
ISBN 13: 9789048150083
Neu
Paperback
Erstausgabe
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. This book is an adaptation of my PhD thesis Representing L3gVI Rules in Deontic Logic [Royakkers, 1996]. The main alterations are: a The addition of chapter 2 concerning the semantics of deontic logic based on valuaA tions. In this chapter I extend the Beth tableau method, which is originally developed for the propositional calculus, to also be applicable for deontic logic. For those who are not familiar with deontic logic or with the axiomatic deduction, this method is a useful tool to check whether a formula is valid or not. a The addition of the notion of commitment in chapter 5, and the notion of weak and strong permission in chapter 7. a The omission of the chapter concerning defeasible deontic logic, of which a revised version is published in [Nute, 1997]. a Chapter 6 has been revised rather thoroughly. Here I introduce the logic of enactA ment based on epistemic logic and local reasoning to express normative inconsisA tencies in a consistent way. I wish to thank John-Jules Meyer, Giovanni Sartor and Marek Sergot for their suggestions and criticisms of my PhD thesis, which have improved this book. Heleen Neggers and Jan Draisma deserve credit for the layout. Special thanks go to Frank Dignum for his continuous support and inspiring suggesA tions. v Contents 1 Introduction 1 1.1 Logic and law. . . . . . . . . . . . . . . . . . . . . . . . . . 1 . . . 1.2 Conflicting speed limits . . . . . . . . . . . . . . . . . . . Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9789048150083
Anzahl: 1 verfügbar
Foto des Verkäufers
Extending Deontic Logic for the Formalisation of Legal Rules
Verlag:
Springer Netherlands Okt 2010, 2010
ISBN 10: 9048150086
ISBN 13: 9789048150083
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is an adaptation of my PhD thesis Representing L3gVI Rules in Deontic Logic [Royakkers, 1996]. The main alterations are: The addition of chapter 2 concerning the semantics of deontic logic based on valua tions. In this chapter I extend the Beth tableau method, which is originally developed for the propositional calculus, to also be applicable for deontic logic. For those who are not familiar with deontic logic or with the axiomatic deduction, this method is a useful tool to check whether a formula is valid or not. The addition of the notion of commitment in chapter 5, and the notion of weak and strong permission in chapter 7. The omission of the chapter concerning defeasible deontic logic, of which a revised version is published in [Nute, 1997]. Chapter 6 has been revised rather thoroughly. Here I introduce the logic of enact ment based on epistemic logic and local reasoning to express normative inconsis tencies in a consistent way. I wish to thank John-Jules Meyer, Giovanni Sartor and Marek Sergot for their suggestions and criticisms of my PhD thesis, which have improved this book. Heleen Neggers and Jan Draisma deserve credit for the layout. Special thanks go to Frank Dignum for his continuous support and inspiring sugges tions. v Contents 1 Introduction 1 1.1 Logic and law. . . . . . . . . . . . . . . . . . . . . . . . . . 1 . . . 1.2 Conflicting speed limits . . . . . . . . . . . . . . . . . . . . . . 3 . . 208 pp. Englisch. Bestandsnummer des Verkäufers 9789048150083
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Extending Deontic Logic for the Formalisation of Legal Rules (Law and Philosophy Library)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9789048150083_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Extending Deontic Logic for the Formalisation of Legal Rules
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 is an adaptation of my PhD. Bestandsnummer des Verkäufers 5818868
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Extending Deontic Logic for the Formalisation of Legal Rules
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 19107163
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Extending Deontic Logic for the Formalisation of Legal Rules (Law and Philosophy Library)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9789048150083
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Extending Deontic Logic for the Formalisation of Legal Rules
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 206. Bestandsnummer des Verkäufers 263099854
Anzahl: 4 verfügbar
Foto des Verkäufers
Extending Deontic Logic for the Formalisation of Legal Rules
Verlag:
Springer Netherlands, Springer Netherlands Okt 2010, 2010
ISBN 10: 9048150086
ISBN 13: 9789048150083
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is an adaptation of my PhD thesis Representing L3gVI Rules in Deontic Logic [Royakkers, 1996]. The main alterations are: ¿ The addition of chapter 2 concerning the semantics of deontic logic based on valua tions. In this chapter I extend the Beth tableau method, which is originally developed for the propositional calculus, to also be applicable for deontic logic. For those who are not familiar with deontic logic or with the axiomatic deduction, this method is a useful tool to check whether a formula is valid or not. ¿ The addition of the notion of commitment in chapter 5, and the notion of weak and strong permission in chapter 7. ¿ The omission of the chapter concerning defeasible deontic logic, of which a revised version is published in [Nute, 1997]. ¿ Chapter 6 has been revised rather thoroughly. Here I introduce the logic of enact ment based on epistemic logic and local reasoning to express normative inconsis tencies in a consistent way. I wish to thank John-Jules Meyer, Giovanni Sartor and Marek Sergot for their suggestions and criticisms of my PhD thesis, which have improved this book. Heleen Neggers and Jan Draisma deserve credit for the layout. Special thanks go to Frank Dignum for his continuous support and inspiring sugges tions. v Contents 1 Introduction 1 1.1 Logic and law. . . . . . . . . . . . . . . . . . . . . . . . . . 1 . . . 1.2 Conflicting speed limits . . . . . . . . . . . . . . . . . . . . . . 3 . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch. Bestandsnummer des Verkäufers 9789048150083
Anzahl: 1 verfügbar