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)
|