IDEAS home Printed from https://ideas.repec.org/a/spr/minsoc/v19y2020i1d10.1007_s11299-019-00222-3.html
   My bibliography  Save this article

Arrow’s impossibility theorem as a special case of Nash equilibrium: a cognitive approach to the theory of collective decision-making

Author

Listed:
  • Edgardo Bucciarelli

    (University of Chieti-Pescara
    Queensland Behavioural Economics Group, QUT)

  • Andrea Oliva

    (Abruzzo Academy Foundation, Legal Entity of the Prefecture of Pescara
    Abruzzo Academy Foundation, Foundation Member of the United Nations Academic Impact, UN)

Abstract

Metalogic is an open-ended cognitive, formal methodology pertaining to semantics and information processing. The language that mathematizes metalogic is known as metalanguage and deals with metafunctions purely by extension on patterns. A metalogical process involves an effective enrichment in knowledge as logical statements, and, since human cognition is an inherently logic–based representation of knowledge, a metalogical process will always be aimed at developing the scope of cognition by exploring possible cognitive implications reflected on successive levels of abstraction. Indeed, it is basically impracticable to maintain logic–and–metalogic without paying heed to cognitive theorizing. For it is cognitively irrelevant whether possible conclusions are deduced from some premises before the premises are determined to be true or whether the premises themselves are determined to be true first and, then, the conclusions are deduced from them. In this paper we consider the term metalogic as inherently embodied under the framework referred to as cognitive science and mathematics. We propose a metalogical interpretation of Arrow’s impossibility theorem and, to that end, choice theory is understood as a mental course of action dealing with logic and metalogic issues, in which a possible mathematical approach to model a mental course of action is adopted as a systematic operating method. Nevertheless, if we look closely at the core of Arrow’s impossibility theorem in terms of metalogic, a second fundamental contribution to this framework is represented by the Nash equilibrium. As a result of the foregoing, therefore, we prove the metalogical equivalence between Arrow’s impossibility theorem and the existence of the Nash equilibrium. More specifically, Arrow’s requirements correspond to the Nash equilibrium for finite mixed strategies with no symmetry conditions. To demonstrate this proof, we first verify that Arrow’s set and Nash’s set are isomorphic to each other, both sets being under stated conditions of non–symmetry. Then, the proof is completed by virtue of category theory. Indeed, the two sets are categories that correspond biuniquely to one another and, thus, it is possible to define a covariant functor that preserves their mutual structures. According to this, we show the proof–dedicated metalanguage as a precursor to a special equivalence theorem.

Suggested Citation

  • Edgardo Bucciarelli & Andrea Oliva, 2020. "Arrow’s impossibility theorem as a special case of Nash equilibrium: a cognitive approach to the theory of collective decision-making," Mind & Society: Cognitive Studies in Economics and Social Sciences, Springer;Fondazione Rosselli, vol. 19(1), pages 15-41, June.
  • Handle: RePEc:spr:minsoc:v:19:y:2020:i:1:d:10.1007_s11299-019-00222-3
    DOI: 10.1007/s11299-019-00222-3
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s11299-019-00222-3
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.

    File URL: https://libkey.io/10.1007/s11299-019-00222-3?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Aumann, Robert J., 1974. "Subjectivity and correlation in randomized strategies," Journal of Mathematical Economics, Elsevier, vol. 1(1), pages 67-96, March.
    2. Herbert A. Simon, 1955. "A Behavioral Model of Rational Choice," The Quarterly Journal of Economics, President and Fellows of Harvard College, vol. 69(1), pages 99-118.
    3. R. Myerson, 2010. "Nash Equilibrium and the History of Economic Theory," Voprosy Ekonomiki, NP Voprosy Ekonomiki, issue 6.
    4. Amartya Sen, 1969. "Quasi-Transitivity, Rational Choice and Collective Decisions," The Review of Economic Studies, Review of Economic Studies Ltd, vol. 36(3), pages 381-393.
    5. Albin, Peter S., 1982. "The metalogic of economic predictions, calculations and propositions," Mathematical Social Sciences, Elsevier, vol. 3(4), pages 329-358, December.
    6. John C. Harsanyi, 1967. "Games with Incomplete Information Played by "Bayesian" Players, I-III Part I. The Basic Model," Management Science, INFORMS, vol. 14(3), pages 159-182, November.
    7. Kenneth J. Arrow, 1950. "A Difficulty in the Concept of Social Welfare," Journal of Political Economy, University of Chicago Press, vol. 58(4), pages 328-328.
    8. Glenn W. Harrison & Tanga McDaniel, 2008. "Voting games and computational complexity," Oxford Economic Papers, Oxford University Press, vol. 60(3), pages 546-565, July.
    9. Kenneth J. Arrow & Herve Raynaud, 1986. "Social Choice and Multicriterion Decision-Making," MIT Press Books, The MIT Press, edition 1, volume 1, number 0262511754, April.
    10. Leila Amgoud & Henri Prade, 2012. "Can AI Models Capture Natural Language Argumentation?," International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), IGI Global, vol. 6(3), pages 19-32, July.
    11. K. J. Arrow & A. K. Sen & K. Suzumura (ed.), 2011. "Handbook of Social Choice and Welfare," Handbook of Social Choice and Welfare, Elsevier, edition 1, volume 2, number 2.
    12. Dowding, Keith & Van Hees, Martin, 2008. "In Praise of Manipulation," British Journal of Political Science, Cambridge University Press, vol. 38(1), pages 1-15, January.
    13. Pattanaik, Prasanta K., 2002. "Positional rules of collective decision-making," Handbook of Social Choice and Welfare, in: K. J. Arrow & A. K. Sen & K. Suzumura (ed.), Handbook of Social Choice and Welfare, edition 1, volume 1, chapter 7, pages 361-394, Elsevier.
    14. Salvador Barberà, 2001. "An introduction to strategy-proof social choice functions," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 18(4), pages 619-653.
    15. Ray, Paramesh, 1973. "Independence of Irrelevant Alternatives," Econometrica, Econometric Society, vol. 41(5), pages 987-991, September.
    16. Gibbard, Allan, 1973. "Manipulation of Voting Schemes: A General Result," Econometrica, Econometric Society, vol. 41(4), pages 587-601, July.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. António Osório, 2020. "Performance Evaluation: Subjectivity, Bias and Judgment Style in Sport," Group Decision and Negotiation, Springer, vol. 29(4), pages 655-678, August.
    2. Michael Müller, 2024. "Belief-independence and (robust) strategy-proofness," Theory and Decision, Springer, vol. 96(3), pages 443-461, May.
    3. Alexander Reffgen, 2011. "Generalizing the Gibbard–Satterthwaite theorem: partial preferences, the degree of manipulation, and multi-valuedness," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 37(1), pages 39-59, June.
    4. Mongin, Philippe, 2019. "Interview of Peter J. Hammond," CRETA Online Discussion Paper Series 50, Centre for Research in Economic Theory and its Applications CRETA.
    5. Pierre Bernhard & Marc Deschamps, 2018. "Arrow’s (im)possibility theorem," Post-Print hal-01941037, HAL.
    6. Ning Yu, 2015. "A quest for fundamental theorems of social choice," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 44(3), pages 533-548, March.
    7. Stensholt, Eivind, 2020. "Anomalies of Instant Runoff Voting," Discussion Papers 2020/6, Norwegian School of Economics, Department of Business and Management Science.
    8. Ritesh Jain, 2015. "A Note On The Arrow’S Impossibility Theorem," Economic Annals, Faculty of Economics and Business, University of Belgrade, vol. 60(207), pages 39-48, September.
    9. Nicholas R. Miller, 2019. "Reflections on Arrow’s theorem and voting rules," Public Choice, Springer, vol. 179(1), pages 113-124, April.
    10. Etro, Federico, 2017. "Research in economics and game theory. A 70th anniversary," Research in Economics, Elsevier, vol. 71(1), pages 1-7.
    11. Maurice Salles, 2006. "La théorie du choix social : de l'importance des mathématiques," Economics Working Paper Archive (University of Rennes & University of Caen) 200617, Center for Research in Economics and Management (CREM), University of Rennes, University of Caen and CNRS.
    12. Zoi Terzopoulou & Ulle Endriss, 2019. "Strategyproof judgment aggregation under partial information," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 53(3), pages 415-442, October.
    13. Susumu Cato, 2018. "Collective rationality and decisiveness coherence," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 50(2), pages 305-328, February.
    14. Leo Katz & Alvaro Sandroni, 2020. "Limits on power and rationality," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 54(2), pages 507-521, March.
    15. Hausken, Kjell & Levitin, Gregory, 2009. "Minmax defense strategy for complex multi-state systems," Reliability Engineering and System Safety, Elsevier, vol. 94(2), pages 577-587.
    16. Nicola Acocella-super-, 2017. "The Rise And Decline Of Economic Policy As An Autonomous Discipline: A Critical Survey," Journal of Economic Surveys, Wiley Blackwell, vol. 31(3), pages 661-677, July.
    17. Philippe Jehiel & Laurent Lamy, 2018. "A Mechanism Design Approach to the Tiebout Hypothesis," Journal of Political Economy, University of Chicago Press, vol. 126(2), pages 735-760.
    18. Miller, Michael K., 2009. "Social choice theory without Pareto: The pivotal voter approach," Mathematical Social Sciences, Elsevier, vol. 58(2), pages 251-255, September.
    19. Christopher Tyson, 2015. "Satisficing behavior with a secondary criterion," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 44(3), pages 639-661, March.
    20. Giacomo Rubbini, 2023. "Mechanism Design without Rational Expectations," Papers 2305.07472, arXiv.org, revised Nov 2023.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:minsoc:v:19:y:2020:i:1:d:10.1007_s11299-019-00222-3. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.