General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group...
-
Upload
raul-erving -
Category
Documents
-
view
217 -
download
2
Transcript of General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group...
![Page 1: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/1.jpg)
General Norm Change
Emil Weydert and Richard BoothIndividual and Collective Reasoning Group
University of Luxembourg
![Page 2: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/2.jpg)
Outline of talk
• The problem of Norm Revision• Basic concepts• Normative states• Basic revision requirements• A first method
![Page 3: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/3.jpg)
The Problem
• normative state + new norms = ??
– What is a normative state?
– How to revise it?
– Revision first, contraction later
![Page 4: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/4.jpg)
The Basic Concepts
• L is some language closed under usual prop. connectives.
• A norm is a conditional with L– “if holds then should hold”
• A set of norms can be coherent or incoherent• Any set of norms induces (conditional)
obligations
![Page 5: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/5.jpg)
Normative States: Ingredients
• Different types of priority between norms:– Temporal (order of introduction)– Commitment (active/inactive)– Explicit (authority)– Implicit (specificity-like)
• We consider only first 2 for now
![Page 6: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/6.jpg)
Normative States
• A normative state N is of the form
– is a prior set of norms– is the sequence of revision inputs
received thus far– is the set of currently active norms– Obligation is induced by N iff it’s induced by
![Page 7: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/7.jpg)
Minimal Requirements on X
• is coherent• • if
– Not necessarily for all i – If N = then not necessarily
![Page 8: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/8.jpg)
The Revision Problem• Given:
– normative state N and coherent norm-set
• Want:– new normative state N
• N = for some new set of active norms • Question: What is ?
![Page 9: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/9.jpg)
Basic Postulates for X’
• By definition of normative state, we must have:– is coherent– (Success)
• Might also expect:– If is coherent then (Conservativeness)
• More?...
![Page 10: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/10.jpg)
A First Method: Some Notation
• Given normative state N = let for i = 0,…,n
• Given 2 norm-sets , set is the family of norm-sets s.t.1) is coherent2) If then is incoherent
![Page 11: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/11.jpg)
A First Method
Construct iteratively• Start with • Then for i = n,….,0
– If then – else
![Page 12: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/12.jpg)
A First Method: Simple Examples
• Examples use a specific definition of “coherence”:– is coherent iff there is no s.t. and can be derived from in System P
![Page 13: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/13.jpg)
Example 1
• N = , where:
• Suppose• Then
![Page 14: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/14.jpg)
Example 2
• N = , where:
• Suppose• Then
![Page 15: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/15.jpg)
Conclusion
• Preliminary framework for Norm Revision• Incorporates temporal and “commitment”
(active/inactive) priorities• Give first method based on maximal coherent
sets, giving active norms “privilege”• Ongoing work….
![Page 16: General Norm Change Emil Weydert and Richard Booth Individual and Collective Reasoning Group University of Luxembourg.](https://reader035.fdocuments.in/reader035/viewer/2022062620/551b5157550346ae7a8b52cb/html5/thumbnails/16.jpg)
Norm Change Workshop participants are warmly invited to:
JANUARY 29……SUBMISSION DEADLINE JANUARY 29…….SUBMISSION DEADLINE JANUA