Politics and logic