Re: Guessing?

From: paul c <toledobysea_at_ac.ooyah>
Date: Tue, 08 Jul 2008 18:12:03 GMT
Message-ID: <T5Ock.65064$Jx.50728_at_pd7urf1no>

Bob Badour wrote:
> paul c wrote:

>> Since when does a predicate (ie., a conventional FOL predicate) 
>> mention a relation name?

> Usually when discussing the composition operator. f(g(x)) sort of thing.
>> (Surely relation names aren't anything but an implementation device.)

> I don't think I entirely agree.

Is the mention of g(x) not equivalent to enumerating g(x)? Received on Tue Jul 08 2008 - 20:12:03 CEST

Original text of this message