some more responses to pc's other comments:
> >The bit about a name having to have a property to be used comes from the
> >fact that names are quantifiers (this cuts the grammar size roughly in
> >half, eliminating a vast array of duplicates) and quantifiers are all
> >restricted (second order relations between sets). Taking the properties
> >to be a haeceity was a mistake I remember arguing with (probably) Gaifman
> >back when I was studying to be a Nyayika and so a believer in
> >visheshas. Even without vishesha, using this as haeceity seems to me a
> >bad idea, since it makes transworld comparisons (ctfs like "If Socrates
> >were a Seventeenth century Irish washerwoman") impossible to deal with
> >naturally
Unfortunately this went over my head. If anyone can explain it to me
at my level, I'd be interested.