Skip to main content
SpringerLink
Log in

Proving Arrow’s theorem by PROLOG

  • OriginalPaper
  • Published:
Computational Economics Aims and scope Submit manuscript

Abstract

This paper presented a simple PROLOG implementation for Arrow’s Social welfare function (SWF). Arrow (Social choice and individual values, Yale University Press, 1963) proved that any SWF which satisfies a set of conditions IIA, Pareto, and unrestricted domain should be dictatorial. The PROLOG program can prove the theorem for 3-alternative 2-agent case. With a minor modification it proves a version of the theorem without the Pareto condition by Wilson (Journal of Economic Theory, 5, 478–486, 1972).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Arrow, K. J. (1951/1963). Social choice and individual values (2nd ed.). Yale University Press (Originally published by Wiley).

  • Clocksin W.F., Mellish C.S. (2003). Programming in prolog: Using the ISO standard (5th ed.). Berlin, Springer

    Google Scholar 

  • Hooker J. (2000). Logic-base methods for optimization: Combining optimization and constraint satisfaction. New York, Wiley

    Google Scholar 

  • Indo, K. (2006). Logic programming for modeling social choice, downlodable from URL: http://www.us.kanto-gakuen.ac.jp/indo/wp/mplsc.html.

  • Nisan N., Ronen A. (2001). Algorithmic mechanism design. Games and Economic Behavior 35, 166–196

    Article  Google Scholar 

  • Robinson A. (1965). A machine-oriented logic based on the resolution principle. JACM 12(1): 23–41

    Article  Google Scholar 

  • Sterling L., Shapiro E. (1994). The art of prolog: Advanced programming (2nd ed.). Cambridge, MA: MIT

  • Takekuma S. (1997). A proof of arrow’s impossibility theorem by MATHEMATICA. Hitotsubashi Journal of Economics 38, 139–148

    Google Scholar 

  • Wilson R. (1972). Social choice theory without the Pareto principle. Journal of Economic Theory 5, 478–486

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Economics, Kanto Gakuen University, Ota, 3738515, Japan

    Kenryo Indo

Authors
  1. Kenryo Indo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kenryo Indo.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Indo, K. Proving Arrow’s theorem by PROLOG . Comput Econ 30, 57–63 (2007). https://doi.org/10.1007/s10614-007-9086-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10614-007-9086-2

Keywords

Search

Navigation