Is Replacement motivated by ranked iterative conception of sets? When one reads the Wikipedia article on the Von Neumann Universe, one gets the impression that the idea of "the cumulative hierarchy" serves as a motivation for $ZFC$. I don't see really how this is the case. I don't see any of the definitions given to the cumulative hierarchy in that page implying Replacement at all.
Also when one reads in Boolos-The Iterative Conception of Set, page: 228, one gets the following:

There is an extension of the stage theory from which the axioms of replacement could have been derived. We could have taken as axioms all instances of a principle which may be put, 'If each set is correlated with at least one stage (no matter how), then for any set z there is a stage s such that for each member w of z, s is later than some stage with which w is correlated'.
This bounding or cofinality principle is an attractive further thought about the interrelation of sets and stages, but it does seem to us to be a further thought, and not one that can be said to have been meant in the rough description of the iterative conception.

It appears that what Boolos is saying is that: when we extend the rough iterative conception of set with a ranking function, then we get Replacement.

EDIT: I've mis-understood Boolos here, as Noah point in his comments and answer, Boolos was not taking about extending the iterative conception of set with a ranking function. So the rest of this post addresses the first point that I've referred to that is mentioned in the Wikipedia article. However, Boolos seems to be saying that Replacement is not related to the iterative conception of sets, and that it is an extra-thought. Which in some sense backs my argumentation that I'll present below.

I'll try here to capture the notion of building a hierarchy from below in class ambiance. So let's work in mono-sorted first order logic with identity and membership.
Define: $set(x) \iff \exists y (x \in y)$
Axioms: $ID$ axioms +
Class axioms:
$C_1$. Extensionality: $\forall a,b (\forall x (x \in a \leftrightarrow x \in b) \to a=b)$
$C_2$. Class comprehension schema: if $\varphi$ is a formula in which $x$ is not free,
then all closures of: $\exists x \forall y (y \in x \leftrightarrow set(y) \wedge \varphi)$ are axioms.
Define: $x=\{y|\varphi\} \iff \forall y (y \in x \leftrightarrow set(y) \wedge \varphi)$
Let $V=\{x| set(x)\}$
Define: $ R\text{ is a ranking function on V } \iff R  \text{ is a function on V} \wedge \\\exists < [\text {< is a well ordering relation on range}(R) \wedge \forall x,y \in V (x \in y \to R(x) < R(y))]  $
Define: $r \text{ is a rank }\iff \exists x (r=R(x))$
Hierarchy axioms: There exists $R$ such that:
$H_1$. Ranking: $R$ is a ranking function on $V$
$H_2$. Stages: for every rank $r$: $\forall x (\forall y \in x (R(y) \leq r) \to x \in V)$
$H_3$. Infinity: There exists a limit rank.
$H_4$. Height: $\forall x \in V (\text{well ordered}(x) \to \exists y \subset range(R) [x \text { isomorphic to } y])$
/ Theory definition finished.
Now I think this clearly captures the ranking function as built form below, which is the heart behind the philosophy of iterative conception of sets [one can easily see that the axiom $H_4$ clearly depicts this building from blow direction]. However, I don't see this reaching to the strength of $ZF$? I think it might reach to the strength of the first fixed point on the $\omega$ function of von Neumann ordinals.
If I'm correct then the addition of $Replacement$ schema to the rest of axioms of $ZF$ is better be considered as a large cardinal axiom, rather than being viewed as grounded in the cumulative hierarchy concept. Accordingly Replacement is to be grounded in limitation of size concept, that a set sized definable (parameters allowed) class is a set, and this is a notion about cardinality, rather than it being a notion about a Hierarchy or ranking or stages or iteration or the alike. A possible backing to this view is that presented by Randall Holmes here. However I'm still not sure of the above, since there is a lot of talk about the cumulative hierarchy constituting a motivation for axioms of ZFC is already well known, hence my question:


*

*Is replacement provable in the above ranked Hierarchy class theory?

*IF not, then how are we to understand that having the von Neumann universe constitute a motivation for Replacement schema?


 A: EDIT: I've rewritten for clarity.

First, re: your claim "It appears that what Boolos is saying is that: when we extend the rough iterative conception of set with a ranking function, then we get Replacement," this is incorrect, or at least incomplete. Boolos' principle is basically just saying "$Ord$ is regular," which when combined with just a small bit of replacement (which Boolos has already baked in) gives full replacement.
The key point is phrasing the hypothesis correctly. When Boolos writes 

If each set is correlated with at least one stage (no matter how), ...

this is just saying "For every class relation $R\subseteq Sets\times Stages$ such that $dom(R)$ is all of $Sets$, ..."
This makes his whole proposed principle simply:

Suppose $R\subseteq Sets\times Stages$ is a class relation such that $dom(R)$ is all of sets. Then for every set $z$, there is some stage $s$ such that for each $w\in z$ there is a stage $t$ with $(i)$ $t$ earlier than $s$ and $(ii)$ $wRt$.

ZFC satisfies this principle by taking $$s=\sup\{\min(R^{-1}(w)): w\in z\}+1,$$ which exists by Replacement. Conversely, we can use Boolos' principle to prove Replacement by using it to find a sufficiently large stage that all witnesses have appeared with respect to the usual rank notion, and then applying separation. In gory detail:


*

*Suppose we have an instance of replacement: that is, a set $z$ and a formula $\varphi$ (with parameters) such that for each $w\in z$ there is exactly one $y$ with $\varphi(w,y)$.

*Let $rank$ be the usual ranking function on the universe of sets. Consider now the following relation $R$:


*

*If $w\not\in z$, we set $wR\alpha$ for every ordinal $\alpha$.

*If $w\in z$, we set $wR\alpha$ if the unique $y$ satisfying $\varphi(w,y)$ has $rank(y)=\alpha$.


*The relation $R$ satisfies the hypotheses of Boolos' principle (conflating ordinals and stages), and so that principle gives us some ordinal $\theta$ such that for each $w\in z$, the unique $y$ satisfying $\varphi(w,y)$ has $rank(y)=\theta$.

*Now consider $V_{\theta+1} = $ the sets of rank $\le\theta$ in the usual sense (the set-hood of $V_\theta$ needs to be justified, and as I commented below ZC alone isn't up to the job, but if I recall correctly the hypothesis that each "stage class" is a set is indeed built in). Because $\theta$ is large enough to see all the sets we care about appear, applying separation to $V_{\theta+1}$ we get that the class $\{y: \exists w\in z(\varphi(w,y))\}$ is a set. So we're done.
Actually, it's arguable that Boolos isn't identifying stages with ordinals at this, well, stage. However, that makes no difference: full replacement lets us conflate arbitrary well-orderings and ordinals, and Boolos' principle restricted to ordinals-as-stages gives full replacement as per the above.

Now, the theory you describe is quite different, and your comment on its limitations is correct: it's much weaker than ZFC. In particular, it holds in the structure $M=(L_{\theta+1},\in)$, where $\theta$ is the least fixed point of the map $\alpha\mapsto\omega_\alpha$. (I use $L$ instead of $V$ to control the length of well-orderings that show up; whether $(V_{\theta+1},\in)$ satisfies your theory is independent of ZFC, since we could have the continuum much larger than $\theta$.)
As to your philosophical critique of replacement, this is of course a somewhat subjective issue. I waffle on whether it's built into the cumulative hierarchy idea already; I tend to fall on the side of "yes," but that's not universal, and it seems Boolos takes the opposing position ("it does seem to us to be a further thought, and not one that can be said to have been meant in the rough description of the iterative conception"). I do certainly think that Replacement, and before that Infinity, do indeed constitute "ur-large-cardinal" principles. I believe Kanamori's article In praise of replacement backs majority-me against Boolos, but I haven't read it in a while so I can't promise it's fully on-topic (I do remember it being quite good though).
