<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)
Inquisitively,
-Rich (09)
Sincerely,
Rich Cooper
EnglishLogicKernel.com
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)
|