|From:||William Frank <williamf.frank@xxxxxxxxx>|
|Date:||Fri, 24 May 2013 12:25:14 -0400|
As an aside, Is there not also equally social agreement as to what the traffic laws **are**? (the scope of applicability of a law seems to me to be be the same category of thing as the statement of the law, independent of domain of control, and without the statement of the scope, the law itself seems to me to be incomplete.)
More to the point, for me, what are the practical implications of limiting existential quantifiers to a particular category of the things we talk about?
In other words, how does it *help* to not let people say, 'there exists a rule, there exists a color, there exists a category of binary relations, called symetric relations? (Or, am I mistaken, and this is all OK -- but if it IS OK, then what is not OK?).
I believe that some people seem to think that if a computer cannot decide if a statement is true or false, then it should be disallowed, so they do not like anything but restricted kinds of first order logic, so I think I understand the nature of their view, as a practical matter, (even though I think that this view is pernicious). But you seem to have a theory about ontological languages that I just can't see what it will do. ( I am not sure whether you choose to identify 'individuals' based on a relationship between those things and phenominological experience or between them and physics (which do seem to me to be miles apart, even though both are hard to grasp), but however you pick out the individuals from the non-individuals, how does it make people's understanding and description of the world easier and different from what it would be otherwise?
On Fri, May 24, 2013 at 11:17 AM, Matthew West <dr.matthew.west@xxxxxxxxx> wrote:
This email is confidential and proprietary, intended for its addressees only.
It may not be distributed to non-addressees, nor its contents divulged,
without the permission of the sender.
_________________________________________________________________ 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] Spatial Extent of Abstract Entities?, Matthew West|
|Next by Date:||Re: [ontolog-forum] Spatial Extent of Abstract Entities?, Mike Bennett|
|Previous by Thread:||Re: [ontolog-forum] Spatial Extent of Abstract Entities?, Matthew West|
|Next by Thread:||Re: [ontolog-forum] Spatial Extent of Abstract Entities?, Matthew West|
|Indexes:||[Date] [Thread] [Top] [All Lists]|