Abstract

In this note, I correct an error in List (2003). I warmly thank Ron Holzman for drawing my attention to this error, and Franz Dietrich for giving me some key insights that have led to the present correction, particularly the formulation of assumption (a*) below. Theorem 2 (speci…cally, the claim that (i) implies (ii) and the associated Proposition 2) in List (2003) requires an additional assumption on the set X of propositions under consideration (the agenda). Let me use the de…nitions and notation from List (2003). Also, de…ne a set of propositions to be satis…able if some truth-value assignment makes all its members true, and, for each Y X, de…ne Y : := f: : 2Yg. In List (2003), I assumed that (a) X contains at least two distinct atomic propositions P; Q and their conjunction (P ^ Q), and (b) X contains proposition-negation pairs (i.e. if 2 X, then : 2 X, where :: is identi…ed with ). While assumption (b) is correct as stated, Theorem 2 requires assumption (a*) instead of (a).