Abstract
Preferences and choices have central roles in moral philosophy, economics, and the decision sciences in general. In a formal language we can express and explore the properties of preferences, choices, and their interrelations in a precise way, and uncover connections that are inaccessible without formal tools. In this chapter, the plausibility of different such properties is discussed, and it is shown how close attention to the logical details can help dissolve some apparent paradoxes in informal and semi-formal treatments.