Re: Function and Variable: fatal problem?

John Jones <jonescardiff@xxxxxxx> writes:

On Dec 26, 8:06�pm, Peter_Smith <ps...@xxxxxxxxx> wrote:
On Dec 26, 7:54 pm, John Jones <jonescard...@xxxxxxx> wrote:

Take the logical proposition:

John loves Mary

Here, John and Mary are distinguished by the function 'loves'. 'Loves'
distinguishes John and Mary.

Why?? "John loves Mary" is quite consistent with "John is none other
than Mary" -- maybe he loves him/herself.

The problem won't go away with that interpretation. I still need to
provide a function that distinguishes variables, whether synonymies or
not.

they're not variables, though, any more than "John Jones"
in "John Jones posts to s.l" is a variable ...

--
Alan Smaill
.