Social Choice Theory for Logicians