Logic and Social Choice Theory. A Survey. ILLC, University of Amsterdam. November 16, staff.science.uva.

Size: px
Start display at page:

Download "Logic and Social Choice Theory. A Survey. ILLC, University of Amsterdam. November 16, staff.science.uva."

Transcription

1 Logic and Social Choice Theory A Survey Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl November 16, 2007

2 Setting the Stage: Logic and Games Game Logics Logics for social interactive situations (ATL, DEL/ETL, STIT, etc.) When are two games the same? Epistemic program in game theory (Formally) Verifying that a social procedure is correct (Social Software) Develop ( well-behaved ) logical languages that can express game theoretic concepts, such as the Nash equilibrium

3 Setting the Stage: Logic and Games Game Logics Logics for social interactive situations (ATL, DEL/ETL, STIT, etc.) When are two games the same? Epistemic program in game theory (Formally) Verifying that a social procedure is correct (Social Software) Develop ( well-behaved ) logical languages that can express game theoretic concepts, such as the Nash equilibrium Logic and Games not Logic instead of Games!

4 Setting the Stage: Logic and Games Game theory is full of deep puzzles, and there is often disagreement about proposed solutions to them. The puzzlement and disagreement are neither empirical nor mathematical but, rather, concern the meanings of fundamental concepts ( solution, rational, complete information ) and the soundness of certain arguments...logic appears to be an appropriate tool for game theory both because these conceptual obscurities involve notions such as reasoning, knowledge and counter-factuality which are part of the stock-in-trade of logic, and because it is a prime function of logic to establish the validity or invalidity of disputed arguments. M.O.L. Bacharach. Logic and the Epistemic Foundations of Game Theory..

5 Setting the Stage: Logic and Games M. Pauly and W. van der Hoek. Modal Logic form Games and Information. Handbook of Modal Logic (2006). G. Bonanno. Modal logic and game theory: Two alternative approaches. Risk Decision and Policy 7 (2002). J. van Benthem. Extensive games as process models. Journal of Logic, Language and Information 11 (2002). J. Halpern. A computer scientist looks at game theory. Games and Economic Behavior 45:1 (2003). R. Parikh. Social Software. Synthese 132: 3 (2002).

6 What about logic and social choice theory?

7 Plan Quick Review Some Classic Results of Social Choice Theory Formalizing Social Choice Theory A Logician Looks at Aggregation Results A General Framework Concluding Remarks Goal: Illustrate where logic naturally shows up in social choice theory and point to some relevant literature.

8 Aggregating Preferences: Some Notation Suppose that there are n individuals and two alternatives x and y Let xpiy denote that i prefers x to y and xiiy denote that i is indifferent between x and y

9 Aggregating Preferences: Some Notation For each i there is a variable Di { 1, 0, 1} where 1 if ypix D = 0 if xiiy 1 if xpiy f : { 1, 0, 1} n { 1, 0, 1} is the group decision function

10 Simple Majority Procedure For k { 1, 0, 1}, let Nk(D1,..., Dn) = {i Di = k} Let D = D1,..., Dn f is a simple majority decision method iff 1 if N1( D) N 1( D) < 0 f( D) = 0 if N1( D) N 1( D) = 0 1 if N1( D) N 1( D) > 0

11 Properties of group decision funcitons A group decision function f is Decisive if it is a total function Symmetric if f(d1,..., Dn) = f(d j(1),..., D j(n) ) for all permutations j. I.e., f is symmetric in all of its arguments. Neutral if f( D1,..., Dn) = f(d1,..., Dn) Positively Responsive if D = f(d1,..., Dn) = 0 or 1, and D i = D i for all i i0, and D > D i0 i0, then D = f(d 1,..., D n) = 1

12 May s Theorem Theorem (May, 1952) A group decision function is the method of simple majority decision if and only if it is always decisive, symmetric, neutral and positively responsive

13 Generalizing May s Theorem In May s Theorem, the agents are making a single binary choice between two alternatives. What about more general situations?

14 Generalizing May s Theorem In May s Theorem, the agents are making a single binary choice between two alternatives. What about more general situations? Agents choose between between more than two alternatives. There are multiple interconnected propositions on which simultaneous decisions are to be made.

15 Generalizing May s Theorem In May s Theorem, the agents are making a single binary choice between two alternatives. What about more general situations? Agents choose between between more than two alternatives. (Condorcet, Arrow) There are multiple interconnected propositions on which simultaneous decisions are to be made. (Judgement Aggregation)

16 Arrow s Theorem: Some Notation Let R be the set of all reflexive, transitive and connected relations on a set of candidates X. A social welfare function F is a function F : R n R Suppose that R = F (R1,..., Rn)

17 Arrow s Theorem: Conditions Universal Domain: F is a total function Weak Pareto Principle: For any two candidates x, y if xriy for each agent i then xf ( R)y Independence of Irrelevant Alternatives: Suppose that R and R are two preference profiles and x and y are two candidates such that for all individuals i, if xriy iff xr i y then xf ( R)y iff xf ( R )y. Dictatorship: i is a dictator if for all profiles R R n, if xriy then xf ( R)y.

18 Arrow s Theorem Theorem (Arrow 1951/1963) A social welfare function satisfies Universal Domain, Weak Pareto Principle, Independence of Irrelevant Alternatives iff it is a Dictatorship.

19 Judgement Aggregation (Kornhauser and Sager 1993) P : a valid contract was in place Q: the defendant s behaviour was such as to breach a contract of that kind R: the court is required to find the defendant liable. P Q (P Q) R R 1 yes yes yes yes 2 yes no yes no 3 no yes yes no

20 Should we accept R? P Q (P Q) R R 1 yes yes yes yes 2 yes no yes no 3 no yes yes no

21 Should we accept R? No, a simple majority votes no. P Q (P Q) R R 1 yes yes yes yes 2 yes no yes no 3 no yes yes no

22 Should we accept R? Yes, a majority votes yes for P and Q and (P Q) R is a legal doctrine. P Q (P Q) R R 1 yes yes yes yes 2 yes no yes no 3 no yes yes no

23 List and Pettit Impossibility Result Suppose there are n agetns and let L be a propositional language. Personal judgement sets: a consistent, complete and deductively closed set of formulas a maximally consistent set. A collective judgement aggregation function: Let M = {Γ Γ is a maximally consistent set} then a collective aggregation function is defined as follows: F : M n M

24 Some Conditions Universal Domain F is a total function Anonymity For all Γ M n, F (Γ1,..., Γn) = F (Γ π(1),..., Γ π(n) ) for all permutations π Systematicity There exists a function f : {0, 1} n {0, 1} such that for any Γ M n, F (Γ1,..., Γn) = {ϕ X f(δ1(ϕ),..., δn(ϕ)) = 1}, where, for each agent i and each ϕ X, δi(ϕ) = 1 if ϕ Γi and δi(ϕ) = 0 if ϕ Γi

25 Theorem (List and Pettit, 2001) There exists no judgement aggregation function generating complete, consistent and deductively closed collective sets of judgements which satisfies Universal Domain, Anonymity and Systematicity. Theorem (Pauly and van Hees, 2003) Given that the agenda is atomically closed, an aggregation function is responsive and independent of irrelevant alternatives iff it is a dictatorship.

26 Brief Survey of the Literature See personal.lse.ac.uk/list/doctrinalparadox.htm for a detailed overview of the current state of affairs. Some highlights: Other impossibility results: Pauly and van Hees (2003), van Hees (2004), Gärdenfors (2004), and others List and Pettit (2005) compare their impossibility result with Arrow s Theorem

27 Plan Quick review of some classic results of Social Choice Theory Formalizing Social Choice Theory A Logician Looks at Aggregation Results A General Framework Concluding Remarks Goal: Illustrate where logic naturally shows up in social choice theory and point to some relevant literature.

28 Judgement Aggregation Logic T. Agotnes, W. van der Hoek, M. Wooldridge. Reasoning about Judgement and Preference Aggregation. AAMAS, Some Notation: N = {1,..., n} a set of agents A is the agenda (set of formulas of some logic L on the table satisfying certain fullness conditions ) Let J(A, L) is the set of judgements (eg. maximally consistent subsets of A) γ J(A, L) n is a judgement profile with γi agent i s judgement set

29 Judgement Aggregation Logic: Semantics Tables F, γ, p

30 Example: Judgement Aggregation Logic: Semantics Tables F, γ, p P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)}

31 Judgement Aggregation Logic: Semantics Tables F, γ, p Example: P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)} F is an aggregations function F : J(A, L) n J(A, L)

32 Judgement Aggregation Logic: Semantics Tables F, γ, p Example: P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)} γ J(A, L) n (assuming consistency and completeness)

33 Example: Judgement Aggregation Logic: Semantics Tables F, γ, p P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)} p A

34 Judgement Aggregation Logic: Language Atomic Formulas: At = {i, σ, hp p A, i N} Formulas: ϕ ::= α ϕ ϕ ϕ ϕ ϕ

35 Judgement Aggregation Logic: Language Atomic Formulas: At = {i, σ, hp p A, i N} Formulas: ϕ ::= α ϕ ϕ ϕ ϕ ϕ F, γ, p = ϕ

36 Judgement Aggregation Logic: Truth F, γ, p = hq iff q = p F, γ, p = i iff p γi F, γ, p = σ iff p F (γ) F, γ, p = ϕ iff γ J(A, L) n, F, γ, p = ϕ F, γ, p = ϕ iff p A, F, γ, p = ϕ Boolean connectives as usual

37 Judgement Aggregation Logic: Truth F, γ, p = hq iff q = p The current proposition on the table is q F, γ, p = i iff p γi F, γ, p = σ iff p F (γ) F, γ, p = ϕ iff γ J(A, L) n, F, γ, p = ϕ F, γ, p = ϕ iff p A, F, γ, p = ϕ Boolean connectives as usual

38 Judgement Aggregation Logic: Truth F, γ, p = hq iff q = p The current proposition on the table is q F, γ, p = i iff p γi Voter i accepts the current proposition on the table F, γ, p = σ iff p F (γ) F, γ, p = ϕ iff γ J(A, L) n, F, γ, p = ϕ F, γ, p = ϕ iff p A, F, γ, p = ϕ Boolean connectives as usual

39 Judgement Aggregation Logic: Truth F, γ, p = hq iff q = p The current proposition on the table is q F, γ, p = i iff p γi Voter i accepts the current proposition on the table F, γ, p = σ iff p F (γ) Society accepts the current proposition on the table F, γ, p = ϕ iff γ J(A, L) n, F, γ, p = ϕ F, γ, p = ϕ iff p A, F, γ, p = ϕ Boolean connectives as usual

40 Judgement Aggregation Logic: Truth F, γ, p = hq iff q = p The current proposition on the table is q F, γ, p = i iff p γi Voter i accepts the current proposition on the table F, γ, p = σ iff p F (γ) Society accepts the current proposition on the table F, γ, p = ϕ iff γ J(A, L) n, F, γ, p = ϕ Quantification over the set of judgement profiles F, γ, p = ϕ iff p A, F, γ, p = ϕ Boolean connectives as usual

41 Judgement Aggregation Logic: Truth F, γ, p = hq iff q = p The current proposition on the table is q F, γ, p = i iff p γi Voter i accepts the current proposition on the table F, γ, p = σ iff p F (γ) Society accepts the current proposition on the table F, γ, p = ϕ iff γ J(A, L) n, F, γ, p = ϕ Quantification over the set of judgement profiles F, γ, p = ϕ iff p A, F, γ, p = ϕ Quantification over the agenda Boolean connectives as usual

42 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False

43 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)}

44 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)} Fmaj, γ, P = 1 2 3

45 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)} Fmaj, γ, P = σ

46 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)} Fmaj, γ, P = A (1 3)

47 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)} Fmaj, γ, P = ((1 2) (2 3) (1 3))

48 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 True True True Fmaj True True True A = {P, Q, P Q, P, Q, (P Q)} Fmaj, γ, P = ((1 2) (2 3) (1 3))

49 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 True True True Fmaj True True True A = {P, Q, P Q, P, Q, (P Q)} Fmaj, γ, P = ((1 2) (2 3) (1 3) }{{} ) All agents agree on P

50 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True False False Individual 3 False True False Fmaj True True False A = {P, Q, P Q, P, Q, (P Q)} Fmaj, γ, P = ((1 2) (2 3) (1 3))

51 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True True True Individual 3 True True True Fmaj True True True A = {P, Q, P Q, P, Q, (P Q)} Fmaj, γ, P = ((1 2) (2 3) (1 3))

52 Judgement Aggregation Logic: Example P P Q Q Individual 1 True True True Individual 2 True True True Individual 3 True True True Fmaj True True True A = {P, Q, P Q, P, Q, (P Q)} Fmaj, γ, P = ((1 2) (2 3) (1 3)) }{{} All agents agree on all propositions in the agenda

53 Judgement Aggregation Logic: Results

54 Judgement Aggregation Logic: Results Sound and complete axiomatization

55 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult

56 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i,

57 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i, Impossibility results:

58 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i, Impossibility results: Nondictatorship: i N (σ i),

59 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i, Impossibility results: Nondictatorship: i N (σ i), Unanimity: ((1 n) σ)

60 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i, Impossibility results: Nondictatorship: i N (σ i), Unanimity: ((1 n) σ) Independence: o O ((o σ) (o σ)) Given any judgement profile, any choice of the voters and any P A, if society accepts P then for any profile (if the choices are the same w.r.t. P then society should accept P )

61 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i, Impossibility results: Nondictatorship: i N (σ i), Unanimity: ((1 n) σ) Independence: o O ((o σ) (o σ)) Given any judgement profile, any choice of the voters and any P A, if society accepts P then for any profile (if the choices are the same w.r.t. P then society should accept P )

62 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i, Impossibility results: Nondictatorship: i N (σ i), Unanimity: ((1 n) σ) Independence: o O ((o σ) (o σ)) Given any judgement profile, any choice of the voters and any P A, if society accepts P then for any profile (if the choices are the same w.r.t. P then society should accept P )

63 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i, Impossibility results: Nondictatorship: i N (σ i), Unanimity: ((1 n) σ) Independence: o O ((o σ) (o σ)) Given any judgement profile, any choice of the voters and any P A, if society accepts P then for any profile (if the choices are the same w.r.t. P then society should accept P )

64 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i, Impossibility results: Nondictatorship: i N (σ i), Unanimity: ((1 n) σ) Independence: o O ((o σ) (o σ)) Given any judgement profile, any choice of the voters and any P A, if society accepts P then for any profile (if the choices are the same w.r.t. P then society should accept P )

65 Judgement Aggregation Logic: Results Sound and complete axiomatization Model checking is decidable, but relatively difficult Expressivity: Discursive Dilemma: (( MV ) ), where MV := σ G N, G > n 2 i G i, Impossibility results: Nondictatorship: i N (σ i), Unanimity: ((1 n) σ) Independence: o O ((o σ) (o σ)) Given any judgement profile, any choice of the voters and any P A, if society accepts P then for any profile (if the choices are the same w.r.t. P then society should accept P )

66 Plan Quick review of some classic results of Social Choice Theory Formalizing Social Choice Theory A Logician Looks at Aggregation Results A General Framework Concluding Remarks Goal: Illustrate where logic naturally shows up in social choice theory and point to some relevant literature.

67 What do the (Im)possibility results say? M. Pauly. On the Role of Language in Social Choice Theory

68 What do the (Im)possibility results say? M. Pauly. On the Role of Language in Social Choice Theory Given a semantic domain D and a target class T D

69 What do the (Im)possibility results say? M. Pauly. On the Role of Language in Social Choice Theory Given a semantic domain D and a target class T D Fix a language L and a satisfaction relation = D L

70 What do the (Im)possibility results say? M. Pauly. On the Role of Language in Social Choice Theory Given a semantic domain D and a target class T D Fix a language L and a satisfaction relation = D L L be a set of axioms

71 What do the (Im)possibility results say? M. Pauly. On the Role of Language in Social Choice Theory Given a semantic domain D and a target class T D Fix a language L and a satisfaction relation = D L L be a set of axioms absolutely axiomatizes T iff for all M D, M T iff M = (i.e., defines T )

72 What do the (Im)possibility results say? M. Pauly. On the Role of Language in Social Choice Theory Given a semantic domain D and a target class T D Fix a language L and a satisfaction relation = D L L be a set of axioms absolutely axiomatizes T iff for all M D, M T iff M = (i.e., defines T ) relatively axiomatizes T iff for all ϕ L, T = ϕ iff = ϕ (i.e., axiomatizes the theory of T )

73 What do the (Im)possibility results say? May s Theorem: is the set of aggregation functions w.r.t. 2 candidates, T is majority rule, L is the language of set theory, is the properties of May s theorem, then absolutely axiomatizes T.

74 What do the (Im)possibility results say? May s Theorem: is the set of aggregation functions w.r.t. 2 candidates, T is majority rule, L is the language of set theory, is the properties of May s theorem, then absolutely axiomatizes T. Arrow s Theorem: is the set of aggregation functions w.r.t. 3 or more candidates, T is a dictatorship, L is the language of set theory, is the properties of May s theorem, then absolutely axiomatizes T.

75 What do the (Im)possibility results say? May s Theorem: is the set of aggregation functions w.r.t. 2 candidates, T is majority rule, L is the language of set theory, is the properties of May s theorem, then absolutely axiomatizes T. Arrow s Theorem: is the set of aggregation functions w.r.t. 3 or more candidates, T is a dictatorship, L is the language of set theory, is the properties of May s theorem, then absolutely axiomatizes T. Previous Axiomatization Result: A relative axiomatization of the class of all tables in a multi-modal language

76 A Minimal Language M. Pauly. Axiomatizing Collective Judgement Sets in a Minimal Logical Language Let ΦI be the set of individual formulas (standard propositional language) VI the set of individual valuations

77 A Minimal Language M. Pauly. Axiomatizing Collective Judgement Sets in a Minimal Logical Language Let ΦI be the set of individual formulas (standard propositional language) VI the set of individual valuations ΦC the set of collective formulas: α ϕ ψ ϕ α: The group collectively accepts α. VC the set of collective valuations: v : ΦC {0, 1}

78 A Minimal Language Let CON n = {v VC v( α) = 1 iff i n, vi(α) = 1} E. ϕ ψ provided ϕ ψ is a tautology M. (ϕ ψ) ( ϕ ψ) C. ( ϕ ψ) ( ϕ ψ) N. D. Theorem [Pauly, 2005] VC(KD) = CON n, provided n 2 Φ 0. (D = VC, T = CON n = EMCND, then absolutely axiomatizes T.)

79 A Minimal Language Let MAJ n = {v VC v([>]α) = 1 iff {i vi(α) = 1} > n 2 } STEM contains all instances of the following schemes S. [>]ϕ [>] ϕ T. ([ ]ϕ1 [ ]ϕk [ ]ψ1 [ ]ψk) 1 i k ([=]ϕ i [=]ψi) where v VI : {i v ( ϕi) = 1} = {i v(ψi) = 1} E. [>]ϕ [>]ψ provided ϕ ψ is a tautology M. [>](ϕ ψ) ([>]ϕ [>]ψ) Theorem [Pauly, 2005] VC(STEM) = MAJ. (D = VC, T = MAJ n = ST EM, then absolutely axiomatizes T.)

80 Related Work T. Daniëls. Social Choice and Logic via Simple Games. ILLC, Masters Thesis, General discussion of preference aggregation and judgement aggregations Interprets formulas directly on aggregations rules F, γ = α iff α F (γ) Studies the relationship with neighborhood models for modal logic Goldblatt-Thomason Result about expressivity of the modal language

81 Plan Quick review of some classic results of Social Choice Theory Formalizing Social Choice Theory A Logician Looks at Aggregation Results A General Framework Concluding Remarks Goal: Illustrate where logic naturally shows up in social choice theory and point to some relevant literature.

82 A General Framework T. Daniëls, EP. A General Framework for Aggregation Results. forthcoming, Let N be a set of agents and Z a lattice (ordered set). A choice function is a map π : N Z. If π(i) = z then we will say that agent i accepts z.

83 A General Framework T. Daniëls, EP. A General Framework for Aggregation Results. forthcoming, Let N be a set of agents and Z a lattice (ordered set). A choice function is a map π : N Z. If π(i) = z then we will say that agent i accepts z. If π(i) = z then agent i accepts all z such that z z, i.e., i accepts each element in the set π(i).

84 A General Framework Let Π := {π π : N Z} be the set of all choice functions. An aggregation function is a map F : Π Z. Given π, F (π) is the socially accepted element of Z.

85 A General Framework: Consistency Assumption For all i N, π(i) < and for all π Π, F (π) <

86 A General Framework: Judgement Aggregation Let Φ be an agenda, a set of sentences of some logical language. Let Z = {z z Φ and z is consistent } z z = if z z is inconsistent z z otherwise z z iff z z. is the inconsistent set. =

87 A General Framework: Preference Aggregation Let X be a set of candidates Let Z = {z z X X z satisfies appropriate order axioms } z z = if z z is inconsistent with the order axioms z z otherwise z z iff z z. is the universal relation. =

88 Relevant Sets of Agents Fix π Π and z Z. Acceptance set of z under π: [z ] π = {i N z π(i)} Blocking set of z under π: [z\] π = {i N z π(i) = }. Set with no opinion about z under π: N ([z ] π [z\] π ).

89 Decisive Sets Let F be an aggregation function and suppose z Z, M N. M is decisive for F with respect to z iff for all π Π, Whenever z π(i) for all i M and z π(j) = for all j N M, then z F (π).

90 Families of Decisive Sets Fix F : Π n Z. Define ΩF : Z 2 2N where Ω(z) = {X X N is decisive for z}

91 Families of Decisive Sets Fix F : Π n Z. Define ΩF : Z 2 2N where Ω(z) = {X X N is decisive for z} What we want: ΩF = {X X N is decisive for F }

92 Families of Decisive Sets Fix F : Π n Z. Define ΩF : Z 2 2N where Ω(z) = {X X N is decisive for z} What we want: ΩF = {X X N is decisive for F } General Project: Properties of the Lattice and properties of F correspond to proeprties of ΩF

93 Plan Quick review of some classic results of Social Choice Theory Formalizing Social Choice Theory A Logician Looks at Aggregation Results A General Framework Concluding Remarks Goal: Illustrate where logic naturally shows up in social choice theory and point to some relevant literature.

94 Concluding Remarks Logic naturally appears in Social Choice Theory: Judgement Aggregation Logic for Social Choice Preference Representation (cf. the work of U. Endriss, J. Lang, F. Rossi, etc.)

95 Concluding Remarks Logic naturally appears in Social Choice Theory: Judgement Aggregation Logic for Social Choice Preference Representation (cf. the work of U. Endriss, J. Lang, F. Rossi, etc.) Logic provides another dimension to compare various axiomatization results from social choice (expressivity of the underlying logical language).

96 Concluding Remarks Logic naturally appears in Social Choice Theory: Judgement Aggregation Logic for Social Choice Preference Representation (cf. the work of U. Endriss, J. Lang, F. Rossi, etc.) Logic provides another dimension to compare various axiomatization results from social choice (expressivity of the underlying logical language). Meta-Social Choice Theory : decidability results, non-axiomatizability, etc.

97 Concluding Remarks Logic naturally appears in Social Choice Theory: Judgement Aggregation Logic for Social Choice Preference Representation (cf. the work of U. Endriss, J. Lang, F. Rossi, etc.) Logic provides another dimension to compare various axiomatization results from social choice (expressivity of the underlying logical language). Meta-Social Choice Theory : decidability results, non-axiomatizability, etc. Logic can be used to explain the underlying reason for impossibility results (cf. also geometric explanation of D. Saari)

98 Thank you.

Social Choice Theory for Logicians Lecture 5

Social Choice Theory for Logicians Lecture 5 Social Choice Theory for Logicians Lecture 5 Eric Pacuit Department of Philosophy University of Maryland, College Park ai.stanford.edu/ epacuit epacuit@umd.edu June 22, 2012 Eric Pacuit: The Logic Behind

More information

Judgement Aggregation

Judgement Aggregation Judgement Aggregation Stanford University ai.stanford.edu/ epacuit/lmh Fall, 2008 :, 1 The Logic of Group Decisions Fundamental Problem: groups are inconsistent! :, 2 The Logic of Group Decisions: The

More information

The Axiomatic Method in Social Choice Theory:

The Axiomatic Method in Social Choice Theory: The Axiomatic Method in Social Choice Theory: Preference Aggregation, Judgment Aggregation, Graph Aggregation Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Ulle Endriss

More information

Computational Social Choice: Spring 2015

Computational Social Choice: Spring 2015 Computational Social Choice: Spring 2015 Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Ulle Endriss 1 Plan for Today Last time we introduced the axiomatic method for

More information

1. The Problem. Table 1

1. The Problem. Table 1 1 A Possibility Theorem on Aggregation Over Multiple Interconnected Propositions Christian List 1 forthcoming in Mathematical Social Sciences Abstract. Drawing on the so-called doctrinal paradox, List

More information

Neighborhood Semantics for Modal Logic Lecture 3

Neighborhood Semantics for Modal Logic Lecture 3 Neighborhood Semantics for Modal Logic Lecture 3 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 15, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 3 1 Plan for the

More information

Neighborhood Semantics for Modal Logic Lecture 5

Neighborhood Semantics for Modal Logic Lecture 5 Neighborhood Semantics for Modal Logic Lecture 5 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 17, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 5 1 Plan for the

More information

Binary Aggregation with Integrity Constraints

Binary Aggregation with Integrity Constraints Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Binary Aggregation with Integrity Constraints Umberto Grandi and Ulle Endriss Institute for Logic, Language and

More information

Lifting Integrity Constraints in Binary Aggregation

Lifting Integrity Constraints in Binary Aggregation Lifting Integrity Constraints in Binary Aggregation Umberto Grandi and Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Postbus 94242, 1090 GE Amsterdam The Netherlands

More information

A measure of distance between judgment sets

A measure of distance between judgment sets A measure of distance between judgment sets Conal Duddy and Ashley Piggins July 20, 2011 Abstract In the literature on judgment aggregation, an important open question is how to measure the distance between

More information

Judgment Aggregation: June 2018 Project

Judgment Aggregation: June 2018 Project Judgment Aggregation: June 2018 Project Sirin Botan Institute for Logic, Language and Computation University of Amsterdam June 5, 2018 Judgment Aggregation, June 2018: Lecture 2 Sirin Botan 1 / 21 Plan

More information

1 A new brand of aggregation theory

1 A new brand of aggregation theory JUDGMENT AGGREGATION prepared for The Handbook of Formal Philosophy, S.O. Hansson and V.F. Hendricks (eds), Springer by Philippe Mongin 1 A new brand of aggregation theory It is a commonplace idea that

More information

Binary Aggregation with Integrity Constraints

Binary Aggregation with Integrity Constraints Binary Aggregation with Integrity Constraints Umberto Grandi and Ulle Endriss Institute for Logic, Language and Computation, University of Amsterdam u.grandi@uva.nl, ulle.endriss@uva.nl Abstract We consider

More information

The problem of judgment aggregation in the framework of boolean-valued models

The problem of judgment aggregation in the framework of boolean-valued models The problem of judgment aggregation in the framework of boolean-valued models Daniel Eckert 1 and Frederik Herzberg 23 1 Institut für Finanzwissenschaft, Universität Graz 2 Institut für Mathematische Wirtschaftsforschung,

More information

Judgment Aggregation with Abstentions under Voters Hierarchy

Judgment Aggregation with Abstentions under Voters Hierarchy Judgment Aggregation with Abstentions under Voters Hierarchy Guifei Jiang, Dongmo Zhang, Laurent Perrussel To cite this version: Guifei Jiang, Dongmo Zhang, Laurent Perrussel. Judgment Aggregation with

More information

Judgment aggregation: a survey

Judgment aggregation: a survey Judgment aggregation: a survey Christian List Department of Government London School of Economics Clemens Puppe Department of Economics University of Karlsruhe September 30, 2007 1 Introduction Judgment

More information

Logics of Rational Agency Lecture 3

Logics of Rational Agency Lecture 3 Logics of Rational Agency Lecture 3 Eric Pacuit Tilburg Institute for Logic and Philosophy of Science Tilburg Univeristy ai.stanford.edu/~epacuit July 29, 2009 Eric Pacuit: LORI, Lecture 3 1 Plan for the

More information

Social Choice Theory. Felix Munoz-Garcia School of Economic Sciences Washington State University. EconS Advanced Microeconomics II

Social Choice Theory. Felix Munoz-Garcia School of Economic Sciences Washington State University. EconS Advanced Microeconomics II Social Choice Theory Felix Munoz-Garcia School of Economic Sciences Washington State University EconS 503 - Advanced Microeconomics II Social choice theory MWG, Chapter 21. JR, Chapter 6.2-6.5. Additional

More information

Logic and Artificial Intelligence Lecture 22

Logic and Artificial Intelligence Lecture 22 Logic and Artificial Intelligence Lecture 22 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit

More information

Tableaux for Acceptance Logic

Tableaux for Acceptance Logic Tableaux for Acceptance Logic Mathijs de Boer 1, Andreas Herzig 2, Tiago de Lima 3, and Emiliano Lorini 2 1 University of Luxembourg, Luxembourg 2 IRIT, University of Toulouse 3, France 3 Eindhoven University

More information

Lecture 8: Introduction to Game Logic

Lecture 8: Introduction to Game Logic Lecture 8: Introduction to Game Logic Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl Lecture Date: April 6, 2006 Caput Logic, Language and Information: Social

More information

Dependence and Independence in Social Choice Theory

Dependence and Independence in Social Choice Theory Dependence and Independence in Social Choice Theory Eric Pacuit Department of Philosophy University of Maryland, College Park pacuit.org epacuit@umd.edu March 4, 2014 Eric Pacuit 1 Competing desiderata

More information

Agreement Theorems from the Perspective of Dynamic-Epistemic Logic

Agreement Theorems from the Perspective of Dynamic-Epistemic Logic Agreement Theorems from the Perspective of Dynamic-Epistemic Logic Olivier Roy & Cedric Dégremont November 10, 2008 Olivier Roy & Cedric Dégremont: Agreement Theorems & Dynamic-Epistemic Logic, 1 Introduction

More information

Majority Logic. Introduction

Majority Logic. Introduction Majority Logic Eric Pacuit and Samer Salame Department of Computer Science Graduate Center, City University of New York 365 5th Avenue, New York 10016 epacuit@cs.gc.cuny.edu, ssalame@gc.cuny.edu Abstract

More information

Applied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw

Applied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw Applied Logic Lecture 1 - Propositional logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018

More information

Formalizing Arrow s Theorem in Logics of Dependence and Independence

Formalizing Arrow s Theorem in Logics of Dependence and Independence 1/22 Formalizing Arrow s Theorem in Logics of Dependence and Independence Fan Yang Delft University of Technology Logics for Social Behaviour ETH Zürich 8-11 February, 2016 Joint work with Eric Pacuit

More information

SYSU Lectures on the Theory of Aggregation Lecture 2: Binary Aggregation with Integrity Constraints

SYSU Lectures on the Theory of Aggregation Lecture 2: Binary Aggregation with Integrity Constraints SYSU Lectures on the Theory of Aggregation Lecture 2: Binary Aggregation with Integrity Constraints Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam [ http://www.illc.uva.nl/~ulle/sysu-2014/

More information

Judgment aggregation under constraints

Judgment aggregation under constraints Judgment aggregation under constraints Franz Dietrich and Christian List 1 8/2007 In solving judgment aggregation problems, groups often face constraints. Many decision problems can be modelled in terms

More information

Towards A Multi-Agent Subset Space Logic

Towards A Multi-Agent Subset Space Logic Towards A Multi-Agent Subset Space Logic A Constructive Approach with Applications Department of Computer Science The Graduate Center of the City University of New York cbaskent@gc.cuny.edu www.canbaskent.net

More information

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS 1 Language There are several propositional languages that are routinely called classical propositional logic languages. It is due to the functional dependency

More information

Understanding the Brandenburger-Keisler Belief Paradox

Understanding the Brandenburger-Keisler Belief Paradox Understanding the Brandenburger-Keisler Belief Paradox Eric Pacuit Institute of Logic, Language and Information University of Amsterdam epacuit@staff.science.uva.nl staff.science.uva.nl/ epacuit March

More information

Knowledge, Strategies, and Know-How

Knowledge, Strategies, and Know-How KR 2018, Tempe, AZ, USA Knowledge, Strategies, and Know-How Jia Tao Lafayette College Pavel Naumov Claremont McKenna College http://reasoning.eas.asu.edu/kr2018/ "!! Knowledge, Strategies, Know-How!!?!!

More information

Logic: Propositional Logic Truth Tables

Logic: Propositional Logic Truth Tables Logic: Propositional Logic Truth Tables Raffaella Bernardi bernardi@inf.unibz.it P.zza Domenicani 3, Room 2.28 Faculty of Computer Science, Free University of Bolzano-Bozen http://www.inf.unibz.it/~bernardi/courses/logic06

More information

Neighborhood Semantics for Modal Logic Lecture 4

Neighborhood Semantics for Modal Logic Lecture 4 Neighborhood Semantics for Modal Logic Lecture 4 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 16, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 4 1 Plan for the

More information

Valentin Goranko Stockholm University. ESSLLI 2018 August 6-10, of 29

Valentin Goranko Stockholm University. ESSLLI 2018 August 6-10, of 29 ESSLLI 2018 course Logics for Epistemic and Strategic Reasoning in Multi-Agent Systems Lecture 5: Logics for temporal strategic reasoning with incomplete and imperfect information Valentin Goranko Stockholm

More information

The Reasonable Man and other legal standards.

The Reasonable Man and other legal standards. The Reasonable Man and other legal standards. Alan D. Miller September 25, 2007 Comments welcome. Abstract In the common law of negligence, an individual breaches the duty of due care if she fails to act

More information

Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules

Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules Weiwei Chen a,b, Ulle Endriss b a Institute of Logic and Cognition and Department of Philosophy

More information

Logic and Artificial Intelligence Lecture 7

Logic and Artificial Intelligence Lecture 7 Logic and Artificial Intelligence Lecture 7 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit

More information

First-Order Modal Logic and the Barcan Formula

First-Order Modal Logic and the Barcan Formula First-Order Modal Logic and the Barcan Formula Eric Pacuit Stanford University ai.stanford.edu/ epacuit March 10, 2009 Eric Pacuit: The Barcan Formula, 1 Plan 1. Background Neighborhood Semantics for Propositional

More information

Filtrations and Basic Proof Theory Notes for Lecture 5

Filtrations and Basic Proof Theory Notes for Lecture 5 Filtrations and Basic Proof Theory Notes for Lecture 5 Eric Pacuit March 13, 2012 1 Filtration Let M = W, R, V be a Kripke model. Suppose that Σ is a set of formulas closed under subformulas. We write

More information

A Logic for Cooperation, Actions and Preferences

A Logic for Cooperation, Actions and Preferences A Logic for Cooperation, Actions and Preferences Lena Kurzen Universiteit van Amsterdam L.M.Kurzen@uva.nl Abstract In this paper, a logic for reasoning about cooperation, actions and preferences of agents

More information

Complexity of Winner Determination and Strategic Manipulation in Judgment Aggregation

Complexity of Winner Determination and Strategic Manipulation in Judgment Aggregation Complexity of Winner Determination and Strategic Manipulation in Judgment Aggregation Ulle Endriss, Umberto Grandi and Daniele Porello Abstract Judgment aggregation is an area of social choice theory that

More information

Propositional logic (revision) & semantic entailment. p. 1/34

Propositional logic (revision) & semantic entailment. p. 1/34 Propositional logic (revision) & semantic entailment p. 1/34 Reading The background reading for propositional logic is Chapter 1 of Huth/Ryan. (This will cover approximately the first three lectures.)

More information

13 Social choice B = 2 X X. is the collection of all binary relations on X. R = { X X : is complete and transitive}

13 Social choice B = 2 X X. is the collection of all binary relations on X. R = { X X : is complete and transitive} 13 Social choice So far, all of our models involved a single decision maker. An important, perhaps the important, question for economics is whether the desires and wants of various agents can be rationally

More information

Formal ex-post rationalization A complete conclusion-based procedure for judgment aggregation

Formal ex-post rationalization A complete conclusion-based procedure for judgment aggregation Formal ex-post rationalization A complete conclusion-based procedure for judgment aggregation Gabriella Pigozzi gabriella.pigozzi@uni.lu Marija Slavkovik marija.slavkovik@uni.lu Leendert van der Torre

More information

Notes on Modal Logic

Notes on Modal Logic Notes on Modal Logic Notes for Philosophy 151 Eric Pacuit January 25, 2009 These short notes are intended to supplement the lectures and text ntroduce some of the basic concepts of Modal Logic. The primary

More information

An Introduction to Modal Logic V

An Introduction to Modal Logic V An Introduction to Modal Logic V Axiomatic Extensions and Classes of Frames Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, November 7 th 2013

More information

JUDGMENT AGGREGATORS AND BOOLEAN ALGEBRA HOMOMORPHISMS

JUDGMENT AGGREGATORS AND BOOLEAN ALGEBRA HOMOMORPHISMS Working Papers Institute of Mathematical Economics 414 February 2009 JUDGMENT AGGREGATORS AND BOOLEAN ALGEBRA HOMOMORPHISMS Frederik Herzberg IMW Bielefeld University Postfach 100131 33501 Bielefeld Germany

More information

Aggregating Incomplete Judgments: Axiomatisations for Scoring Rules

Aggregating Incomplete Judgments: Axiomatisations for Scoring Rules Aggregating Incomplete Judgments: Axiomatisations for Scoring Rules Zoi Terzopoulou, Ulle Endriss and Ronald de Haan Institute for Logic, Language and Computation University of Amsterdam Abstract We propose

More information

Arrow s theorem in judgment aggregation

Arrow s theorem in judgment aggregation Arrow s theorem in judgment aggregation Franz Dietrich and Christian List 1 rst version 4/2005, revised 7/2006 (Social Choice and Welfare, forthcoming) In response to recent work on the aggregation of

More information

KLEENE LOGIC AND INFERENCE

KLEENE LOGIC AND INFERENCE Bulletin of the Section of Logic Volume 4:1/2 (2014), pp. 4 2 Grzegorz Malinowski KLEENE LOGIC AND INFERENCE Abstract In the paper a distinguished three-valued construction by Kleene [2] is analyzed. The

More information

Introduction to Neighborhood Semantics for. Modal Logic. ILLC, University of Amsterdam. January 7, 2007

Introduction to Neighborhood Semantics for. Modal Logic. ILLC, University of Amsterdam. January 7, 2007 Introduction to Neighborhood Semantics for Modal Logic Eric Pacuit January 7, 2007 ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl Introduction 1. Motivation 2. Neighborhood

More information

Propositional Logic Arguments (5A) Young W. Lim 11/8/16

Propositional Logic Arguments (5A) Young W. Lim 11/8/16 Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version

More information

Follow links for Class Use and other Permissions. For more information send to:

Follow links for Class Use and other Permissions. For more information send  to: COPYRIGHT NOTICE: Ariel Rubinstein: Lecture Notes in Microeconomic Theory is published by Princeton University Press and copyrighted, c 2006, by Princeton University Press. All rights reserved. No part

More information

Counting Votes for Aggregating Judgments

Counting Votes for Aggregating Judgments Counting Votes for Aggregating Judgments atricia Everaere LIFL CNRS Lille, France patricia.everaere@univlille1.fr Sébastien Konieczny CRIL CNRS Lens, France konieczny@cril.fr ierre Marquis CRIL CNRS Lens,

More information

Graph Aggregation. Ulle Endriss and Umberto Grandi

Graph Aggregation. Ulle Endriss and Umberto Grandi Graph Aggregation Ulle Endriss and Umberto Grandi Abstract Suppose a number of agents each provide us with a directed graph over a common set of vertices. Graph aggregation is the problem of computing

More information

Neighborhood Semantics for Modal Logic An Introduction May 12-17, ESSLLI 2007

Neighborhood Semantics for Modal Logic An Introduction May 12-17, ESSLLI 2007 An Introduction May 12-17, ESSLLI 2007 Eric Pacuit staff.science.uva.nl/ epacuit epacuit@staff.science.uva.nl July 3, 2007 Welcome to! The course will consist of five 90 minute lectures roughly organized

More information

Chapter 4: Classical Propositional Semantics

Chapter 4: Classical Propositional Semantics Chapter 4: Classical Propositional Semantics Language : L {,,, }. Classical Semantics assumptions: TWO VALUES: there are only two logical values: truth (T) and false (F), and EXTENSIONALITY: the logical

More information

Strategic Coalitions with Perfect Recall

Strategic Coalitions with Perfect Recall Strategic Coalitions with Perfect Recall Pavel Naumov Department of Computer Science Vassar College Poughkeepsie, New York 2604 pnaumov@vassar.edu Jia Tao Department of Computer Science Lafayette College

More information

Ahmad KARIMI A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY

Ahmad KARIMI A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY REPORTS ON MATHEMATICAL LOGIC 52 (2017), 45 56 doi:10.4467/20842589rm.17.002.7140 Ahmad KARIMI A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY A b s t r a c t. The beliefs of other people about

More information

Arrow s Paradox. Prerna Nadathur. January 1, 2010

Arrow s Paradox. Prerna Nadathur. January 1, 2010 Arrow s Paradox Prerna Nadathur January 1, 2010 Abstract In this paper, we examine the problem of a ranked voting system and introduce Kenneth Arrow s impossibility theorem (1951). We provide a proof sketch

More information

Abstract Arrowian Aggregation *

Abstract Arrowian Aggregation * Abstract Arrowian Aggregation * Klaus Nehring Department of Economics, University of California at Davis Davis, CA 95616, U.S.A. kdnehring@ucdavis.edu and Clemens Puppe Department of Economics, University

More information

Levels of Knowledge and Belief Computational Social Choice Seminar

Levels of Knowledge and Belief Computational Social Choice Seminar Levels of Knowledge and Belief Computational Social Choice Seminar Eric Pacuit Tilburg University ai.stanford.edu/~epacuit November 13, 2009 Eric Pacuit 1 Introduction and Motivation Informal Definition:

More information

Arrow s Impossibility Theorem and Experimental Tests of Preference Aggregation

Arrow s Impossibility Theorem and Experimental Tests of Preference Aggregation Arrow s Impossibility Theorem and Experimental Tests of Preference Aggregation Todd Davies Symbolic Systems Program Stanford University joint work with Raja Shah, Renee Trochet, and Katarina Ling Decision

More information

Towards a Logic of Social Welfare

Towards a Logic of Social Welfare Towards a Logic of Social Welfare Thomas Ågotnes 1, Wiebe van der Hoek 2, and Michael Wooldridge 2 1 Department of Informatics, University of Bergen, agotnes@ii.uib.no 2 Department of Computer Science,

More information

Franz Dietrich, Christian List. The impossibility of unbiased judgment aggregation. RM/07/022 (RM/05/049 -revised-)

Franz Dietrich, Christian List. The impossibility of unbiased judgment aggregation. RM/07/022 (RM/05/049 -revised-) Franz Dietrich, Christian List The impossibility of unbiased judgment aggregation RM/07/022 (RM/05/049 -revised-) Maastricht research school of Economics of TEchnology and ORganizations Universiteit Maastricht

More information

6.207/14.15: Networks Lecture 24: Decisions in Groups

6.207/14.15: Networks Lecture 24: Decisions in Groups 6.207/14.15: Networks Lecture 24: Decisions in Groups Daron Acemoglu and Asu Ozdaglar MIT December 9, 2009 1 Introduction Outline Group and collective choices Arrow s Impossibility Theorem Gibbard-Satterthwaite

More information

Mathematical Logic. Introduction to Reasoning and Automated Reasoning. Hilbert-style Propositional Reasoning. Chiara Ghidini. FBK-IRST, Trento, Italy

Mathematical Logic. Introduction to Reasoning and Automated Reasoning. Hilbert-style Propositional Reasoning. Chiara Ghidini. FBK-IRST, Trento, Italy Introduction to Reasoning and Automated Reasoning. Hilbert-style Propositional Reasoning. FBK-IRST, Trento, Italy Deciding logical consequence Problem Is there an algorithm to determine whether a formula

More information

Notes on Modal Logic

Notes on Modal Logic Notes on Modal Logic Notes for PHIL370 Eric Pacuit October 22, 2012 These short notes are intended to introduce some of the basic concepts of Modal Logic. The primary goal is to provide students in Philosophy

More information

Logic and Social Choice Theory

Logic and Social Choice Theory To appear in A. Gupta and J. van Benthem (eds.), Logic and Philosophy Today, College Publications, 2011. Logic and Social Choice Theory Ulle Endriss Institute for Logic, Language and Computation University

More information

A Modal Logic of Epistemic Games

A Modal Logic of Epistemic Games Submitted to Games. Pages 1-49. OPEN ACCESS games ISSN 2073-4336 www.mdpi.com/journal/games Article A Modal Logic of Epistemic Games Emiliano Lorini 1, François Schwarzentruber 1 1 Institut de Recherche

More information

The Probability of Inconsistencies in Complex Collective Decisions Christian List 1

The Probability of Inconsistencies in Complex Collective Decisions Christian List 1 1 The Probability of Inconsistencies in Complex Collective Decisions Christian List 1 Forthcoming in Social Choice and Welfare Abstract. Many groups make decisions over multiple interconnected propositions.

More information

3.1 Arrow s Theorem. We study now the general case in which the society has to choose among a number of alternatives

3.1 Arrow s Theorem. We study now the general case in which the society has to choose among a number of alternatives 3.- Social Choice and Welfare Economics 3.1 Arrow s Theorem We study now the general case in which the society has to choose among a number of alternatives Let R denote the set of all preference relations

More information

Recap Social Choice Fun Game Voting Paradoxes Properties. Social Choice. Lecture 11. Social Choice Lecture 11, Slide 1

Recap Social Choice Fun Game Voting Paradoxes Properties. Social Choice. Lecture 11. Social Choice Lecture 11, Slide 1 Social Choice Lecture 11 Social Choice Lecture 11, Slide 1 Lecture Overview 1 Recap 2 Social Choice 3 Fun Game 4 Voting Paradoxes 5 Properties Social Choice Lecture 11, Slide 2 Formal Definition Definition

More information

Graph Aggregation. Ulle Endriss a, Umberto Grandi b

Graph Aggregation. Ulle Endriss a, Umberto Grandi b Graph Aggregation Ulle Endriss a, Umberto Grandi b a ILLC, University of Amsterdam, The Netherlands b IRIT, University of Toulouse, France Abstract Graph aggregation is the process of computing a single

More information

A Note on Graded Modal Logic

A Note on Graded Modal Logic A Note on Graded Modal Logic Maarten de Rijke Studia Logica, vol. 64 (2000), pp. 271 283 Abstract We introduce a notion of bisimulation for graded modal logic. Using these bisimulations the model theory

More information

Modal and temporal logic

Modal and temporal logic Modal and temporal logic N. Bezhanishvili I. Hodkinson C. Kupke Imperial College London 1 / 83 Overview Part II 1 Soundness and completeness. Canonical models. 3 lectures. 2 Finite model property. Filtrations.

More information

Modal Probability Logic

Modal Probability Logic Modal Probability Logic ESSLLI 2014 - Logic and Probability Wes Holliday and Thomas Icard Berkeley and Stanford August 14, 2014 Wes Holliday and Thomas Icard: Modal Probability 1 References M. Fattorosi-Barnaba

More information

Reasoning with Probabilities. Eric Pacuit Joshua Sack. Outline. Basic probability logic. Probabilistic Epistemic Logic.

Reasoning with Probabilities. Eric Pacuit Joshua Sack. Outline. Basic probability logic. Probabilistic Epistemic Logic. Reasoning with July 28, 2009 Plan for the Course Day 1: Introduction and Background Day 2: s Day 3: Dynamic s Day 4: Reasoning with Day 5: Conclusions and General Issues Probability language Let Φ be a

More information

Modal Logics. Most applications of modal logic require a refined version of basic modal logic.

Modal Logics. Most applications of modal logic require a refined version of basic modal logic. Modal Logics Most applications of modal logic require a refined version of basic modal logic. Definition. A set L of formulas of basic modal logic is called a (normal) modal logic if the following closure

More information

Propositional Logic: Part II - Syntax & Proofs 0-0

Propositional Logic: Part II - Syntax & Proofs 0-0 Propositional Logic: Part II - Syntax & Proofs 0-0 Outline Syntax of Propositional Formulas Motivating Proofs Syntactic Entailment and Proofs Proof Rules for Natural Deduction Axioms, theories and theorems

More information

Social Choice. Jan-Michael van Linthoudt

Social Choice. Jan-Michael van Linthoudt Social Choice Jan-Michael van Linthoudt Summer term 2017 Version: March 15, 2018 CONTENTS Remarks 1 0 Introduction 2 1 The Case of 2 Alternatives 3 1.1 Examples for social choice rules............................

More information

Propositional logic. First order logic. Alexander Clark. Autumn 2014

Propositional logic. First order logic. Alexander Clark. Autumn 2014 Propositional logic First order logic Alexander Clark Autumn 2014 Formal Logic Logical arguments are valid because of their form. Formal languages are devised to express exactly that relevant form and

More information

Deontic Logic and Meta-Ethics

Deontic Logic and Meta-Ethics Deontic Logic and Meta-Ethics Deontic Logic as been a field in which quite apart from the questions of antinomies "paradoxes" have played a decisive roles, since the field has been invented. These paradoxes

More information

Introduction to Judgment Aggregation

Introduction to Judgment Aggregation Introduction to Judgment Aggregation Christian List and Ben Polak February 22, 2010 Abstract This introduces the symposium on judgment aggregation. The theory of judgment aggregation asks how several individuals

More information

Propositional Logic Arguments (5A) Young W. Lim 11/30/16

Propositional Logic Arguments (5A) Young W. Lim 11/30/16 Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version

More information

On Compatible Multi-issue Group Decisions

On Compatible Multi-issue Group Decisions On Compatible Multi-issue Group Decisions Umberto Grandi Gabriella Pigozzi Abstract A crucial problem in the design of multi-issue group decisions is the definition of rules that select outputs that are

More information

Meaning and Reference INTENSIONAL AND MODAL LOGIC. Intensional Logic. Frege: Predicators (general terms) have

Meaning and Reference INTENSIONAL AND MODAL LOGIC. Intensional Logic. Frege: Predicators (general terms) have INTENSIONAL AND MODAL LOGIC Meaning and Reference Why do we consider extensions to the standard logical language(s)? Requirements of knowledge representation / domain modelling Intensional expressions:

More information

. Modal AGM model of preference changes. Zhang Li. Peking University

. Modal AGM model of preference changes. Zhang Li. Peking University Modal AGM model of preference changes Zhang Li Peking University 20121218 1 Introduction 2 AGM framework for preference change 3 Modal AGM framework for preference change 4 Some results 5 Discussion and

More information

Judgment Aggregation

Judgment Aggregation Judgment Aggregation Umberto Grandi IRIT, University of Toulouse COST IC1205 Summer School on Computational Social Choice San Sebastian, 18-22 July 2016 A game! A new area has been recently acquired by

More information

Not all judgment aggregation should be neutral

Not all judgment aggregation should be neutral Not all judgment aggregation should be neutral Marija Slavkovik University of Bergen, Bergen, Norway marija.slavkovik@infomedia.uib.no Abstract. Judgment aggregation is concerned with the problem of aggregating

More information

Modal Logic. Introductory Lecture. Eric Pacuit. University of Maryland, College Park ai.stanford.edu/ epacuit. January 31, 2012.

Modal Logic. Introductory Lecture. Eric Pacuit. University of Maryland, College Park ai.stanford.edu/ epacuit. January 31, 2012. Modal Logic Introductory Lecture Eric Pacuit University of Maryland, College Park ai.stanford.edu/ epacuit January 31, 2012 Modal Logic 1/45 Setting the Stage Modern Modal Logic began with C.I. Lewis dissatisfaction

More information

Propositional Logic Arguments (5A) Young W. Lim 10/11/16

Propositional Logic Arguments (5A) Young W. Lim 10/11/16 Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version

More information

PHIL 308S: Voting Theory and Fair Division

PHIL 308S: Voting Theory and Fair Division PHIL 308S: Voting Theory and Fair Division Lecture 12 Eric Pacuit Department of Philosophy University of Maryland, College Park ai.stanford.edu/ epacuit epacuit@umd.edu October 18, 2012 PHIL 308S: Voting

More information

1 Completeness Theorem for First Order Logic

1 Completeness Theorem for First Order Logic 1 Completeness Theorem for First Order Logic There are many proofs of the Completeness Theorem for First Order Logic. We follow here a version of Henkin s proof, as presented in the Handbook of Mathematical

More information

Formal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University

Formal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University Formal Epistemology: Lecture Notes Horacio Arló-Costa Carnegie Mellon University hcosta@andrew.cmu.edu Logical preliminaries Let L 0 be a language containing a complete set of Boolean connectives, including

More information

First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation

First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation Umberto Grandi and Ulle Endriss Institute for Logic, Language and Computation, University of Amsterdam, Postbus 94242,

More information

Dynamic Logics of Knowledge and Access

Dynamic Logics of Knowledge and Access Dynamic Logics of Knowledge and Access Tomohiro Hoshi (thoshi@stanford.edu) Department of Philosophy Stanford University Eric Pacuit (e.j.pacuit@uvt.nl) Tilburg Center for Logic and Philosophy of Science

More information

First-Degree Entailment

First-Degree Entailment March 5, 2013 Relevance Logics Relevance logics are non-classical logics that try to avoid the paradoxes of material and strict implication: p (q p) p (p q) (p q) (q r) (p p) q p (q q) p (q q) Counterintuitive?

More information