 Another variant of supervaluationism is Jaśkowski’s paraconsistent (see the entry on paraconsistent logic) “discussive logic” which underwrites a type (3) response to the conditional sorites. A decade before Mehlberg (1958) first proposed what was, in effect, a supervaluationist treatment of vagueness, a student of  Łukasiewicz (see entry),  Stanisław Jaśkowski, published an account of a logic that he proposed as a logic of vague concepts. It was, in fact, the first formal system of paraconsistent logic. (Interestingly, both Mehlberg and Jaśkowski were students of the  Lvov-Warsaw School of philosophy (see entry)  where Łukasiewicz was a professor.) Paraconsistent approaches to the sorites paradox had been advocated by Marxists for some time, with borderline case predications providing paradigm examples of dialectical situations. The paradox was commonly cited as evidence of the inadequacy of classical logic; but it was not until Jaśkowski’s pioneering work that the proposal received formal explication. This logic, sometimes now referred to as “subvaluationism” to emphasise its duality with the more familiar supervaluationism, represents the postulated semantic indeterminacy as semantic overdetermination, rather than the underdetermination typical of truth-value gap responses to the phenomenon of vagueness. While arguing for a supervaluationist semantics for vagueness, Fine (1975) noted that the (subvaluationist) truth-value glut approach can be arrived at by a simple reinterpretation of the truth-value gap approach advocated therein. (For more on this system and a limited defense thereof see Hyde 1997. For criticism see Keefe 2000: ch.7 and Beall &amp; Colyvan 2001.)