Handbook of Deontic Logic and Normative Systems

Author: Dov Gabbay,John Horty,Xavier Parent

Publisher: N.A

ISBN: 9781848901322

Category: Mathematics

Page: 646

View: 8234

The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first collection to take into account the significant changes in the landscape of deontic logic that have occurred in the past twenty years. These changes have resulted largely, though not entirely, from the interaction of deontic logic with a variety of other fields, including computer science, legal theory, organizational theory, economics, and linguistics. This first volume of the Handbook is divided into three parts, containing nine chapters in all, each written by leading experts in the field. The first part concentrates on historical foundations. The second examines topics of central interest in contemporary deontic logic. The third presents some new logical frameworks that have now become part of the mainstream literature. A second volume of the Handbook is currently in preparation, and there may be a third after that.

Deontic Logic and Normative Systems

12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Author: Fabrizio Cariani,Davide Grossi,Joke Meheus,Xavier Parent

Publisher: Springer

ISBN: 3319086154

Category: Mathematics

Page: 273

View: 5770

This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. The 17 revised papers and the 2 invited papers included in this volume were carefully reviewed and selected from 31 submissions. Topics covered include challenges from natural language for deontic logic; the relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc.; the deontic paradoxes; the modeling of normative concepts other than obligation and permission, e.g., values; the game-theoretical aspects of deontic reasoning; the emergence of norms; norms from a conversational and pragmatic point of view; and norms and argumentation.

Deontic Logic and Legal Systems

Author: Pablo E. Navarro,Jorge L. Rodríguez

Publisher: Cambridge University Press

ISBN: 0521767393

Category: Law

Page: 288

View: 1834

"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"--

Agency and Deontic Logic

Author: John F. Horty

Publisher: Oxford University Press

ISBN: 0195391985

Category: Philosophy

Page: 192

View: 9393

John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency. He incorporates certain elements of decision theory to set out a new deontic account of what agents ought to do under various conditions over extended periods of time. Offering a conceptual rather than technical emphasis, Horty's framework allows a number of recent issues from moral theory to be set out clearly and discussed from a uniform point of view.

Following the Rules

Practical Reasoning and Deontic Constraint

Author: Joseph Heath

Publisher: OUP USA

ISBN: 0195370295

Category: Philosophy

Page: 344

View: 7584

For centuries, philosophers have been puzzled by the fact that people often respect moral obligations as a matter of principle, setting aside considerations of self-interest. This text shows how rule-following can be understood as an essential element of rational action.

Reasons as Defaults

Author: John F. Horty

Publisher: OUP USA

ISBN: 0199744076

Category: Philosophy

Page: 256

View: 8099

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 and Artificial Normative Systems

8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings

Author: Lou Goble,John-Jules Ch. Meyer

Publisher: Springer Science & Business Media

ISBN: 3540358420

Category: Computers

Page: 271

View: 7721

This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12–14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. They support research that links the formal-logical study of normative concepts and normative systems with computer science, arti?cial intelligence, philosophy, organization theory, and law. Papers for these workshops might address such general themes as the dev- opment of formal systems of deontic logic and related areas of logic, such as logics of action and agency, or the formal analysis of all sorts of normative concepts, such as the notions of rule, role, regulation, authority, power, rights, respon- bility, etc. , or the formal representation of legal knowledge. They might also be more concerned with applications, such as the formal speci?cation of systems for the management of bureaucratic processes in public or private administration, or the speci?cation of database integrity constraints or computer security protocols, and more. Of particular interest is the interaction between computer systems and their users. (The DEON 2006 website, http://www. cs. uu. nl/deon2006/,c- tains links to previous workshops and their papers. This history reveals a vibrant interdisciplinary research program.

Deontic Logic, Agency and Normative Systems

?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996

Author: Mark A. Brown,Jose Carmo

Publisher: Springer Science & Business Media

ISBN: 1447114884

Category: Computers

Page: 235

View: 9822

This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is subject to ideal constraints that may not always be fulfilled in practice. The papers range from theoretical studies of the logical and conceptual tools needed, to studies of various applications. The set of papers collected in this book should be of interest to investigators working in a variety of fields, from philosophy, logic and legal theory to artificial intelligence, computer and management sciences, since it covers topics ranging from theoretical research on foundational issues in deontic and action logics, defeasible reasoning, decision theory, ethical theory, and legal theory, to research on a variety of issues relevant to applications connected with expert systems in the law, document specification, automation of defeasible reasoning, specification of responsibilities and powers in organizations, normative systems specification, confidentiality in database systems, and a host of other applications.

Handbook of Epistemic Logic

Author: Hans van Ditmarsch,Joseph Y. Halpern,Wiebe van der Hoek

Publisher: N.A

ISBN: 9781848901582

Category: Mathematics

Page: 676

View: 1710

Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Since then, such logics have played a significant role not only in philosophy, but also in computer science, artificial intelligence, and economics. This handbook reports significant progress in a field that, while more mature, continues to be very active. This book should make it easier for new researchers to enter the field, and give experts a chance to appreciate work in related areas. The book starts with a gentle introduction to the logics of knowledge and belief; it gives an overview of the area and the material covered in the book. The following eleven chapters, each written by a leading researcher (or researchers), cover the topics of only knowing, awareness, knowledge and probability, knowledge and time, the dynamics of knowledge and of belief, model checking, game theory, agency, knowledge and ability, and security protocols. The chapters have been written so that they can be read independently and in any order. Each chapter ends with a section of notes that provides some historical background, including references, and a detailed bibliography.

New Studies in Deontic Logic

Norms, Actions, and the Foundations of Ethics

Author: Risto Hilpinen

Publisher: Springer Science & Business Media

ISBN: 9400984847

Category: Philosophy

Page: 262

View: 8511

The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings (D. Reidel Publishing Company, Dordrecht 1971): its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts of obligation, permission and prohibition are regarded as analogous to the "alethic" modalities necessity, possibility and impossibility. As Simo Knuuttila shows in his contribution to the present volume, this approach goes back to late medieval philosophy. Several 14th century philosophers observed the analogies between deontic and alethic modalities and discussed the deontic interpretations of various laws of modal logic. In contemporary deontic logic the modal approach was revived by G. H. von Wright's classic paper 'Deontic Logic' (1951). Certain analogies between deontic and alethic modalities are obvious and uncontroversial, but the standard approach has often been criticized on the ground that it exaggerates the analogies and tends to ignore those features of normative concepts which distinguish them from other modalities.

Handbook of Analytic Philosophy of Medicine

Author: Kazem Sadegh-Zadeh

Publisher: Springer

ISBN: 9401795797

Category: Medical

Page: 1224

View: 9992

Medical practice is practiced morality, and clinical research belongs to normative ethics. The present book elucidates and advances this thesis by: 1. analyzing the structure of medical language, knowledge, and theories; 2. inquiring into the foundations of the clinical encounter; 3. introducing the logic and methodology of clinical decision-making, including artificial intelligence in medicine; 4. suggesting comprehensive theories of organism, life, and psyche; of health, illness, and disease; of etiology, diagnosis, prognosis, prevention, and therapy; and 5. investigating the moral and metaphysical issues central to medical practice and research. Many systems of (classical, modal, non-classical, probability, and fuzzy) logic are introduced and applied. Fuzzy medical deontics, fuzzy medical ontology, fuzzy medical concept formation, fuzzy medical decision-making and biomedicine and many other techniques of fuzzification in medicine are introduced for the first time.

Epistemic Logic for AI and Computer Science

Author: J.-J. Ch. Meyer,W. van der Hoek

Publisher: Cambridge University Press

ISBN: 9780521602808

Category: Computers

Page: 372

View: 1454

A broad introduction to the subject; many exercises with full solutions are provided.

The Meaning of 'Ought'

Beyond Descriptivism and Expressivism in Metaethics

Author: Matthew Chrisman

Publisher: Oxford University Press, USA

ISBN: 0199363005

Category: Ethics

Page: 280

View: 7256

The word 'ought' is one of the core normative terms, but it is also a modal word. In this book Matthew Chrisman develops a careful account of the semantics of 'ought' as a modal operator, and uses this to motivate a novel inferentialist account of why ought-sentences have the meaning that they have. This is a metanormative account that agrees with traditional descriptivist theories in metaethics that specifying the truth-conditions of normative sentences is a central part of the explanation of their meaning. But Chrisman argues that this leaves important metasemantic questions about what it is in virtue of which ought-sentences have the meanings that they have unanswered. His appeal to inferentialism aims to provide a viable anti-descriptivist but also anti-expressivist answer to these questions. "This is a remarkably bold and interesting book. Chrisman challenges nothing less than the entire conceptual framework within which most previous metaethics (and indeed, much other contemporary philosophy) has been done, and advances a very ambitious rethinking of the theoretical space. It's not only ambitious, but also extremely imaginative and smart, and Chrisman's scholarship is at a rare level, as he has assimilated a literature that is unusually broad both in terms of field and historical scope."-Stephen Finlay, Professor of Philosophy, University of Southern California

Deontic logic in computer science

normative system specification

Author: John-Jules Ch Meyer,Roel Wieringa

Publisher: John Wiley & Sons

ISBN: 9780471937432

Category: Computers

Page: 317

View: 8536

Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems. 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. This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems.

Handbook of Normative Multiagent Systems

Author: Amit Chopra,Leendert Van Der Torre,Harko Verhagen

Publisher: N.A

ISBN: 9781848902855

Category: Mathematics

Page: 424

View: 2951

The Handbook of Normative Multiagent Systems presents a comprehensive overview of the state-of-the-art and trends in the research field of normative multiagent systems (NorMAS). The handbook provides a solid introduction to the essentials of the field for newcomers and a selection of advanced issues as a base for future research directions. Norms are widely used to represent ethical, legal, and interactive aspects of social systems. Normative multiagent systems provide a promising model for human and artificial agent coordination since they integrate norms and individual intelligence. Thus, in the NorMAS community we build upon computer science but also logic, legal theory, sociology, psychology, and cognitive science. The handbook is organised in four parts. The introduction part describes the foundations and the history of the field and adds a particular focus on the social sciences' view on norms. The second part describes the major achievements the NorMAS research fi eld attained in the modelling of normative multiagent systems and the main challenges still open. Examples of these challenges include how to specify norms, verify systems of norms, model norm emergence and norm change, detect and subsequently manage norm violations, model organisations and institutions, and the use of agent-based simulation models to study these norm-related processes. Part C is concerned with the engineering of normative multiagent systems, more in particular interaction protocols to convey normative meaning and how to computationally organise normative multiagent systems. The final part is concerned with logically analyzing normative multiagent systems. Given the profound importance of norms in multiagent systems, it is fundamental to understand, e.g., which norms are valid in certain environments, how to interpret them, and to determine the deontic conclusions of such norms.

Handbook of Pragmatics



Publisher: N.A


Category: Linguistics

Page: 658

View: 9221

This encyclopaedia of one of the major fields of language studies is a continuously updated source of state-of-the-art information for anyone interested in language use. It provides easy access for scholars with widely divergent backgrounds but with convergent interests in the use and functioning of language to the different topics, traditions and methods which together make up the field of Pragmatics, broadly conceived as the cognitive, social and cultural study of language and communication . The Handbook of Pragmatics is a unique reference work for researchers: the main body of the Handbook is produced in loose-leaf format in 3-ring binders and is accompanied by the bound Manual which contains all necessary background information and user guidelines. The loose-leaf Handbook forms the basis of the Handbook proper giving an overview of the subfields, traditions, methodologies and concepts of Pragmatics. The Handbook is used as a basis for the online version: the Handbook of Pragmatics Online is being expanded and revised annually as of 2003. Future versions will add further records and will include updates, rewritings and extensive revisions of already existing records. The Handbook of Pragmatics Online is available from www.benjamins.com/online as well as a free 30-day trial. The Handbook is also available in combination with the Bibliography of Pragmatics Online at a discounted rate.SPECIAL OFFER: 30% discount for a complete set order (Manual + Installments 1995-2007).

Deontic Logic and Normative Systems. 13th International Conference, DEON 2016

Author: Olivier Roy,Professor of Social and Political Theory Director of the Mediterranean Programme Olivier Roy,Allard Tamminga,Malte Willer

Publisher: N.A

ISBN: 9781848902152

Category: Mathematics

Page: 302

View: 8544

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, linguistics, philosophy, organisation theory and law. In addition to these general themes, DEON 2016 encouraged a special focus on the topic "Reasons, Argumentation and Justification."