Abstract

Gödel and others held that impredicative specification is illegitimate in a constructivist framework but legitimate elsewhere. Michael Dummett argues to the contrary that impredicativity, though not necessarily illicit, needs justification regardless of whether one assumes the context is realist or constructivist. In this paper I defend the Gödelian position arguing that Dummett seeks a reduction of impredicativity to predicativity which is neither possible nor necessary. The argument is illustrated by considering first highly predicative versions of the equinumerosity axiom for cardinal number and Axiom V for sets, on the one hand, then classically consistent disjunctivised versions of Axiom V which are impredicative but can prove the well-foundedness of the semantics of weaker such systems, on the other.