On the Logic of Constitutive Rules

Grossi, Davide; Meyer, John-Jules; Dignum, Frank

doi:10.4230/DagSemProc.07122.23

Document

On the Logic of Constitutive Rules

Authors Davide Grossi, John-Jules Meyer, Frank Dignum

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 7122
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-03-12

PDF

File

PDF

DagSemProc.07122.23.pdf

Filesize: 262 kB
33 pages

Document Identifiers

DOI: 10.4230/DagSemProc.07122.23
URN: urn:nbn:de:0030-drops-9131

Subject Classification

Keywords

Constitutive rules
counts-as
modal logic.

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

The paper proposes a logical systematization of the notion of counts-as which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., forms of classification. Moving from this analytical thesis the paper disentangles three semantically different readings of statements of the type X counts as Y in context C, from the weaker notion of contextual classification to the stronger notion of constitutive rule. These many ways in which counts-as can be said are then formally addressed by making use of modal logic techniques. The resulting framework allows for a formal characterization of all the involved notions and their reciprocal logical relationships.

Cite As Get BibTex

Davide Grossi, John-Jules Meyer, and Frank Dignum. On the Logic of Constitutive Rules. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/DagSemProc.07122.23

Author Details

Davide Grossi

John-Jules Meyer

Frank Dignum

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail