Title: Logic and social choice