Editor’s note: The letter is in the Prior archive box 3 at the Bodleian Library in Oxford and has been transcribed and commented by David Jakobsen and Martin Prior.
Letter from J.J.C. Smart to A.N. Prior,
May 16, 1955
Thnks for your letter. The experts here didn’t think tht the erythem nodosum
possibly come from Mary and the children
the time ws too long go. I’m
wfully sorry I didn’t
mke tht quite cler; I don’t like the thought of Mry worrying. I lso hd cht with the professor
here (strictly etween him nd me, nd the fct tht I hd it strictly etween you nd me; wouldn’t
want to [affect]
ibilities of the practicing medical men!) He was reassuring. He said
most people hve hd this without erythem nodosum nd if I hdn’t hd the letter I’d proly
had known [sic] about the lung
enlargement. He agrees with your man about present
dangers for Mary and the children. What a pity I cancelled my plane booking. It will be too late
now, nd perhps it is wise not to come on other grounds. I’ll e pretty usy in August, if ll goes
well, without conferences + ANZAAS
t I must try and se
e if I can sl
ip over to Christchurch for a
few days at any rate then. (Especially if my X
ray is favorable.) I do wish I could see you more
these big distances are.
respect for your superior judgment I wish you weren’t
lecturing on Time stuff for your
John Locke lecturers. As I see it the choice (after
) of Quine, Wang
matl. Logic. I
really wish your John Locke lecturers were on Modal Logic, many
valued systems, etc., including
your stuff on
Ł in J.
and so on.
It is so aesthetically pleasing and
it is fundmentl sort of stuff. With your time stuff you’ll get involved in side issues, even stright
philosophy, nd not in the stuff tht will do Oxford most good. Tht’s
what I think. What does
Gilbert think? I really think that you should keep your best stuff for Oxford, and that I am inclined
to think is your modl logic stuff. (You’ll ring it in in the other, ut it won’t stnd out so netly).
Why not save the time di
stinction stuff for a small book, and keep the more (logically) fundamental
stuff for Oxford. Mind you, I’m proly wrong nd you right ut this is wht I think (very
Thanks for your proof of CLCMpp
CMpLp. There wa
s a slip of the pen: you had
1. CLCMpp CMpLp
Editor’s note: The letter is in the Prior rchive ox 3 t the Bodlein Lirry in Oxford nd hs een trnscried nd
commented by David Jakobsen and Martin Prior.
Editors’ note: This is the most likely rendering of Smrt’s hndwriting.
m is an inflammatory skin
condition that happily does not usually last too long.
Editors’ note: It is hrd to see wht Smrt writes here.
Editors’ note: The Austrlin & New Zelnd Assocition for the Advncement of Science.
note: Martin Prior notes here that due to
Mry, Mrtin nd Ann’s
in 1954 Arthur’s lectureship
was deferred one year and Hao Wang took his place in 1954
Editors’ note: Smrt is referring to: Turquette, A. R. Review: A. N. Prior, Modlity
de Dicto and Modality de re . J.
Symbolic Logic 20 (1955), no. 2, 167.
Editors’ note: The trnscription is not certin here.
2. CL Cpq CLpLq
1 x RL = 3
3. LCLMpp CMpLp
2 p/LCMpp q/CLpLq
4. CLLCMpp LCMpLp
It should be [referring to 3]
(I only mention this for proof reading purposes in case the same slip occurs in something
rof. of medicine (strictly etween him nd me nd you nd me) doesn’t think I should tret
myself too much as an invalid. He thinks walks would be OK,
, etc… ut proly
hockey. So I’ll get little mild exercise
, not enough to get tired, and my moral
should rise again.
(Lack of exercise always has a bad psychological effect on me!).
Thanks very much for your kind investigations with your TB expert. What he said sounds very
much like what our Prof. of medicin
said. Anyway I very much appreciate it.
I find the example of page 9 of Kleen difficult to get the
of. Call the deduction in the
ottom of p. 90 ‘
’, tht on top of p. 91
then I’ve grsped his proof. 1
17 on p. 92.
so I don’t quite figure it out. (Not tht there re 5 groupings ove corresponding to the
length 5 of the deduction of p. 87).
Editors’ note: There is n rrow in the letter here.