2019-06-04

all men are wise; no men are wise

6.4: relig/god/all men are wise; no men are wise:
"all men are wise; no men are wise."
these might seem to be opposites:
for all x, p(x);
for all x, not p(x);
but, the negation all x is some x are not:
not (for all x, p(x))
= for at least one x, not p(x));
and, the negation of no x is some x:
not (for all x, not p(x))
= for at least one x, p(x)).
. most would agree that neither is true:
what is true is that
some but not all men are wise.
. however here is how both statements
could be true, when taken together:
wisdom comes from the god;
ie, the prophets are wise;
and the god could make all men prophets;
ie, all men could potentially be wise;
but no man has the power to be wise:
that power comes from the god alone.

No comments: