[FOM] Re: Understanding universal quantification

John Goodrick goodrick at math.berkeley.edu
Sun Feb 23 16:34:59 EST 2003


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



More information about the FOM mailing list