EN
Social choice theory contains a number of deductive theorems on voting Methods' properties, in particular "non-existence" theorems, stating that there is no voting method complying particular rationality condition (as insusceptibility to strategic voting). These theorems, though theoretically important, have limited practical implications. When no voting method guarantees rational choice, the question of risk level connected with particular methods is raised. Such a question can be partly answered by means of computer simulations. Although simulations' results have no deductive quality, often they could be treated as statistical hypotheses. Even if statistical interpretation is impossible, simulations' results could be helpful in resolving practical problems.
PL
Dorobkiem teorii wyboru społecznego jest szereg dedukcyjnych twierdzeń o własnościach metod głosowania, wykazujących istnienie lub – częściej – nieistnienie metod głosowania spełniających określone postulaty, w tym m. in. postulat odporności na głosowanie strategiczne. „Twierdzenia o nieistnieniu”, choć ważne dla teorii, mają jednak ograniczone przełożenie na praktykę. W sytuacji, gdy nie istnieje żadna metoda głosowania spełniająca jakiś postulat racjonalności, istotne pytanie dotyczy wrażliwości różnych metod na paradoks związany z nie spełnianiem tego postulatu. Na pytanie takie zwykle pełniejszą odpowiedź można udzielić wykonując symulacje komputerowe. Choć ich wyniki nie mają wartości twierdzeń dedukcyjnych, to w wielu przypadkach mają wartość hipotez statystycznych, a w pozostałych przypadkach pozwalają na formułowanie hipotez o znacznej wartości dla praktycznego stosowania metod głosowania.