[Scl] Re: Logic, Topic Maps, and RDF

[John F. Sowa]

Jon,

No problem:

 > Let's go back to the question you skipped:
 >
 > JA: When you say "r(x, y)" is a false statement,
 >     this is to say that r is false of <x, y>.
 >
 > Do you really not see a problem here?

The statement "r(x,y)" can be translated to the
following statement in English:

     "r is a relation and r is true of x and y."

That statement is false.

 > Are you saying that things like "Joe_SixPack(x,y)"
 > would be false statements?

Yes, because the ordered pair (x,y) is not in
the extension of Joe_SixPack.

John