[Top] [All Lists]

Re: [ontolog-forum] Endurantism and Perdurantism - Re: Some Comments on

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Fri, 03 Apr 2015 12:21:40 -0400
Message-id: <551EBE14.6070601@xxxxxxxxxxx>
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)

<Prev in Thread] Current Thread [Next in Thread>