Re: Objects and Relations

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Mon, 26 Feb 2007 14:36:41 GMT
Message-ID: <ZfCEh.1515$PV3.21675@ursa-nb00s0.nbnet.nb.ca>

Alfredo Novoa wrote:

> On 24 feb, 16:23, Bob Badour <bbad..._at_pei.sympatico.ca> wrote:
>

>>>Class Instantiation = Object <--> Scalar Value or Scalar Variable
>>
>>Actually, class instantiation maps to the instantiation of a unary
>>predicate. The RM has n-ary predicate instantiation, which OO lacks
>>entirely.

>
> Well, that's what I meant with "Scalar".

I find it worthwhile to emphasize that logic has instantiation too and that it deals with n-ary predicates (not only unary predicates.) Without expressing that, how will the folks stuck in the OO mindset learn what they lose?

One does not instantiate a value because values just are. One instantiates a predicate by binding values to it.

Had you started with Class Instance = Object, I doubt I would have remarked; even though, the same remarks apply. Received on Mon Feb 26 2007 - 08:36:41 CST