Re: [ontolog-forum] language vs logic - ambiguity and starting withdefin

[Alex Shkotin <alex.shkotin@xxxxxxxxx>]

Ferenc,

why do you think that in commonsense knowledge domain definitions of m-w need any comment?

I mean - what is a goal of your comments? make m-w definitions more clear?
but I think these are clear enough?
or what?

In math logic domain there is a kind of definition - an abbreviation when they introduce new symbol saying for example:

definition

t≤s denotes t<s or t=s

Alex

2010/9/18 FERENC KOVACS <f.kovacs@xxxxxxxxxxxxxx>

Alex,

The only person I am citing is Swartz, from his lecture I copied from theri website soem time ago and is available as htlm file on my computert. oif course I can send it to you in full, should it not be availeble on the net any more.His lecture has a lot of morale to realize

 

As for using merriamwebster, or any other source (there is a lot of literature on it), yes, I could have done that. here are my comments on the entry there

 

a : a statement expressing the essential nature of something

statement (message) with a predicate (including a verb) including a property

where message is an object composed of another object (such as noun prase) (refering to either something existing or non existing) displaying its properties ("the essential nature") - obviously a referent, not a word (meaning)

b : a statement of the meaning of a word or word group or a sign or symbol <dictionary definitions>

this is an equivalence relation displayed with a word, etc.(headword, entry)  on the left side of the operation symbol with "meaning" (a debated issue) on the right.

c : a product of defining

Very much agreed

 

Ferenc

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