Re: Guessing?

From: paul c <toledobysea_at_ac.ooyah>
Date: Tue, 08 Jul 2008 18:12:03 GMT
Message-ID: <T5Ock.65064$Jx.50728@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 - 13:12:03 CDT

Original text of this message