Re: <sandro> PatHayes, can you formally define g-box for us?

On Thu, 13 Oct 2011 08:50:27 +0100, Ian Davis <ian.davis@talis.com> said:

    iand> This is a very interesting formulation of the web
    iand> architecture. More generally one might say "when an IRI
    iand> identifies a resource that IRI then also denotes the state
    iand> of the resource"

I find it hard to see how to wiggle out of mentioning time in the same
breath as "denote" but maybe that's because of some lack of formal
background in logic or philosophy. Does this mean that to identify a
resource means to denote all possible states of that resource at all
times in the past and future? Or in other words can the IRI denote
more than one state of the resource at the same time? Or does "denote"
require an observer, the agent doing the dereferencing thinks that the
IRI denotes state s because that's what they got with an HTTP GET?

Sorry if this is muddy thinking, not enough coffee yet.

Cheers,
-w

Received on Thursday, 13 October 2011 08:39:15 UTC