Abstract
In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by
looking at contemporary work at the intersection between mathematics and computer science.
I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity.
Finally, I look at possible ways of defending the constructive predicativity of inductive definitions.