[FOM] Foundations and Frege

Roger Bishop Jones rbj01 at rbjones.com
Wed Oct 15 02:23:36 EDT 2003

On Tuesday 14 October 2003  8:38 pm, Alasdair Urquhart wrote:

> The idea of logical types itself is a descendant
> of Frege's hierarchy of functions.

Can you tell us on what evidence this conclusion
is based?

Roger Jones - rbj01 at rbjones.com
   plain text email please
   mail with executable attachments will be discarded

More information about the FOM mailing list