Ok guys, I am confused.

R.C. Sproul in his book "Willing to Believe" which traces the history of Pelagianism and Arminianism states that Arminians are saved "but just barely".

But he does not elaborate as to why, although he implies it is because they accept faith alone (justification), even though they do not accept grace alone (monergism).

But in the above article, "The Pelagian Captivity of the Church" he pretty clearly takes the position that today's Arminians aren't saved at all.

Are the Hyper-Calvinists right in at least one aspect that so-called "Arminians" who in reality today are "Semi-Pelagian" aren't saved?

Does the WCF take a clear stand on this, eg. anathemizes Arminianism as the Canons of Dort did?

thanks,
- Kurt