کنت ارو
**نظریه عدم امکان اَرو** (به انگلیسی: Arrow) یا **پارادوکس ارو** یک قضیهٔ مبتنی بر اثبات عدم امکان در تئوری انتخاب اجتماعی است که بیان می‌کند که وقتی رأی‌دهندگان می‌توانند از بین سه گزینه یا بیش از آن انتخاب کنند، هیچ نظام انتخاباتی ترجیحی ای قادر نخواهد بود ترجیحات افراد را به شکلی تجمیع کند که مجموعه‌ای از معیارهای مشخص همزمان برقرار باشند؛ این معیارها عبارتند از: دامنهٔ نامحدود، عدم دیکتاتوری، کارایی پارتو و استقلال از گزینه‌های نامربوط (استقلال دوبه‌دو).

به طور خلاصه هیچ نظام انتخاباتی ترجیحی را نمی‌توان طراحی کرد که همزمان از سه شرط زیر که نمایانگر «عدالت» یک نظام انتخاباتی هستند برخوردار باشد:

1. اگر تک تک رأی‌دهندگان الف را به جیم ترجیح دهند، آنگاه در آرای تجمیع شده حتماً الف به جیم ترجیح داده شود.
2. اگر ترجیحات هر رأی‌دهنده بین الف و جیم با وارد شدن دال تغییر نکند، آنگاه در آرای تجمیع شده هم ترجیحات گروه بین الف و جیم با وارد شدن دال ثابت بماند.
3. هیچ رأی‌دهنده‌ای دیکتاتور نباشد؛ به بیان دقیق‌تر، هیچ رأی‌دهنده‌ای قدرت نداشته باشد که با رأی خود نتیجهٔ انتخابات را همیشه تغییر دهد.

قضیهٔ عدم امکان ارو، برای نظام‌های انتخاباتی ترجیحی قابل اثبات است. اما این قضیه شامل حال نظام‌های انتخاباتی عدد اصلی (که در آن رأی‌دهندگان به هر نامزد یک نمره می‌دهند و این نمرات از جنس عدد اصلی هستند) نمی‌شود، چرا که در نظام‌های انتخاباتی عدد اصلی، اطلاعاتی فراتر از ترجیح نسبی نامزدها منتقل می‌شود. با این حال، قضیه گیبارد، قضیهٔ ارو را به شکلی توسعه می‌دهد که شامل نظام‌های انتخاباتی عدد اصلی هم می‌شود.

نام قضیهٔ عدم امکان ارو برگرفته از نام کِنِت اَرُو، اقتصاددان آمریکایی و برندهٔ جایزهٔ نوبل است. ارو این نظریه را در پایان‌نامهٔ دکتری خود و همچنین در کتابش با نام «*انتخاب اجتماعی و ارزش‌های فرد'*» مطرح کرد. مقالهٔ اصلی که این نظریه در آن اولین مطرح شد «یک مشکل در مفهوم رفاه اجتماعی» نام دارد. به عقیدهٔ برخی، نظریهٔ انتخابات اجتماعی نیز از همین ایدهٔ ارو ریشه می‌گیرد.

مقدمه
-----

نظریه انتخاب اجتماعی از فرموله کردن پارادوکس رأی‌گیری کندورسه آغاز گردید و با نظریه ارو به شکل امروزی آن درآمد.

### پارادوکس کندورسه

مقالهٔ اصلی: پارادوکس کندورسه
فرض کنید سه رأی‌دهنده و سه انتخاب داریم: الف، جیم و دال و ترجیحات این سه رأی‌دهنده به شکل زیر است (در اینجا علامت بزرگتر یا «>» جهت ترجیحات فرد را نشان می‌دهد؛ مثلاً دال > الف یعنی فرد گزینهٔ دال را به الف ترجیح داده‌است):

ترجیحات فرد اول: الف > جیم > دال
ترجیحات فرد دوم: جیم > دال > الف
ترجیحات فرد سوم: دال > الف > جیم
نتیجه رأی‌گیری بر مبنای رأی اکثریت می‌گوید که الف باید به طور جمعی بر جیم ترجیح داده شود (با دو رأی از سه رأی) و همچنین جیم باید به طور جمعی بر دال ترجیح داده شود (مانند قبل با دو رأی از سه رأی). طبق فرض «انتقال پذیری» می‌توان نتیجه گرفت که اگر الف بر جیم و جیم بر دال (در حالت جمعی) ترجیح دارد بنابراین الف هم باید بر دال مرجح باشد. در حالی که طبق ترجیحات تعیین شده دال بر الف ترجیح داده می‌شود؛ که این با نتیجه‌ای که از «انتقال پذیری» گرفتیم در تناقض است.

بیان تئوری
----------

نیاز به جمع کردن ترجیحات خود رادر چند مسئله نشان می‌دهد از جمله: در اقتصاد رفاه که می‌خواهیم یک خروجی قابل قبول و پایدار را بدست آوریم؛ در تئوری تصمیم‌گیری که فرد باید بر مبنای مقیاس‌های مختلف یک انتخاب عقلایی بکند و طبیعتاً در سیستم‌های رأی‌گیری که مکانیزم‌هایی برای استخراج یک تصمیم از میان ترجیحات افراد هستند.

هر فرد در جامعه با توجه به ترجیحاتش ترتیب مشخصی از گزینه‌های پیش رویش را ارائه می‌دهد، ما به دنبال یک سیستم رأی‌گیری مبتنی بر ترجیحاتی هستیم که توسط آن مجموعه ترجیحات همه افراد به یک ترتیب از ترجیحات منتهی شود. به این سیستم «تابع رفاه اجتماعی» گفته می‌شود.

بیان رسمی تئوری
---------------

فرض کنید تعداد رأی‌دهنده‌ها حداقل ۳تا باشد و شروط عقلایی و امکان پذیر بودن نیز برقرار باشد، آنگاه هر تابع (جمع‌کننده) رفاه اجتماعی که بهینه پرتو باشد و شرط استقلال را نیز برقرار کند دیکتاتوری خواهد بود.

یعنی یک فرد h وجود دارد که اگر برای هر {x> جیم , الف ⊂ {x,y یعنی او الف را بر جیم ترجیح دهد، آنگاه الف نیز به طور اجتماعی بر جیم ترجیح دارد.

نسخه بعدی تئوری ارو (۱۹۶۳) با برداشتن فروض یکنوایی و غیر تحمیلی بودن بدست می‌آید.

### فروض نظریه

نظریه شرایط زیر را در نظر می‌گیرد که فرض می‌شود لزوم این شرایط برای یک روش رأی‌گیری عادلانه منطقی است.

۱. **اصل رتبه‌بندی کامل (دامنه نامحدود یا جهان شمولی)**

هر رتبه‌بندی اجتماعی باید قادر باشد که همه وضعیت‌های اجتماعی را رتبه‌بندی کند و مثل ترجیحات فردی باید کامل باشد. برای هر مجموعه از ترجیحات رأی‌دهنده‌ها تابع رفاه اجتماعی باید یک رتبه‌بندی کامل و منفرد از انتخاب‌های اجتماعی بدهد.

* باید این کار را طوری انجام دهد که به یک رتبه‌بندی کامل و منفرد از ترجیحات برای جامعه بینجامد.
* باید به طور مشخص هر بار که ترجیحات رأی‌دهنده‌ها به طور مشابهی بیان می‌شود رتبه‌بندی یکسانی را بدهد.

۲. **اصل ترجیحات اجتماعی انتقال پذیر**

رتبه‌بندی اجتماعی باید انتقال پذیر باشد. یعنی اگر الف به ب وب به ج ترجیح دارد باید الف به ج نیز ترجیح داشته باشد.

۳. **اصل وابستگی مثبت ارزش‌های فردی و اجتماعی (یا یکنوایی)**

رتبه‌بندی اجتماعی باید به طور مثبت با ترجیحات فردی رابطه داشته باشد. یعنی اگر دو فرد A, B الف را بر ب ترجیح دهند جامعه هم باید الف را بر ب ترجیح دهد.
اگر فردی ترجیحاتش را با بالا بردن یک انتخاب خاص تصحیح کند آنگاه ترتیب ترجیحات اجتماعی نیز یا باید در همان جهت تغییر کند یا اصلاً نباید تغییر کند.

۴. **اصل استقلال ترجیحات اجتماعی (استقلال دو به دو)**

با وارد شدن یک گزینه جدید رتبه‌بندی تابع رفاه اجتماعی از انتخاب‌های قبلی تغییر نکند.

۵. **اصل تحمیلی نبودن ترجیحات اجتماعی (حاکمیت شهروندی)**

هر ترتیب ترجیحات اجتماعی ممکن باید توسط مجموعه‌ای از ترتیب ترجیحات افراد قابل دستیابی باشد. رابطه ترجیحی اجتماعی نباید به جامعه تحمیل شود.

۶. **اصل عدم دیکتاتوری**

تابع رفاه اجتماعی باید خواسته‌های همه رأی‌دهنده‌ها را برآورده کند نه اینکه فقط ترجیحات یک رأی‌دهنده واحدی را نمایش دهد.

تئوری عدم امکان ارو به ما می‌گوید که پارادوکس کندورسه ناشی از هیچ‌یک از ویژگی‌های قوی رأی‌گیری بر مبنای رأی اکثریت (شامل تساوی بین رأی‌دهنده ها (عدم وجود دیکتاتوری) و شرایط پرتو) نیست، این تناقض از قلب قضیه ناشی می‌شود.

با اصل استقلال هیچ تابع (مجموع یاب) رفاه اجتماعی وجود ندارد که یک فرم ضعیف عدم دیکتاتوری و بهینه پرتو را برقرار کند.

ضمایم
-----

* سه اثبات کوتاه نظریه عدم امکان ارو

* Kenneth J. Arrow, A Difficulty in the Concept of Social Welfare, Journal of Political Economy Vol. 58, No. 4 (Aug. 1950), pp. 328–346  چپ‌چین}}

منابع
-----

۱. ویکی‌پدیای انگلیسی

2. Microeconomic Theory by Mas collel , Green and Whinston , Oxford University Press, 1995 , The chapter
"Social choice theorem"
.

  

۳. اقتصاد خرد ۲ نوشته عباس شاکری، فصل یازدهم.

| * ن
* ب
* و
موضوعات مرتبط با نظریه بازی‌ها |
| --- |
| تعاریف | 
* بازی بهنجار
* شکل گسترده بازی
* Graphical game
* بازی‌های تعاونی
* Succinct game
* Information set
* Hierarchy of beliefs
* Preference

 |
| مفاهیم تعادل اقتصادی | 
* تعادل نش
* زیربازی کامل
* Mertens-stable equilibrium
* بیزی-نش
* بیزی کامل
* تعادل کامل لغزش دست
* Proper equilibrium
* اپسیلون-تعادل
* Correlated equilibrium
* Sequential equilibrium
* Quasi-perfect equilibrium
* استراتژی پایدار تکاملی
* Risk dominance
* هسته
* Shapley value
* کارایی پارتو
* Quantal response equilibrium
* Self-confirming equilibrium
* تعادل نش قوی
* تعادل مارکوف کامل

 |
| استراتژی | 
* استراتژی غلبه
* استراتژی خالص
* استراتژی مختلط
* بده‌بستان
* استراتژی ماشه
* تبانی
* استنتاج معکوس
* مفهوم راه‌حل
* استراتژی مارکو
* این به آن در

 |
| رده‌های بازی | 
* بازی مجموع-صفر
* طراحی سازوکار
* مسئله چانه‌زنی
* بازی پتانسیل
* بازی متقارن
* بازی با اطلاعات کامل
* بازی هم‌زمان
* بازی ترتیبی
* بازی تکرارشونده
* بازی علامت‌دهی
* حرف مفت
* بازی تصادفی
* Large Poisson game
* Nontransitive game
* بازی‌های جهانی

 |
| بازی‌ها | 
* دوراهی زندانی
* معمای مسافر
* بازی هماهنگی
* جوجه
* بازی هزارپا
* معمای داوطلب
* مزایده دلار
* نبرد جنسیت‌ها
* شکار گوزن
* سکه‌های مطابق
* بازی آخرین پیشنهاد
* سنگ-کاغذ-قیچی
* بازی دزدان دریایی
* بازی دیکتاتور
* بازی کالاهای عمومی
* بازی‌های بلوتو
* جنگ فرسایشی
* مسئله سفره‌خانه
* تقسیم کیک
* رقابت کورنو
* رقابت برتراند
* بن بست
* Diner's dilemma
* حدس دو سوم میانگین
* Kuhn poker
* مسئله چانه‌زنی
* Screening game
* پازل زندانیان و کلاه‌ها
* بازی دیکتاتور
* بازی شاهزاده و هیولا
* مسئله مونتی هال
* تقسیم منصفانه

 |
| قضیه‌ها | 
* مینیماکس
* تعادل نش
* Purification theorem
* قضیه عامیانه
* اصل آشکارسازی
* قضیه عدم امکان ارو

 |
| افراد مهم | 
* کنت آرو
* روبرت اومان
* Kenneth Binmore
* Samuel Bowles
* Melvin Dresher
* Merrill M. Flood
* Drew Fudenberg
* Donald B. Gillies
* جان هارسانی
* لئونید هورویچ
* David K. Levine
* دانیل کاهنمن
* هرولد دابلیو کون
* اریک ماسکین
* Jean-François Mertens
* پل میلگروم
* اسکار مورگنشترن
* راجر میرسون
* جان فوربز نش
* جان فون نویمان
* Ariel Rubinstein
* توماس شلینگ
* راینهارد سیلتن
* هربرت الکساندر سیمون
* لوید شپلی
* جان مینارد اسمیت
* ژان تیرول
* Albert W. Tucker
* ویلیام ویکری
* Robert B. Wilson
* Peyton Young

 |
| همچنین ببینید | 
* تراژدی منابع مشترک
* Tyranny of small decisions
* All-pay auction
* لیست بازی‌ها در نظریه بازی‌ها
* Confrontation analysis
* List of game theorists
* نظریه بازی‌های ترکیبیاتی
* پارادوکس برتراند

 |

| * ن
* ب
* و
پارادوکس‌ها |
| --- |
| فلسفه | 
* تحلیل
* پل بوریدان
* Dream argument
* اپیکور
* Fiction
* Fitch's knowability
* برهان اختیار
* گودمن
* Hedonism
* پارادوکس لیبرالیسم
* منون
* Mere addition
* Moore's
* پارادوکس نیوکامب
* Nihilism
* پارادوکس قدرت مطلق
* Preface
* ویتگنشتاین و قواعد و زبان خصوصی
* White horse
* پارادوکس‌های زنون

 | 

 |
| منطقی | 

|  |  |
| --- | --- |
| ارجاع به خود | 
* آرایشگر
* Berry
* Bhartrhari's
* پارادوکس بورالی-فورتی
* دادگاه
* Crocodile
* Curry's
* Epimenides
* Grelling–Nelson
* پارادوکس کلینی-راسر
* پارادوکس دروغگو
	+ Card
	+ No-no
	+ Pinocchio
	+ Quine's
	+ Yablo's
* Opposite Day
* Richard's
* پارادوکس راسل
* دانم که ندانم
* Hilbert's Hotel

 |
| ابهام | 
* کشتی تسئوس
	+ فهرست نمونه‌های کشتی تسئوس
* پارادوکس کپه‌ها

 |
| انواع دیگر | 
* Barbershop
* تبصره ۲۲ (منطق)
* Drinker
* پارادوکس استلزام مادی
* ناسازنمای بخت‌آزمایی
* Plato's beard
* Raven
* Ross'
* پارادوکس اعدام غیرمنتظره
* What the Tortoise Said to Achilles
* پارادوکس مرگ گرما
* پارادوکس اولبرس

 |

 |
| اقتصادی | 
* پارادوکس اله
* Antitrust
* Arrow information
* پارادوکس برتراند (اقتصاد)
* پارادوکس بریس
* Competition
* درآمد و باروری
* Downs–Thomson
* Easterlin
* Edgeworth
* Ellsberg
* European
* Gibson's
* کالای گیفن
* Icarus
* Jevons
* Leontief
* پارادوکس لوکاس
* Mandeville's
* Mayfield's
* Metzler
* نفرین منابع
* Productivity
* Prosperity
* Scitovsky
* Service recovery
* پارادوکس سنت‌پترزبورگ
* تناقض خست
* Toil
* رانت‌خواهی
* Value

 |
| نظریه تصمیم | 
* پارادوکس ابیلین
* Apportionment
	+ Alabama
	+ New states
	+ Population
* قضیه عدم امکان ارو
* خر بوریدان
* Chainstore
* پارادوکس کندورسه
* Decision-making
* Downs
* Ellsberg
* Fenno's
* Fredkin's
* Green
* Hedgehog's
* Inventor's
* Kavka's toxin puzzle
* Morton's fork
* Navigation
* پارادوکس نیوکامب
* پارادوکس پاراندو
* Prevention
* دوراهی زندانی
* پارادوکس بردباری
* Willpower

 |
| 
* فهرست پارادوکس‌ها
* رده:پارادوکس‌ها
* Book

 |