Reakció a nem tranzitív relációt mutató kommentre

A példabeli tranzitivitás hiánya valóban paradox érzetet kelthet bennünk. A probléma abban áll, hogy három egyenként tranzitívnak gondolt reláció aggregációja intranzitív relációhoz vezetett. Felmerül a kérdés, milyen "igazságos" aggregációt lehetne készíteni. Van-e olyan módszer, amely az egyes szépen viselkedő (azazz legalább tranzitív) relációkból, valamilyen mindenki által elfogadható "össztársadalmi bölcsesség" relációt aggregál.
Mit jelenthet ez pontosan és mik az elvárható feltételek?
Ez éppen az Arrow-paradoxon néven elhíresült probléma. Érdemes lenne egy külön szeminárium keretében végiggondolni a problémát és az Arrow nevéhez kapcsolt állítást, amelynek egyszerű leírására mutat a cím mögötti link.