基于理由的偏好防策略投票方案

李　娜，袁旭亮

(南開大學(xué) 哲學(xué)院，天津　300350)

?

基于理由的偏好防策略投票方案

李娜，袁旭亮

(南開大學(xué) 哲學(xué)院，天津300350)

所謂的社會選擇理論就是將社會中眾多的個(gè)體偏好聚合為社會偏好，并在此基礎(chǔ)上做出充分體現(xiàn)每一社會成員的真實(shí)偏好的社會選擇。20世紀(jì)70年代，吉伯特和薩特思維特提出并證明了任何合理的防策略投票方案都是獨(dú)裁的，這是社會選擇理論的一個(gè)非常重要的結(jié)論。為了深化對社會選擇理論的認(rèn)識，基于理由的偏好作為基本的偏好關(guān)系，研究不同情形下的基于理由的偏好聚合問題，構(gòu)建一個(gè)基于理由的偏好投票方案，并對其防策略性進(jìn)行了研究。

社會選擇理論；吉伯特-薩特思維特防策略投票不可能性定理；防策略投票方案；基于理由的偏好

一、引言

所謂的社會選擇理論是將社會中眾多的個(gè)體偏好聚合為相應(yīng)的社會偏好，進(jìn)而做出一個(gè)體現(xiàn)每一個(gè)體的真實(shí)偏好和意愿的最佳社會選擇。在形式上，社會選擇理論是典型的群體決策問題，但是在更深層次上，社會選擇理論所研究的是“個(gè)人價(jià)值與社會選擇之間的沖突與一致性的條件”，也即協(xié)調(diào)社會成員間有分歧的價(jià)值觀和不同的利害關(guān)系，使之趨于一致。對社會選擇理論的研究具有悠久的歷史，可以追溯到中世紀(jì)關(guān)于投票方法的研究。從18世紀(jì)開始，對社會選擇問題的研究逐漸系統(tǒng)化，法國數(shù)學(xué)家孔多塞首先發(fā)現(xiàn)了“投票悖論”；數(shù)學(xué)家博達(dá)針對“少數(shù)服從多數(shù)”投票方案存在的缺陷提出了博達(dá)計(jì)數(shù)法；到20世紀(jì)50年代，美國經(jīng)濟(jì)學(xué)家肯尼斯·約瑟夫·阿羅提出并證明了著名的阿羅不可能性定理(簡稱為阿羅定理)[1]；進(jìn)而，在阿羅定理的基礎(chǔ)上，艾倫·吉伯特和馬克·薩特思維特對社會選擇理論進(jìn)一步研究發(fā)現(xiàn)任何合理的投票選舉方案都可以被操縱，也即吉伯特-薩特思維特防策略投票不可能性定理[2-3]。后世對社會選擇問題的研究都以阿羅定理和吉伯特-薩特思維特定理為基礎(chǔ)，試圖通過弱化阿羅關(guān)于投票方案的性質(zhì)條件來得到可能性定理，進(jìn)而構(gòu)造一種防策略(操縱)的偏好聚合機(jī)制(投票方案)[4]。

社會選擇理論問題的本質(zhì)是偏好的聚合問題，其關(guān)鍵在于構(gòu)造一個(gè)完美的(防策略的)偏好聚合機(jī)制。本文以丹尼爾·歐歇爾森和斯科特·溫斯坦定義的基于理由的偏好作為基本的偏好關(guān)系[5-6]，研究基于理由的偏好聚合問題，并嘗試構(gòu)造一個(gè)基于理由的偏好投票方案，進(jìn)而對其是否具有防策略性進(jìn)行研究。

二、基于理由的偏好聚合

給定名冊(L,U)，令P∈L是一元謂詞并且χ∈U為一個(gè)理由集。為了更清楚地闡述相關(guān)概念，將偏好關(guān)系下標(biāo)處的χ省略。

定義1

φ=def?xy((Px≈Py)→?z((Px∧Pz)≈(Py∧Pz)))。

在定義1中，φ表示對于任意的個(gè)體x和y，若x具有性質(zhì)P與y具有性質(zhì)P是無差異的，那么對于任意的個(gè)體z，x具有性質(zhì)P并且z具有性質(zhì)P與y具有性質(zhì)P并且z具有性質(zhì)P也是無差異的。即：若Px與Py是無差異的，那么分別在Px與Py上合取任意的Pz其結(jié)果也是無差異的。

命題1令M=〈D,W,t,u,s〉是一個(gè)模型，w0∈φ[M]。那么存在一個(gè)實(shí)數(shù)R上的函數(shù)F：R2→R使得對于所有滿足條件

(Px∧Py)[M,d]≠?

的指派d，都有

u(s(w0,(Px∧Py)[M,d]))=F(u(s(w0,Px[M,d])),u(s(w0,Py[M,d])))。

證明：對于具有形式u(s(w0,Px[M,d]))和u(s(w0,Py[M,d]))的數(shù)，定義

(1)F(u(s(w0,Px[M,d])),u(s(w0,Py[M,d])))=defu(s(w0,(Px∧Py)[M,d]))。

對于所有其他的實(shí)數(shù)r1和r2，F(xiàn)(r1,r2)可以被定義為R中的任意一個(gè)元素。下面證明F是一個(gè)函數(shù)。為了這個(gè)目的，令變元q是已知的，并且假設(shè)

(2)u(s(w0,Px[M,d]))=u(s(w0,Pq[M,d]))。

為了完成這個(gè)證明，現(xiàn)在只需證明

(3)u(s(w0,(Px∧Py)[M,d]))=u(s(w0,(Pq∧Py)[M,d]))。

F的第二個(gè)斷言可以用同樣的方法處理。從式(2)可得

w0∈(Px≈Pq)[M,d],

因此，由定義1可得

w0∈((Px∧Py)≈(Pq∧Py))[M,d],

由此可得

u(s(w0,(Px∧Py)[M,d]))=u(s(w0,(Pq∧Py)[M,d]))?！?/p>

命題1說明對于由簡單合取支Px和Py構(gòu)成的公式Px∧Py，可以構(gòu)造出一個(gè)函數(shù)F，將各個(gè)合取支的效用聚合為合取式Px∧Py的整體效用。下面是定義1的推廣。

定義2

φ=def?xy((Px≈Py)→?x1…xk((Px∧Px1∧…∧Pxk)≈(Py∧Px1∧…∧Pxk))。

命題2令M=〈D,W,t,u,s〉是一個(gè)模型，w0∈φ[M]。那么存在一個(gè)實(shí)數(shù)R上的函數(shù)F：Rk→R使得對于所有滿足條件

(Px∧Px1∧…∧Pxk)[M,d]≠?

的指派d，都有

u(s(w0,(Px∧Px1∧…∧Pxk)[M,d]))=F(u(s(w0,Px[M,d])),u(s(w0,Px1[M,d])),…,u(s(w0,Pxk[M,d])))。

證明：利用命題1施歸納于個(gè)體的個(gè)數(shù)k即可證明。

下面筆者將討論另一種簡單的偏好聚合，也即如何將由單個(gè)理由i∈χ所索引的個(gè)體效用ui聚合為理由集χ下的復(fù)合效用uχ。令{1},{2},{1,2}∈U，并且{1}和{2}分別簡寫做1和2，{1,2} 簡寫做1,2。

定義3

φ=def?xy(((Px≈1Py)∧(Px≈2Py))→(Px≈1,2Py))。

定義3表明，給定理由{1}和{2}，對于任意的個(gè)體x和y，若在理由1下x具有性質(zhì)P與y具有性質(zhì)P是無差異的，并且在理由2下x具有性質(zhì)P與y具有性質(zhì)P同樣是無差異的，那么在理由集{1,2}下x具有性質(zhì)P與y具有性質(zhì)P是無差異的。

命題3令M=〈D,W,t,u,s〉是一個(gè)模型，w0∈φ[M]。那么存在一個(gè)實(shí)數(shù)集R上的函數(shù)F：R2→R使得對于所有指派d，都有

u1,2(s(w0,Px[M,d]))=F(u1(s(w0,Px[M,d])),u2(s(w0,Px[M,d])))。

證明：若存在指派d使得有序?qū)?p,q)∈R2滿足

(4)p=u1(s(w0,Px[M,d]))

q=u2(s(w0,Px[M,d]))

則稱有序?qū)?p,q)是關(guān)鍵的。

對任意的關(guān)鍵有序?qū)?p,q)，令F：R2→R滿足

F(p,q)=u1,2(s(w0,Px[M,d]))。

而對于非關(guān)鍵的有序?qū)?，F(xiàn)在其上的對應(yīng)是任意的。假定對于某一指派d′，有

(5)p=u1(s(w0,Px[M,d′]))

q=u2(s(w0,Px[M,d′]))

若要證明F是一個(gè)函數(shù)，則需先證得如下式子成立

(6)u1,2(s(w0,Px[M,d]))=u1,2(s(w0,Px[M,d′]))。

令y是一個(gè)不同于x的變元，并且令

d″(z)=d(d′(x)/y)(z)。

從(4)和(5)可以推出

w0∈(Px≈1Py)[M,d″]并且w0∈(Px≈2Py)[M,d″]。

由定義3可得

w0∈(Px≈1,2Py)[M,d″]。

因此，立刻得(6)。故，F(xiàn):R2→R是一個(gè)函數(shù)。■

命題3給出的R2上的一個(gè)函數(shù)F，將理由{1}和{2}分別索引的效用聚合為理由集{1,2}索引的復(fù)合效用。下面是定義3的推廣。

定義4

φ=def?xy(((Px≈1Py)∧(Px≈2Py)∧…(Px≈kPy))→(Px≈1,2,…,kPy))。

命題4令M=〈D,W,t,u,s〉是一個(gè)模型，w0∈φ[M]，效用索引{1},{2},…,{k},{1,2,…,k}。那么存在一個(gè)實(shí)數(shù)集R上的函數(shù)F:Rk→R，使得對于所有的指派d，都有

u1,2,…,k(s(w0,Px[M,d]))=F(u1(s(w0,Px[M,d])),u2(s(w0,Px[M,d])),…,uk(s(w0,Px[M,d])))。

證明：利用命題3施歸納于個(gè)體的個(gè)數(shù)k即可證明。

三、基于理由的偏好投票方案及其防策略性研究

1.吉伯特-薩特思維特防策略投票不可能性定理

20世紀(jì)70年代，吉伯特指出“任何一個(gè)至少包含三個(gè)候選項(xiàng)的簡單博弈結(jié)構(gòu)都是獨(dú)裁的”，并對這一定理進(jìn)行了證明[2]。薩特思維特進(jìn)而提出并證明了下面的吉伯特-薩特思維特定理：

“吉伯特-薩特思維特定理在一個(gè)具有〈In,Sm,vnm,Tp〉結(jié)構(gòu)的選舉委員會中，其中n≥1,m≥p≥3。投票方案vnm是防策略的當(dāng)且僅當(dāng)它是獨(dú)裁的?！盵3]

吉伯特-薩特思維特定理指出任何防策略的投票方案都是獨(dú)裁的，這一理論引起了計(jì)算機(jī)科學(xué)、數(shù)學(xué)、經(jīng)濟(jì)學(xué)和邏輯學(xué)等領(lǐng)域的學(xué)者的注意，吉伯特和薩特思維特的研究開啟了對投票方案的防策略研究。關(guān)于吉伯特-薩特思維特定理有多種證明方法，如薩特思維特的證明方法[3]，及S.Barbera和B.Peleg的證明方法等[7]。

下面，筆者以量化偏好邏輯為理論背景，嘗試為基于理由的偏好構(gòu)造一個(gè)偏好聚合機(jī)制(投票方案)，隨后對它的防策略性進(jìn)行研究。

2.基于理由的偏好的投票方案及其防策略性研究

給定名冊(L,U)，模型M=〈D,W,t,u,s〉和指派d。χ={1,2,3,…,k}∈U為理由集。令A(yù)={φ,ψ,θ,…}為候選項(xiàng)集，集合A的基數(shù)κ≥3，且A?L(L,U)。命題φ[M,d],ψ[M,d],θ[M,d],…的定義如通常，在此不贅述。命題φ[M,d],ψ[M,d],θ[M,d],…分別表示候選項(xiàng)φ,ψ,θ,…在其中可以實(shí)現(xiàn)的可能世界集。即若w′∈φ[M,d]，表示候選項(xiàng)φ在可能世界w′中可實(shí)現(xiàn)。

以下幾點(diǎn)需作出特別解釋：

在模型M=〈D,W,t,u,s〉中，

(1)選擇函數(shù)s:W×W→W，因而s(w,φ[M,d])∈W。在本部分的理論背景下，選擇函數(shù)s依據(jù)可能世界w從所有候選項(xiàng)φ可實(shí)現(xiàn)的可能世界中選擇一個(gè)可能世界w′作為φ的代表。故而可得到候選項(xiàng)集A={φ,ψ,θ,…}在其中可實(shí)現(xiàn)的可能世界代表集A′={w′,w″,w?,…}。

(2)效用函數(shù)u:W×U→R，因而ui(s(w,φ[M,d]))∈R，也即根據(jù)某一理由i所確定的效用規(guī)模，效用函數(shù)ui為每一個(gè)由選擇函數(shù)s選出的候選項(xiàng)φ的可能世界代表w′指派一個(gè)效用值ui(w′)。

定義5(投票方案)

投票方案是一個(gè)函數(shù)f: u→W。f的值域記作rf。即投票方案f為任意的理由集χ所確定的效用截面u指派一個(gè)可能世界w′，可能世界w′也即是理由集χ下的最佳群體選擇。由上文中(1)可知，w′是候選項(xiàng)φ的可能世界代表，故而φ即為理由集χ下的最佳群體選擇。

定義6(全體一致)

投票方案f是全體一致的，如果在理由集χ下，若對于?i∈χ，?w∈A′，w在ui下的效用值都是最大的，則f(u)=w。

定義7(獨(dú)裁)

在投票方案f中，給定理由集χ，如果對于χ下的效用截面u以及任意的w∈A′，都有ui(f(u))≥ui(w)，則i∈χ是一個(gè)獨(dú)裁者。

注意，在定義7以及下文中，若j∈χ，則uj是效用截面u的第j個(gè)元素。由定義7可知，若f(u)=w*，則有對于?w∈A′都有ui(w*)≥ui(w)。又由于ui∈u，因而在理由集χ做出的群體選擇是由理由i所決定的，故i為一個(gè)獨(dú)裁者。

定義8(操縱)

定理1任何至少包含3個(gè)候選項(xiàng)的防策略投票方案都是獨(dú)裁的。

證明：這一定理的證明通過對理由的個(gè)數(shù)進(jìn)行歸納而證明。

步驟一：首先證明當(dāng)只有兩個(gè)理由時(shí)，定理成立。令χ={1,2}，且令投票方案f是一個(gè)理由集χ下的防策略投票方案。進(jìn)而只需證明f(u)所選擇的候選項(xiàng)要么是在理由1下效用值最大的候選項(xiàng)，要么是在理由2下效用值最大的候選項(xiàng)，即理由1或理由2支配投票方案。

命題5給定任意的理由集χ={1,2}，理由集χ下的效用截面u=(u1,u2)，則f(u)要么是在理由1下效用值最大的候選項(xiàng)，要么是在理由2下效用值最大的候選項(xiàng)。

步驟1得證。

步驟2：令χ={1,2,3,…,n}，n≥3，證明(a)蘊(yùn)涵(b)：

(a) 對于任意的χ′,χ′?χ，且χ和χ′所對應(yīng)的效用截面分別是 u和u′，則如果投票方案f: u′→W是防策略的，則f是獨(dú)裁的。

(b) 如果f: u→W是防策略的，則f是獨(dú)裁的。

證明：假設(shè)(a)成立。令f是防策略的投票方案f: u→W。定義一個(gè)投票方案g: u′→W，令其滿足如下條件：

u′=(u1,u3,…,un)，g(u1,u3,…,un)=f(u1,u1,u3,…,un)，

也即將理由1和理由2合并，并在投票方案g中用理由1表示。很明顯，投票方案f和g都滿足全體一致性。接下來證明投票方案g是防策略的。首先，易知理由3～n不可能操縱投票方案g，否則它們也操縱投票方案f，而這與投票方案f是防策略的相矛盾。選取由n-1個(gè)理由確定的效用截面(u1,u3,…,un)，并令

g(u1,u3,…,un)=f(u1,u1,u3,…,un)=w1。

又因?yàn)橥镀狈桨竑是防策略的，則

w1≠w2蘊(yùn)涵u1(w1)≥u1(w2)，

w2≠w3蘊(yùn)涵u1(w2)≥u1(w3)，

進(jìn)而w1≠w3，蘊(yùn)涵u1(w1)≥u1(w3)。因此，投票方案g不可能被理由1所操縱。

既然投票方案g滿足全體一致性并是防策略的，故而根據(jù)(a)可知g是獨(dú)裁的。下面有兩種情形需要考慮。

情形1：假定獨(dú)裁者j是理由3～n中的一個(gè)。那么理由j也是f中的獨(dú)裁者。給定效用截面(u1,u2,…,un)，令w1在效用函數(shù)uj下的效用值最大，f(u1,u2,…,un)=w2。既然j支配投票方案g，則理由1在效用截面(u1,u2,…,un)下通過合并理由2而使得f(u1,u2,…,un)從w2變化為w1。因?yàn)間(u1,u3,…,un)=f(u1,u1,u3,…,un)，又因?yàn)橥镀狈桨竑是防策略的，則有u1(w1)≤u1(w2)。又因?yàn)閒(u1,u1,u3,…,un)=w1，則有u1(w1)≥u1(w2)，否則理由2將在(u1,u1,u3,…,un)處通過u1操縱投票方案。因而，u1(w1)=u1(w2)，則w1和w2是無差異的。因此，理由j是投票方案f的獨(dú)裁者。也即投票方案f是獨(dú)裁的。

則步驟二得證。

步驟三：當(dāng)理由索引集χ為單元素集時(shí)，定理很明顯是成立的，因而不再證明。

由數(shù)學(xué)歸納法可知，定理得證?！?/p>

四、結(jié)語

20世紀(jì)50年代，阿羅提出并證明了阿羅不可能性定理，向世界宣告“絕對公平的投票選舉方案是不可能實(shí)現(xiàn)的”。到了20世紀(jì)70年代，吉伯特和薩特思維特在阿羅不可能性定理的基礎(chǔ)上進(jìn)一步提出了防策略投票不可能性定理，也即任何合理的投票選舉方案都是可以被操縱，進(jìn)一步證實(shí)了阿羅的斷言。這兩個(gè)定理在理論上宣告了通過投票選舉獲得的民主實(shí)際上是一種偽民主，其本質(zhì)是一種獨(dú)裁。因而不能構(gòu)造出一種完美的(防策略的)投票方案，通過這一投票方案可以將社會中的眾多的個(gè)體偏好聚合為一個(gè)單一的社會偏好，進(jìn)而做出充分尊重每一個(gè)體的真實(shí)偏好與意愿的最佳社會選擇。這是一個(gè)十分消極的結(jié)論。阿羅不可能性定理和吉伯特-薩特思維特定理的提出，促使社會選擇理論成為經(jīng)濟(jì)學(xué)界、邏輯學(xué)界等研究的熱點(diǎn)，后世學(xué)者試圖通過弱化阿羅條件以期得到可能性定理，并對防策略投票方案進(jìn)行深入的研究。本文將基于理由的偏好引入吉伯特-薩特思維特定理，嘗試構(gòu)造了基于理由的偏好的投票方案，并對其防策略性進(jìn)行了研究，具有一定的理論創(chuàng)新意義和現(xiàn)實(shí)價(jià)值。對于基于理由的偏好的防策略投票方案的未來研究前景，筆者認(rèn)為可以為基于理由的偏好的防策略投票方案構(gòu)造形式語言和完全的公理系統(tǒng)，通過公理化的方法證明其是否具有防策略性，從而使得基于理由的偏好的防策略投票方案更加成熟和完善。

[1]肯尼斯·約瑟夫·阿羅.社會選擇：個(gè)性與多準(zhǔn)則[M].錢曉敏，孟岳良,譯.北京：首都經(jīng)濟(jì)貿(mào)易大學(xué)出版社，2000.

[2]GIBBARD A.Manipulation of voting schemes:A general result[M].[S.l.]:Econometrica,1973:587-601.

[3]SATTERTHWAITE M A.Strategy-proofness and Arrow’s conditions:Existence and correspondence theorems for voting procedures and social welfare functions[J].Journal of economic theory,1975,10(2):187-217.

[4]羅云峰，肖人彬.社會選擇的理論與進(jìn)展[M].北京：科學(xué)出版社，2003.

[5]OSHERSON D,WEINSTEIN S.Preference based on reasons[J].The Review of Symbolic Logic,2011,5(1):122-147.

[6]OSHERSON D,WEINSTEIN S.Modal logic for preference based on reasons[M]//Search of Elegance in the Theory and Practice of Computation.[S.l.]:Springer Berlin Heidelberg,2013:516-541.

[7]BARBERA S,PELEG B.Strategy-proof voting schemes with continuous preferences[J].Social choice and welfare,1990,7(1):31-38.

[8]SEN A.Another direct proof of the Gibbard-Satterthwaite theorem[J].Economics Letters,2001,70(3):381-385.

(責(zé)任編輯張佑法)

The Strategy-Proof Voting Scheme of Reason-Based Preference

LI Na, YUAN Xu-liang

(School of Philosophy, NanKai University, Tianjin 300350, China)

The so-called social choice theory is a preference aggregation scheme which aggregates the numerous individual p

into a social preference and on the basis of that makes a social choice which reflects the true preference of each individual. In 1970s, the Gibbard-Satterthwaite strategy-proof voting impossibility theorem further confirms the result that every non-trivial strategy-proof voting scheme is dictatorial. In order to deepen the understanding to the social choice theory, we take reason-based preference as the basic preference relation, and first construct an aggregate function of reason-based preference, then establish a voting scheme of reason-based preference and study its strategy-proofness.

social choice theory; Gibbard-Satterthwaite strategy-proof voting impossibility Theorem; strategy-proof voting scheme; reason-based preference

2016-02-10

李娜(1958—)，女，河南開封人，教授，博士生導(dǎo)師，研究方向：現(xiàn)代邏輯。

引用格式：李娜，袁旭亮.基于理由的偏好防策略投票方案[J].重慶理工大學(xué)學(xué)報(bào)(社會科學(xué))，2016(8):12-17.

format：LI Na, YUAN Xu-liang.The Strategy-Proof Voting Scheme of Reason-Based Preference[J].Journal of Chongqing University of Technology(Social Science)，2016(8):12-17.

10.3969/j.issn.1674-8425(s).2016.08.003

B81

A

1674-8425(2016)08-0012-06