Issue 98064 | Editor: Erik Sandewall | [postscript] | ||
20.8.1998 |
|
|||
Today | ||||||||||
The discussion between Eugenia Ternovskaia and the authors Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem continues. It has proceeded as follows: 11.7 Eugenia 17.7 The authors 27.7 Eugenia 5.8 The authors 20.8 EugeniaFor those who have not followed the discussion in detail, an important part of it (especially in the latter messages) has concerned the relationship between causal rules and state constraints, which provide two different perspectives on ramification. One specific issue has been whether a causal rule involving more than one successor state is to be interpreted as a state constraint. -- The most recent contribution to the discussion follows below. In the debate about the ontologis of time, Erik Sandewall today answers to Jixin Ma's contribution from 31.7 on that topic.
| ||||||||||
ETAI Publications | ||||||||||
Discussion about received articlesAdditional debate contributions have been received for the following article(s). Please click the title of the article to link to the interaction page, containing both new and old contributions to the discussion.
Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem
| ||||||||||
Debates | ||||||||||
Ontologies for timeErik Sandewall:Dear Jixin, In ENRAC 27.7 (98059) I wrote and you answered:
Now to the examples. I will take for granted that we talk about timepoints and intervals that are related along the lines of Pat's core theory, only with the adjustment that intervals are not entirely determined by their endpoints: there can be up to four intervals for each pair of endpoints, because you allow these intervals to be either open or closed at each end. (The interval will then be defined as closed if there exists a point beginning resp. ending it, otherwise it's open). You refer to an example by Galton where a Green light and a Red light both switch On at the same time. This is somewhat counterintuitive - I would have thought that one goes Off when the other one goes On - but that doesn't matter. You propose the following scenario description for the case where we have decided to consider the Green light to be On at the dividing instant, and we have decided to keep that open for the Red light:
My two examples come out in similar ways. For example A, you write:
For example B, you write:
The bottom line is, therefore, that it is futile to try to impose noncommitment for dividing instants on the level of the models and by using nonstandard time domains such as "punctuated time". In those cases where we wish to express that we don't know or don't care whether a certain proposition is true or false at a point of change, it's sufficient to use the multiple models approach while admitting "standard" time (integers or reals, by preference). Then we don't need any theory of time at all besides high-school or (at most) college math. All of this presumes of course standard two-valued logic, where models can only assign the truth-value true or false. You may obtain another perspective by going to e.g. three-valued logic, where everything can be undetermined besides true or false. But, as H.C. Andersen once said, that is another story.
|