On 4/2/2015 3:40 PM, Matthew West wrote:
> So how do you refer to a car without saying it is a car?  (01) 
Just say in English (or its translation to FOL):  (02)
 There is an x.  (03)
If you want to say more, add  (04)
 x has four wheels; x has a cabin that can hold from 1 to 8
 people; one of them is a driver; the driver can control
 the way x moves.  (05)
You can also, if you wish, say the following, but without assuming
any fixed definition for the term 'car':  (06)
 x is car.  (07)
The critical distinction is in the restrictions implied by
the system of logic and ontology. If you have a very tightly
restricted logic, it's impossible to say "driverless car".  (08)
With a less restricted logic, you can say anything you like.
If it causes a contradiction, you just delete one or more axioms
-- in this case, the axiom that a moving car shall have a driver.  (09)
John  (010)
_________________________________________________________________
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  (011)