|From:||William Frank <williamf.frank@xxxxxxxxx>|
|Date:||Sun, 13 Jul 2014 22:37:23 -0400|
On Wed, Jul 9, 2014 at 12:10 PM, Frank Guerino <Frank.Guerino@xxxxxxxxx> wrote:
Frank, Category Theory is an abstract branch of mathematics, quite distinct from the subject of categorization and classification. (See Wikipedia on the subject).
Well, I was taught and that predicate is a part of a sentence in indo-european languages, a syntactic category, a subject and a predicate making up a sentence. But each predicate matches the semantic category of property, (or unary relation). Predicates can be things like 'is someone's freind', 'has a dog that is eating a large bone', etc.
And, for each such predicate, there is a of course property so definable.
And, one of the things you can do with a property is use it as a classifier, so that applied to a thing, the thing is classified as having the property or as not.
All of these statements border on the tautological, taught by applying logic to the meanings of the words used, rather than taught by experience.
Again, rather than this being a matter to learn from experience, this is just a basic mathematical transformation.
_________________________________________________________________ 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] IPR issues [was: Predicate Collections for Semantic Relationships], Ron Wheeler|
|Next by Date:||[ontolog-forum] ODLS 2014: NEW DEADLINE (strict!): July 22 - 3rd Call for Papers (Workshop on Ontologies and Data in Life Sciences, Oct 7-8, Freiburg i.Br., Germany), frank . loebe|
|Previous by Thread:||[ontolog-forum] Are Predicates a Form of Categorization/Classification?, Frank Guerino|
|Next by Thread:||[ontolog-forum] Precursors of Category Theory, Jon Awbrey|
|Indexes:||[Date] [Thread] [Top] [All Lists]|