社會(huì)選擇理論的重點(diǎn)是將個(gè)人偏好匯總為群體偏好的框架。我們?cè)诒疚闹刑岢隽艘环N用于偏好聚合的模態(tài)邏輯。該邏輯是對(duì)社會(huì)福利函數(shù)的直接且易于理解的形式化。一個(gè)標(biāo)準(zhǔn)的n-ary模態(tài)框用于表征線性方案集上的n-ary函數(shù)。我們證明了社會(huì)福利功能的所有可能性質(zhì)都可以用這種簡(jiǎn)單的模態(tài)語(yǔ)言來(lái)表達(dá)。我們?yōu)檫壿嬏峁┝艘粋�(gè)完整的演繹系統(tǒng),提供了Arrow的社會(huì)福利函數(shù)不可能定理的句法證明。 

【文章來(lái)源】：邏輯學(xué)研究. 2019,12(06)CSSCI

【文章頁(yè)數(shù)】：21 頁(yè)


本文編號(hào)：3599344