[Top] [All Lists]

Re: [ontolog-forum] First-Order Semantics

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Fri, 15 Jun 2007 22:22:40 -0500
Message-id: <67C1C1A1-37DB-4917-8FF9-01AC46362CA9@xxxxxxxx>
On Jun 15, 2007, at 8:02 PM, Christopher Menzel wrote:
> On Jun 15, 2007, at 6:39 PM, Waclaw Kusnierczyk wrote:
>> Christopher Menzel wrote:
>>>>> There are (as of course John and Pat know) 2^card(D) relations  
>>>>> over
>>>>> any set (taking relations here to be sets of n-tuples).
>>>> Only if n=1.
>>> Only if D is finite.
>> My point was that a relation over a single set is a set of 1-tuples;
> I am not following you.  In standard, classical logic and set theory,
> an n-place relation over a set...    (01)

a set S    (02)

> ...is a set of n-tuples of members of S.    (03)

-chris    (04)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (05)

<Prev in Thread] Current Thread [Next in Thread>