|From:||Alex Shkotin <alex.shkotin@xxxxxxxxx>|
|Date:||Thu, 26 Jun 2014 16:19:46 +0400|
For a useful survey of the many issues about definitions, see
and have moved me back to 06.11.10 as follows
"Dear Prof. Swartz,
it is my pleasure to read your "Definitions, Dictionaries, and Meanings".
And reading section 8.4 "The Possibility of an Overabundance of Necessary and Sufficient Conditions"
I'd like to share one formal idea:
definition is part of a theory.
It is hard to give a good definition. It is unique to build a system of useful definitions.
And following Euclid, Book I, Definitions item 22, we have
“square” =df “a right-angled equilateral quadrilateral figure”
Formally we may substitute definitions of "right-angled", "equilateral", "quadrilateral" and paraphrase, then we get 8.4 #1.
All other are necessary and sufficient conditions and need a proof.
To assign a rank of "definition" to one of equivalent conditions is a privilege of a theory author:-)
2014-06-24 20:28 GMT+04:00 John F Sowa <sowa@xxxxxxxxxxx>:
Robert, Alex, et al.,
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Alex Shkotin|
|Next by Date:||Re: [ontolog-forum] Requesting Opinions on the Benefits of Predicates as Nodes, Mark H Linehan|
|Previous by Thread:||Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, John F Sowa|
|Next by Thread:||Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Barkmeyer, Edward J|
|Indexes:||[Date] [Thread] [Top] [All Lists]|