Wednesday, April 3, 2013

Metric temporal logics and induction

Prior's metric temporal logic comes with two sentential operators, Pn and Fn, which respectively mean something like "n ago in the past" and "in n in the future", where n is a duration. On Prior's metric logic, omnitemporal universal quantification becomes a triple conjunction. Thus,

  1. Always, all ravens are black
becomes:
  1. (x)(RxBx)&(n)Pn(x)(RxBx)&(n)Fn(x)(RxBx),
i.e., all ravens are black, all ravens have always been black and all ravens will always be black. But this is unsatisfactory. Suppose my data is that all ravens have always been observed to be black. This data does not significantly support the first and third conjunct of (2), but only the second. To conclude to (2) is like trying to draw inferences about jade, which is in fact a disjunction of jadeite and nephrite, on the basis of observations of jadeite alone. Consequently, if Prior's metric temporal logic captures fundament temporal structure, induction from past to future is dubious indeed.

Suppose now that time is in fact discrete. Then one could use a temporal logic with only one sentential operator @n, where n is an integer, which means "in n moments". Since n could be negative, zero or positive, this can be used to talk about the past, present and future. And (1) becomes:

  1. (n)@n(x)(RxBx),
an elegant and simple hypothesis that it is reasonable to take to be supported by the fact that all pastly observed ravens were black.

But logic shouldn't be tied to how things actually are. So this temporal logic is only plausible if time not only is (which is controversial enough) but must be discrete. And that would be very controversial.

Could one get this temporal logic working if time weren't discrete? One would need some way of measuring temporal distance that would allow distances to be negative (past), zero (present) and positive (future). Fixing a unit system, say seconds, makes it easy to do that. But there are three problems with such an approach. First, logic should not be dependent on a unit system. Second, temporal logic should apply in all worlds with time, while all the units of time (Planck times, seconds, etc.) that we have in our world are dependent on the particular laws of nature (just look at how a Planck time or a second is defined). Finally, a third problem is that if times ranged over, say, the real numbers, then the system wouldn't work in worlds with a non-Archimedean timeline.

One could, however, try the following move. The basic tense logic operator is @(n,u) where n is a real number and u is a duration, and we can read it as: in n us. Then (1) becomes something like:

  1. (n)(u)@(n,u)(x)(RxBx).
This even works in non-Archimedean timelines—u could be an infinitesimal or infinite duration. But I think there is a difficulty. All our observations of past black ravens can be explained by:
  1. (u)@(−1,u)(x)(RxBx),
i.e., the claim that all ravens have been black, which is just as simple as (4), but less committive. Why not go for (5) instead of (4)? Induction is still in danger. Besides, all of this metric time stuff is going to be a failure in worlds where there is no metric for time.

So if presentism is true, our best bet for an induction-friendly metric temporal logic is if time is discrete.

What if eternalism is true? Then our most plausible temporal logic is a non-metric one with an operator like #t, which says that something is true at t, where t is a possible time. Our omnitemporal quantification (1) becomes:

  1. (t)(Time(t)→#t(x)(RxBx)),
where Time(t) says that t is a time of the actual world. Could a presentist endorse (6)? I think so. But I also think there would be a pressure on the presentist to explain Time(t) as something like a triple disjunction: t is a past time or t is the present time or t is a future time. Certainly, that's how it will have to look for Crisp-style ersatz times. And now we have the problem of induction again, because plausibly our observations should be taken instead to justify belief that:
  1. (t)(Past(t)→#t(x)(RxBx)).

But perhaps the presentist could explain Time(t) tenselessly. Maybe: Time(t) if and only if #t(0=0). (This won't work on Crisp-style ersatz times. But it might work for times that are durations from a beginning--assuming there has to be a beginning.) I.e., t is a time of the actual world if and only if something (and what better candidate than a tautology?) is true at t. Without the triple disjunction in the definition of an actual time, we now have some hope.

All that said, I doubt that a non-metric #t operator with a tenseless and changeless definition of Time(t) will be attractive to the presentist. For I think the typical presentist wants truths about what happens at different times to be grounded in tensed truths, something like in Prior's metric temporal logic.

Note: The metric logic renderings also need something that says that a given n isn't out-of-range (before a beginning of time or after an end of time).

7 comments:

Michael Gonzalez said...

I'm trying to wrap my head around this one.... For example, if (3) is said where n is a future period of time, how is it any more valid to say that (Rx→Bx)? You can say (3) about any past period, but the problem with reasoning inductively into the future seems to exist just as much with (3) as it does with (1).

Induction seems to me to be best approached in a Bayesian way with regard to probabilities that x will have y property given the timeframe in which we've observed that all x's have y. But, to make a definite statement like (1) seems to be more a matter of definition (viz, "that ravens are black is included in the definition of 'raven' right along with being birds, and so any non-black bird is by definition not a raven").

Alexander R Pruss said...

Well, with (3) it's just an ordinary kind of induction over times. We have reason to think @n(Rx→Bx) holds for many values of n. That makes it plausible to think that it holds for all n.

Though one might worry about the fact that you shouldn't go from a proposition being true at all negative n to a proposition being true at all n.

Michael Gonzalez said...

I think one should be very hesitant to inferring from all negative n to all n. But, I don't think the problem is alleviated by simply referring to "points in time" on an equal playing field (negative/positive distinction notwithstanding), versus just saying (2). Indeed, I don't really see the relevant difference between the two, in the case of the ravens.

I'm of the opinion that a Bayesian approach (whether presentism holds or not) should be used for all inductive reasoning. We could take "I" to be the proposition that ∀x(Rx→Bx). Then, if all previously observed ravens (all ravens at negative n) have been black, we can call that observation O. So the P(I|O) is very high.

Alexander R Pruss said...

But if presentism or growing block is true, the difference between the times could be really enormous.

Dagmara Lizlovs said...

" Thus, Always, all ravens are black becomes: (x)(Rx→Bx)&(n)Pn(x)(Rx→Bx)&(n)Fn(x)(Rx→Bx), i.e., all ravens are black, all ravens have always been black and all ravens will always be black. But this is unsatisfactory. Suppose my data is that all ravens have always been observed to be black. This data does not significantly support the first and third conjunct of (2), but only the second."

Here we go again. There is a reason I post on this blog with a white raven for an avatar. It simplifies arguments likes these.

Michael Gonzalez said...

A presentist could just as easily say "for the past several years, all observed ravens have been black", couldn't he?

Alexander R Pruss said...

Sure, and the natural conclusion to draw is that for the last several years, all ravens were black. :-)