Logic and Philosophy of Time

August 27th 1954, Arthur Norman Prior gave the presidential address in Wellington at the New Zealand section of the Australasian Association of Psychology and Philosophy, Second Philosophical Congress.. When the address was published as The Syntax of Time-Distinctions (1958), tense-logic had already been presented in Oxford at the John Locke Lecturers. Volume 6 of Logic and Philosophy of Time, celebrates 70 years of tense-logic. First, by focusing on Prior's system of tense-logic developed for contingent beings: The System Q.  In Analytic Proof-Theory for Prior's System Q: First Steps, Torben Bräuner takes the first steps toward the development of a tableau system for the Q system.  The second article takes us back to 1954, to the time Prior developed tense-logic. ... More