On Jun 28, 2009, at 9:50 PM, Rich Cooper wrote: (01)
> <snip/>
>
> 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.
>
> 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.
>
> JS>John
>
> 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
>
> (And ('goto 'Paul 'Water_Fountain)
> ('goto 'Wanda 'Water_Fountain))
>
> instead of
>
> (Or ('goto 'Paul 'Water_Fountain)
> ('goto 'Wanda 'Water_Fountain)) (02)
Because you saw BOTH Paul AND Wanda. If someone were to ask you, did
you see Wanda? you would say, yes. Similarly if they asked you about
Paul. Both of the components of the compound are true. That is exactly
why it is a conjunction rather than a disjunction. (03)
Pat Hayes (04)
>
> Inquisitively,
> -Rich
>
> Sincerely,
> Rich Cooper
> EnglishLogicKernel.com
> Rich AT EnglishLogicKernel DOT com
>
>
> _________________________________________________________________
> 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
>
>
> (05)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
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 (07)
|