Abstract
The many kinds of naturalism fall into two main types. Dogmatic naturalists define naturalness using some rule. Progressive naturalists define naturalness in terms of a research program. This research program, illustrated by the sciences, progressively defines things ever more precisely using mathematics. Most traditional religious concepts fail to be natural on any type of naturalism. But progressive naturalists are open to naturalistic revisions of traditional concepts. They do not tie religion to the past, but welcome novel religious and spiritual naturalisms.