W3C home > Mailing lists > Public > semantic-web@w3.org > May 2017

Re: I am.

From: Lynn Andrea Stein <las@olin.edu>
Date: Mon, 22 May 2017 10:50:49 +0000
To: Peter Brooks <peter.h.m.brooks@gmail.com>
CC: Renato Iannella <ri@semanticidentity.com>, Tim Berners-Lee <timbl@w3.org>, SW-forum Web <semantic-web@w3.org>
Message-ID: <4AD6FAED-9741-4B61-B198-B6822CD7B082@olin.edu>

> On May 22, 2017, at 4:20 AM, Peter Brooks <peter.h.m.brooks@gmail.com> wrote:
> 
> Doesn't it make sense to express your point in logic, before
> expressing it in JSON, or other, notation?
> 
> ∀q, q ∈ { statements made by H}, stated(q,H).
> p="∃x, x ∈ { human beings} s.t. x = me"
> me ∈ { human beings} ⋀ stated(p,me).

Unless me (in these sentences) has some indexical property I am not appreciating, how is this distinct from rendering "you are",  "Peter is", or "someone is"?

Still, an interesting rendering of being as human-plus-self-asserting one's humanity, vs.Tim's authorship, Mark's (and Descarte's) thinking, and Simon's being-a-Pat-Hayes :-)

- Lynn, who probably is.

Received on Monday, 22 May 2017 10:51:25 UTC

This archive was generated by hypermail 2.3.1 : Monday, 22 May 2017 10:51:27 UTC