Formal Methods in Political Philosophy

I am delighted to learn that this blog is being read by many people in Russia.  Is someone using it as a teaching tool?  I woujld be very in...

There has been a dramatic spike in the number of daily visits to my other blog, the Formal Methods blog.  Turns out, according to Google, th...

With this segment, I conclude my discussion of Arrow's General Possibility Theorem. And I think this will also conclude this tutorial o...

Proof of Arrow's Theorem Step 1.     By Condition P, there is at least one decisive set for each ordered pair, namely the set of al...

     [end of Arrow third installment] Proof of Lemma 3:        Assume xDy for i [i,e,, i is decisive for x against y]     The proof now ...

This is really a devastating theorem. Basically, it says that there is no voting mechanism that gets around the Paradox of Majority Rule. ...

From here on, I am going to break the exposition into short bits, because this is hard, and I do not want to lose anyone. My apologies to t...