The second edition of Arthur Prior’s Papers on Time and Tense features what is possibly the best editorial decision I’ve seen in a while. The editors decided that since infix (Russellian, in their terminology) notation won out, they would change all of Prior’s formulas from their original Polish notation to infix notation. Polish notation is alright to read once you get used to it, but parentheses does make parsing easier. And, Polish notation is a huge pain when the formulas stretch half the width of the page, as they do for some of the modal axioms. Also, I can’t handle proofs of any complexity in Polish notation. Good call editors!

Advertisements