[Top] [All Lists]

Re: [ontolog-forum] Semantic Systems

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Sun, 28 Jun 2009 19:50:18 -0700
Message-id: <20090629025102.62651138CF1@xxxxxxxxxxxxxxxxx>
<snip/>    (01)

JS>Please give me any simple observation statement (i.e., one that
you experienced *directly* without any intervening analysis).
My claim is that any simple observation statement can be translated
to FOL with only two logical operators:  existence and conjunction.    (02)

JS>You can refute my claim with just one observation.  But any
conclusions you may draw from multiple observation statements
don't count.  They're the result of further analysis.    (03)

JS>John    (04)

I observe Paul going to the water fountain.  Later, I observe Wanda going to
the same water fountain.  Since both occur in one work day, I consider that
one observation for today.  The meaning of the word "same" is critical here;
why should I think of that as    (05)

(And  ('goto 'Paul  'Water_Fountain)
        ('goto 'Wanda 'Water_Fountain))    (06)

instead of    (07)

(Or   ('goto 'Paul  'Water_Fountain)
        ('goto 'Wanda 'Water_Fountain))    (08)

-Rich    (09)

Rich Cooper
Rich AT EnglishLogicKernel DOT com    (010)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (011)

<Prev in Thread] Current Thread [Next in Thread>