[FOM] Re: Understanding universal quantification

[John Goodrick]

On Sat, 22 Feb 2003, Steve Newberry wrote:

> The *semantic* and ontological analyses of quantification appear to be of more
> recent occurrence.

Not much more recent, though; Frege introduced a notation for
quantification, to be interpreted objectually (not substitionally), in his
_Begriffschrift_ in 1879.

I had thought, before reading your message, that Frege was the first to
introduce quantifiers into formal logic.  I wonder if Frege was aware of,
or influenced by, this work of Jevons?

-John