Transcribed and edited by Thomas Ploug and Peter Øhrstrøm. Prior, A.N
Letter from A.N. Prior to Saul Kripke, Oct. 27, 1958University of Canterbury Christchurch, C.1 New Zealand 27/10/58 Dear Kripke Thank you very much for your letter of the 13th. Isnt the deduction theorem If P, . . ., q, then P, . . . Cpq implicitly proved for S4 in Barcans paper in JSL XI (1946) p. 117?If your postulates are sufficient for C4, it follows easily that Lemmons CqCpp, CCpqCCqrCpr, CCpCpqCpq are also sufficient. Your axioms follow easily from these, and I presume you can do the converse (I, I must confess, can only do it with your third axiom replaced by its lemma, i.e. the usual Frege CCpCqrCCpqCpr. Lemmon once had this sort of variant of a conjectural C5 base). Yes, it is certainly my contention that you can do things with a tensed logic that you cant with a tenseless. Id agree, though, that you get into trouble if you identify the earlier-later relation of relativistic physics with the earlier-later relation defined in the ordinary way in terms of tenses (p earlier than q as it is, has been or will be that KKPpNpq); and would conclude that they are not in fact the same relation, though there is some sort of connection between them. As for what kind of logic quantified discourse requires, that seems to me to depend on how much this term covers. There are areas of science within which certain questions arishing out of ordinary tense-distinctions arent answerable, and in which it is better to use a language in which such questions cannot even be stated; and I take it that the moral of Special Relativity is that the theory of light-propagation is such an area.In your paragraph about this you have a sentence beginning And if we accept indeterminism
, but I do not see how indeterminism can be expressed in a tenseless language at all. For indeterminism asserts a certain difference between the future and the past (that one has always APnpPnNp, but not always AFnpFnNp), which is not at all the same thing as a difference between the earlier and the later. And it seems to me that if any particular matter is at any time undetermined, that that is something that it is in itself and not just with respect to some observerI cannot make any sense out of the idea of a thing being determined to one observer and undetermined to another (it can, of course, be within the reach of one agents influence and not of anothers; but that is a different matter). And since a thing can only be undetermined if it is not-yet-past, this also must be something which it is in itself and not just with respect to some observer.I would say about this, in fact, what Gödel says about existence in Footnote 5 of his very important contribution to the Schilpp Einstein volume; though my conclusions are the opposite of his. Thank you very much for drawing my attention to this t-model material in Curry. Yours sincerely Arthur N. Prior
Edited by Thomas Ploug and Peter Øhrstrøm. An earlier edition has been published in Synthese(2012) 188, p. 372 ff. The correspondence between Prior and Kripke has been discussed in Thomas Ploug & Peter Øhrstrøm: Branching Time, Indeterminism and Tense Logic. Unveiling the Prior-Kripke letters, Synthese (2012) 188: 367-379. -
We are very grateful to professor Saul Kripke for kind co-operation and for giving access to the two letters he received from Prior in 1958.
PS: That the McKinsey matrix is not characteristic for T was apparently noted a couple of years ago in T. Smileys (Cambridge) doctoral thesis. But Smiley hadnt a matrix that was characteristic for T (or for S4). An odd point I notice about the tense-logical interpretation of your trees is that the passage of time, represented by the movement to new levels, is discrete. I dont know whether this feature is eliminable; I have sometimes myself wondered whether the notion of alternative futures presupposes the discreteness of time. A. N. P.