Re: Blank nodes, "leaning", and the LEM

On Wed, Mar 23, 2011 at 8:08 AM, Enrico Franconi <franconi@inf.unibz.it>wrote:

> I dare to disagree on the fact that any resemblance of RDF  to predicate
> logic is coincidental, accidental and entirely misleading. Please check:
>
...

>
>
> *From:* Glover,T,Tim,DES5 R
> *Sent:* 23 March 2011 12:38
> *To:* 'Gregg Reynolds'
> *Subject:* RE: Blank nodes, "leaning", and the LEM
>
>
> Greg,
>
> As  you pointed out in your previous email, any resemblance of RDF  to
> predicate logic is coincidental, accidental and entirely misleading. Blank
> nodes are *analogous *to existential variables in PL, but the systems are
> completely  different.
>
> Mmm, for the record I think I said RDF is not a logic calculus, which isn't
quite the same.  I think it does resemble a kind of logic, and such
resemblance is (I presume) by design, and useful.  But on the whole I would
agree that it is a bit misleading to characterize it as a fragment of a
logic.  At least that was my experience learning it.

-Gregg (NB: triple-g)