. Here all values of
(i.e. all values for which "
is human" is significant, whether true or false) are relevant, and not only those that in fact are human. (This becomes obvious if we consider how we could prove such a statement to be false.) Every assertion about "all" or "some" thus involves not only the arguments that make a certain function true, but all that make it significant, i.e. all for which it has a value at all, whether true or false.
We may now proceed with our interpretation of the traditional forms of the old-fashioned formal logic. We assume that
is those terms