[Top] [All Lists]

Re: [ontolog-forum] Next steps in using ontologies as standards

To: paola.dimaio@xxxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Sun, 25 Jan 2009 15:58:58 -0600
Message-id: <ACBDA552-539B-4531-B65A-3155AC37988A@xxxxxxx>

On Jan 25, 2009, at 3:41 PM, paola.dimaio@xxxxxxxxx wrote:    (01)

> Hi Pat
> . Natural language is not a formalism.
> Kindly provide your definition for formalism, so that we can
> put your authority in the right context
>    (02)

I was using the term in a linguistic/philosophical context, to mean a  
formal language or notation, the archetypical example being FOL.  
Formal in this sense means that the syntax is exactly specified in a  
formal grammar, which for these purposes can be defined to be a  
context-free EBNF grammar, though other grammar notations are  
acceptable. English, like all other natural languages, has never been  
formalized in this sense and never will be, because it is in a  
constant state of dynamic change.    (03)

PatH    (04)

> thanks!!!
>    (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)

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