Matthew, (01)
I like the simplicity of your explanation. In such algebraic
systems as SQL and Lisp, process (functions) can be modified by
other processes. Other languages must construct an interpreter
module to do the same thing, but it can be done, and has been. (02)
So the technology exists to model thingies as combined process
and object, but it has seldom been used in engineering
applications because of the frailty of automatically generated
processes. (03)
That means that, in philosophical terms, if you can find a way to
ensure perfect, correct models where objects and processes are
equivalently represented, you can use a common software substrate
to interpret the modules. (04)
So far, nobody has been able to prove programs correct on a
useful scale. If there have been new developments in proof of
correctness that I am not aware of, please let me know. Until
then, we are stuck with writing software according to sloppy
English specifications. (05)
Sincerely,
Rich Cooper,
www DOT EnglishLogicKernel DOT com
Rich AT EnglishLogicKernel DOT com
( 9 4 9 ) 5 2 5-5 7 1 2 (06)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of
Matthew West
Sent: Saturday, March 21, 2015 11:30 AM
To: Avril.Styrman@xxxxxxxxxxx; '[ontolog-forum] '
Subject: Re: [ontolog-forum] Endurantism and Perdurantism - Re:
Some Comments on Descriptive vs. Prescriptive Ontologies (07)
Dear Avril,
A couple of wrinkles on what you are saying here. (08)
Quoting Pat Hayes <phayes@xxxxxxx>: (09)
> It seems simply obvious to me that a fruit's ripening is a
temporal
> part of the fruit. I genuinely do not understand how anyone can (010)
> disagree with this. (What else would it be? *Where* else would
it
> be?) But in any case, for sure, I want to be able to apply the
> language of ripening to the name denoting the fruit, without
receiving
> error messages telling me I have violated someone's peculiar
ideas
> about things not being processes. (011)
If I understand correctly, Pat is talking about the very basic
and sufficient ontology where fruit denotes a sequence of
particulars which are realized in the time interval [1 n].
[MW>] There are two ways (at least) that 4D has been developed in
philosophical circles.
The first (which Pat and I are using) has physical objects
extended in time as well as space, they can have temporal parts
(or states) that are all of the physical object spatially, but
part of it temporally. These can be as thin (temporally) as you
like. (012)
The second says that there are an infinite number of slices, one
for each point in time, and that these make up the physical
object.
This second approach is not computationally attractive, but this
seems to be the one you are describing above. (013)
The fruit during the interval [a b] is ripening, and during a
later interval [f g] it is e.g. rotting, where [a b] and [f g]
are sub-intervals of [1 n], and 1>a>b>f>g>n.
This way the continuant-occurrent dichotomy can be derived as a
definition: a particular at one time is called an occurrent; a
sequence of two or more particulars at two or more consecutive
times is called a continuant.
[MW>] Not really. An occurrent is the same occurrent at each
point in time. Here you are saying there are different occurents
at each point in time (it seems to me).
I would say that there are two states of the fruit that are the
intersection of the piece of fruit and the intervals you mention. (014)
Regards (015)
Matthew West
http://www.matthew-west.org.uk
+44 750 338 5279 (016)
_________________________________________________________________
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 (017)
_________________________________________________________________
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 (018)
|