Re: [ontolog-forum] Fwd: Breaking News: Google supports GoodRelations

["Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>]

Here is a snippet from that page, with my underlining added:

HTH,

-Rich

 

Sincerely,

Rich Cooper

EnglishLogicKernel.com

Rich AT EnglishLogicKernel DOT com

9 4 9 \ 5 2 5 - 5 7 1 2

 

-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Patrick Durusau
Sent: Tuesday, November 09, 2010 5:41 PM
To: [ontolog-forum]
Cc: architecture-ecosystem@xxxxxxx
Subject: Re: [ontolog-forum] Fwd: Breaking News: Google supports GoodRelations

 

John,

 

On Tue, 2010-11-09 at 10:23 -0500, John F. Sowa wrote:

> On 11/9/2010 1:24 AM, Alex Shkotin wrote:

> > What do we need for our information systems to communicate properly?

> > Integration? Alignment? Unification? Information system education?

 

<snip>

 

> But first order logic was *discovered* independently by Frege and

> Peirce 130 years ago, and *exact* translation between their notations

> and all the modern notations for FOL is guaranteed.

>

> Note the word 'discover'.  Frege and Peirce did not *invent* FOL.

> My comment is that FOL was standardized by an authority that is

> even higher than ISO -- namely, God.  (Please note the Bible,

> John 1,1:  "In the beginning was the logos, and the logos was

> with God, and God was the logos.")

>

> Nobody has to learn FOL, because it's buried inside their native

> language, whatever it may be.  But some notations for FOL are less

> readable than others.  That's why I recommend controlled NLs for

> many purposes.

>

 

Well, but for a non-burning bush origin for FOL, see: Ferreirós, José

(2001), "The Road to Modern Logic-An Interpretation", Bulletin of

Symbolic Logic 7 (4): 441–484, doi:10.2307/2687794,

http://jstor.org/stable/2687794 .

 

FOL turns out to be as much a human enterprise as any other.

 

Hope you are having a great day!

 

Patrick

 

 

_________________________________________________________________

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

 

_________________________________________________________________
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    (01)