Re: The logic of atheism

Paul Holbach wrote:

There are propositions.
The many propositions there are are /all/ propositions there are. The
many propositions are all present in their entirety. The entirety of
propositions is determinate but neither unified nor unifiable, and,
hence, not a set or class.

The many (true and knowable) propositions there are aren't one thing
but many things.

Graham Priest writes:

"It would seem to be an obvious and brute semantic fact that whenever
there are things of a certain kind there /all/ of those things."

[Priest G. 2002. /Beyond the limits of thought/. 2nd ed. Oxford: Oxford
UP. (280)]

I think he's absolutely right here.

If there are any Xs at all, then the Xs there are are /all/ Xs there
are, that is, then the Xs coexist /in their entirety/.
If not all Xs could coexist, there would be some Xs that do not belong
to the other coexistent Xs, which thought seems quite absurd.
(For example, if not all butterflies could coexist, then there would be
some butterflies that do not belong to the other coexistent
I tend to believe that it is /necessary/ for absolutely all existent
things of a certain kind to coexist in their entirety, with there
impossibly being any "runaway" of the same kind.