Belief categories are arrived at via well understood principles of epistemology
Most labeling of our beliefs does not follow the recognized categories of epistemology, which uses a four category criteria:
- Uncertain -- there is currently not enough justification either way to reasonably reject or accept a viewpoint
- Accept as a reasonable working hypothesis -- there is sufficient supporting and insufficient refuting justification to accept the premise as a reasonable working hypothesis
- Reject as a reasonable working hypothesis -- there is sufficient
refuting and insufficient supporting justification to reject the
premise as a reasonable working hypothesis
- Not even wrong -- the premise is unevaluatable in principle, generally due to logical incoherence, or poor evaluative structuring
Note that none of these categories involve "proof". Criteria that call for "proof" of a belief are demanding an impossible standard fallacy.
Mapping these categories onto agnosticism, theism, atheism, and uncertainty -- the term "agnostic" was invented explicitly by Thomas Huxley to describe the "incoherent/not-even-wrong" category for theism, as an even stronger critique than "atheism". It is often inappropriately applied to "current uncertainty" relative to theism, but this is muddling of two very different categories.
All theists and atheists are and should be open to reconsidering their views -- all all people are on all empirical questions. There is no need to distinguish between "strong" or "weak" working hypotheses.
As almost all theist speculations have testable consequences, only people uninterested in the answer should be completely uncertain about theist claims.
Regarding Alice and the three questions:
- Alice believes that it is currently not possible to prove or disprove
the existence of God.
This is correct, but not significant. One cannot prove or disprove ANY empirical question. Proof is the wrong standard to use.
Using the correct standard of supporting or contradicting justifications, theist claims are evaluable, and if Alice cares about them, she ought to have collected the cited supporting and refuting justifications, and reached a judgement based on them.
- Alice believes that in the future there is a small possibility that
we may be able to prove or disprove the existence of God.
This is untrue, Alice has a false belief. Proof is impossible, as noted above.
Given the creative, generative, or miraculous powers that are assumed in theisms and theistic worldviews, IF the world has inexplicable divine silence, THEN that is actually significant contrary evidence against those theist views.
It is possible that some very very weak theist claims are still as yet unevaluable, and possibly this is what is being meant here.
- Alice is currently inclined to think that God does not exist.
This is just accepting the refuting case as a reasonable working hypothesis. Alice is an atheist.