 interpretation to comprehend the
analysis of &quot;quantifications&quot;, that is, quantified propositions.  In doing so
we recognize two additional aspects of logic that need to be developed, over
and above the material of propositional logic.  At the formal extreme there
is the aspect of higher order functional types, into which we have already
ventured a little above.  At the level of the fundamental content of the
available propositions we have to introduce a different interpretation
for what we may ca