ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Prospects made into Customers and Vice Versa

 To: "[ontolog-forum]" Thomas Johnston Mon, 26 Oct 2015 22:43:33 +0000 (UTC) <637932993.3621553.1445899413107.JavaMail.yahoo@xxxxxxxxxxxxxx>
 John,I'll read your reference, but I think I'm fairly well conversant with the concept of intension.Is there any disagreement between us other than in terminology?Tom On Monday, October 26, 2015 3:49 PM, John F Sowa wrote: Tom,I hit SEND too soon.> What I think would be useful is a pair of terms to distinguish> "static sets" from "dynamic sets", and to relate the two concepts> in something like...No.  That would be contrary to every version of set theory.For infinite sets, there must be some predicate that specifiesmembership in the set.  For finite sets, you can always convertan enumeration to a monadic predicate:  P(x) = x=x1 or x=x2 or x=x3 or ... or x-xN.Therefore, you can always say that for any set S, there existsa predicate P such that x is in S iff P(x).> (ii) A dynamic set is a temporal sequence of static setsIt's much better to take a widely used term, such as 'type',which is common in computer science and other fields.In any programming language that specifies types, the definitionof a type is a monadic predicate.  During a computation, any typeyou specify would have a temporal sequence of sets at each stepof the computation.This terminology would be easy to explain to any programmer,and most people who do any work in applied ontology alsohave some knowledge of programming.For the distinction between intension and extension, I recommenda short comment by Alonzo Church.  He used it to talk about theintension/extension of functions, but you can also adapt it totalk about relations:    http://www.jfsowa.com/logic/alonzo.htmJohn _________________________________________________________________Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxxShared 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 ``` _________________________________________________________________ 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) ```