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_at_ursa-nb00s0.nbnet.nb.ca>
>
> Well, that's what I meant with "Scalar".
Date: Mon, 26 Feb 2007 14:36:41 GMT
Message-ID: <ZfCEh.1515$PV3.21675_at_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 - 15:36:41 CET