Bob Badour wrote:
> David Cressey wrote:
>
>> "JOG" <jog_at_cs.nott.ac.uk> wrote in message
>> news:1154262656.521112.118530_at_b28g2000cwb.googlegroups.com...
>>
>>> This discussion has illuminated me, and I would like to share that. A
>>> row is of course merely a proposition,
>>
>>
>> A small but important (IMO) correction:
>>
>> A row contains a proposition. That's not quite equivalent to saying
>> that a
>> row is a proposition.
>
>
> Actually, containment implies something physical. A row represents a
> proposition.
Slightly different language and a bit more qualified: a tuple
represents a true proposition. Of course, discussion along
this line necessarily includes (unfortunate language, perhaps)
candidate tuples and evaluation by the system that does not
result in an antitheorm.
Received on Mon Jul 31 2006 - 21:55:11 CDT
