社會選擇理論的重點是將個人偏好匯總為群體偏好的框架。我們在本文中提出了一種用于偏好聚合的模態(tài)邏輯。該邏輯是對社會福利函數的直接且易于理解的形式化。一個標準的n-ary模態(tài)框用于表征線性方案集上的n-ary函數。我們證明了社會福利功能的所有可能性質都可以用這種簡單的模態(tài)語言來表達。我們?yōu)檫壿嬏峁┝艘粋�完整的演繹系統(tǒng),提供了Arrow的社會福利函數不可能定理的句法證明。 

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

【文章頁數】：21 頁


本文編號：3599344