The following are some of the declarations that are pertinent, from Denzinger:
1. God predestines no one to evil (Denz 1567).
2. He wills, on the contrary, the salvation of all men (Denz 623).
3. Christ did not die solely for the predestined or the faithful (Denz 2005, 2304, 2430).
4. There is a grace that is truly sufficient and that is a true gift of God (Denz 2306).
5. The grace of conversion is offered to sinners (Denz 1542).
6. They only are deprived of it who, failing in their duty, refuse it; this is something which God permits but of which He is by no means the cause (Denz 1556, 1567,2866).
To sum up, one must say that the Church affirms particularly three truths against Pelagianism and Semi-Pelagianism:
(1) The cause of predestination to grace or justification is not the divine foreknowledge of naturally good works that are performed by men, neither is the cause preliminary to any act of the natural order that prepares man for salvation. This efficacious calling is due solely to God. It is initiated by Him because of His divine largesse.
(2) Predestination to glory is not a result of foreseen supernatural merits that would continue to be effective apart from the special gift of final perseverance.
(3) Predestination, viewed in its totality, that is, the entire series of graces from beginning to end, is gratuitous, and hence previous to the foreseen merits of man. In a word, that some are saved is the gift of Him who saves (Denz 623).
Against the various forms of predestinationism the Church teaches that:
(1) God sincerely wills the salvation of all men and thus makes the fulfillment of His precepts possible for all.
(2) There is neither predestination to evil as a final end nor predestination to any evil deed in particular.
(3) Christ died for all men without exception.
(4) Nevertheless, God has decreed from all eternity to inflict eternal punishment for the sin of final impenitence, which He has foreseen for all eternity. He is by no means the cause of the impenitence, but merely permits it.
In the words of St. Prosper, "That many … perish is the fault of those who perish; that many are saved is the gift of Him who saves."