Defeasible Deontic Logic

Defeasible Deontic Logic PDF Author: Donald Nute
Publisher: Springer Science & Business Media
ISBN: 9401588511
Category : Philosophy
Languages : en
Pages : 361

Book Description
Relevant to philosophy, law, management, and artificial intelligence, these papers explore the applicability of nonmonotonic or defeasible logic to normative reasoning. The resulting systems purport to solve well-known deontic paradoxes and to provide a better treatment than classical deontic logic does of prima facie obligation, conditional obligation, and priorities of normative principles.

Defeasible Deontic Logic

Defeasible Deontic Logic PDF Author: Donald Nute
Publisher: Springer Science & Business Media
ISBN: 9780792346302
Category : Philosophy
Languages : en
Pages : 376

Book Description
These 13 papers collected from several meetings of the Society for Exact Philosophy from 1993-96 take a variety of approaches to the task of integrating normative and defeasible reasoning. While most of the papers propose some version of defeasible deontic logic, a few consider alternatives approaches to solving some of the puzzles of normative reasoning that deontic reasoning has failed to resolve. The authors also describe standard deontic logic. Name index only. Annotation copyrighted by Book News, Inc., Portland, OR

Deontic Logic in Computer Science

Deontic Logic in Computer Science PDF Author: John-Jules Ch. Meyer
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 344

Book Description
A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.

Deontic Logic and Legal Systems

Deontic Logic and Legal Systems PDF Author: Pablo E. Navarro
Publisher: Cambridge University Press
ISBN: 0521767393
Category : Law
Languages : en
Pages : 289

Book Description
"Logic and law have a long history in common, but the influence has been mostly one-sided, except perhaps in the 5th and 6th centuries B.C., where disputes at the market place or in tribunals in Greece seem to have stimulated a lot of reflection among sophistic philosophers on such topics as language and truth. Most of the time it was logic that influenced legal thinking, but in the last 50 years logicians began to be interested in normative concepts and hence in law"--

Doing the Best We Can

Doing the Best We Can PDF Author: Fred Feldman
Publisher: Springer Science & Business Media
ISBN: 9789027721648
Category : Philosophy
Languages : en
Pages : 270

Book Description
Several years ago I came across a marvelous little paper in which Hector-Neri Castaneda shows that standard versions of act utilitarian l ism are formally incoherent. I was intrigued by his argument. It had long seemed to me that I had a firm grasp on act utilitarianism. Indeed, it had often seemed to me that it was the clearest and most attractive of normative theories. Yet here was a simple and relatively uncontrover sial argument that showed, with only some trivial assumptions, that the doctrine is virtually unintelligible. The gist of Castaneda's argument is this: suppose we understand act utilitarianism to be the view that an act is obligatory if and only if its utility exceeds that of each alternative. Suppose it is obligatory for a certain person to perform an act with two parts - we can call it 'A & B'. Then, obviously enough, it is also obligatory for this person to perform the parts, A and B. If act utilitarianism were true, we appar ently could infer that the utility of A & B is higher than that of A, and higher than that of B (because A & B is obligatory, and the other acts are alternatives to A & B).

Reasons as Defaults

Reasons as Defaults PDF Author: John F. Horty
Publisher: OUP USA
ISBN: 0199744076
Category : Philosophy
Languages : en
Pages : 276

Book Description
In this volume, John Horty brings to bear his work in logic to present a framework that allows for answers to key questions about reasons and reasoning, namely: What are reasons, and how do they support actions or conclusions?

Deontic Logic in Computer Science

Deontic Logic in Computer Science PDF Author: Thomas Agotnes
Publisher: Springer
ISBN: 9783642315701
Category : Mathematics
Languages : en
Pages : 0

Book Description
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.

The Logic of Legal Requirements

The Logic of Legal Requirements PDF Author: Jordi Ferrer Beltrán
Publisher: OUP Oxford
ISBN: 0191637688
Category : Law
Languages : en
Pages : 434

Book Description
When a legal rule requires us to drive on the right, notarize our wills, or refrain from selling bootleg liquor, how are we to describe and understand that requirement? In particular, how does the logical form of such a requirement relate to the logical form of other requirements, such as moral requirements, or the requirements of logic itself? When a general legal rule is applied or distinguished in a particular case, how can we describe that process in logical form? Such questions have come to preoccupy modern legal philosophy as its methodology, drawing on the philosophy of logic, becomes ever more sophisticated. This collection gathers together some of the most prominent legal philosophers in the Anglo-American and civil law traditions to analyse the logical structure of legal norms. They focus on the issue of defeasibility, which has become a central concern for both logicians and legal philosophers in recent years. The book is divided into four parts. The first section is devoted to unravelling the basic concepts related to legal defeasibility and the logical structure of legal norms, focusing on the idea that law, or its components, are liable to implicit exceptions, which cannot be specified before the law's application to particular cases. Part two aims to disentangle the main relations between the issue of legal defeasibility and the issue of legal interpretation, exploring the topic of defeasibility as a product of certain argumentative techniques in the law. Section 3 of the volume is dedicated to one of the most problematic issues in the history of jurisprudence: the connections between law and morality. Finally, section 4 of the volume is devoted to analysing the relationships between defeasibility and legal adjudication.

Allowing for Exceptions

Allowing for Exceptions PDF Author: Luís Duarte d'Almeida
Publisher: Oxford University Press (UK)
ISBN: 0199685789
Category : Law
Languages : en
Pages : 321

Book Description
Within limits, the law allows for exceptions. Or so we tend to think. In fact, the line between rules and exceptions is harder to draw than it seems. How are we to determine what counts as an exception and what as part of the relevant rule? The distinction has important practical implications. But legal theorists have found the notion of an exception surprisingly difficult to explain. This is the longstanding jurisprudential problem that this book seeks to solve.

Handbook of Philosophical Logic

Handbook of Philosophical Logic PDF Author: Dov M. Gabbay
Publisher: Springer Science & Business Media
ISBN: 9781402005831
Category : Philosophy
Languages : en
Pages : 428

Book Description
such questions for centuries (unrestricted by the capabilities of any hard ware). The principles governing the interaction of several processes, for example, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based effective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. I believe the day is not far away in the future when the computer scientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subject has evolved and its areas have become interrelated to such an extent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupings of chapters. I would like to thank our authors are readers for their contributions and their commitment in making this Handbook a success. Thanks also to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers for their continuing support for the Handbook.