W3C home > Mailing lists > Public > public-rdf-comments@w3.org > February 2013

Re: Refers Or Denotes?

From: Henry Story <henry.story@bblfish.net>
Date: Wed, 13 Feb 2013 18:50:57 +0100
Cc: Kingsley Idehen <kidehen@openlinksw.com>, public-rdf-comments@w3.org
Message-Id: <53E01637-DED1-4C04-909B-A6C7A6C5147C@bblfish.net>
To: Henry Story <henry.story@bblfish.net>

On 13 Feb 2013, at 18:46, Henry Story <henry.story@bblfish.net> wrote:

> On 13 Feb 2013, at 17:52, Kingsley Idehen <kidehen@openlinksw.com> wrote:
>> On 2/13/13 8:23 AM, Henry Story wrote:
>>> I have updated section 4 of our spec to use the language, and to show the synonymy relation between
>>> denotes and refers, which seems to be accepted practice in the philosphy literature. The illustration here shows this clearly now:
>>> https://dvcs.w3.org/hg/WebID/raw-file/tip/spec/identity-respec.html#overview
>> For sake of uniformity, would it be possible for you to add "(perception)" below "sense" in your illustration at: https://dvcs.w3.org/hg/WebID/raw-file/tip/spec/img/WebID-overview.png ? .
>> Reasoning: to illustrate how data can be perceived through information (aka. data in perceptible context) .
> sense/perception would rather make people think of the senses: sight, touch, hearing, etc... This would require bringing in an agent in the picture whose senses we are speaking of. That would be a wholly different topic.
> In the philosophy/logic literature from Frege onwards sense is what determines the meaning of a name. So if one wanted symmetry one could have "sense (meaning)" I think. The general intuition is that the meaning of a name is what determines its reference.  A bit like a dictionary helps you get the meaning of a term you don't know.

I mean "sense is what determines the reference of a name" of course. I should have then added: "sense is also known as meaning"... The rest follows better then. Sorry.

> Henry

Received on Wednesday, 13 February 2013 17:51:32 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:59:31 UTC