Research on voting methods: deduction, induction and simulation

Abstract

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.