Thanks for the links. I haven't had a chance to read them all, but the Sproul article is very informative.

Quote
R.C. Sproul
In sharp contrast to the caricature of double predestination seen in the positive-positive schema is the classic position of Reformed theology on predestination. In this view predestination is double in that it involves both election and reprobation but is not symmetrical with respect to the mode of divine activity. A strict parallelism of operation is denied. Rather we view predestination in terms of a positive-negative relationship.
In the Reformed view God from all eternity decrees some to election and positively intervenes in their lives to work regeneration and faith by a monergistic work of grace. To the non-elect God withholds this monergistic work of grace, passing them by and leaving them to themselves. He does not monergistically work sin or unbelief in their lives. Even in the case of the "hardening" of the sinners' already recalcitrant hearts, God does not, as Luther stated, "work evil in us (for hardening is working evil) by creating fresh evil in us."2 Luther continued:

So if I am understanding this correctly, the Reformed view of predestination does not apply to the reprobate because that would imply that God is actively working to produce sin in their lives. The WCF therefore uses "foreordained" to indicate that their reprobation has been eternally decreed by God and is certain, but it is the result of God witholding His grace from them and allowing them to follow after their own sinful desires. Is this the basic idea, or am I still missing the boat?

John