Works by Prior

• n.d.a., ‘Reactions to Determinism’, Typescript, no date, 5 pages, Bodleian Library Prior Archive. [Prior n.d.a. available online] (Scholar)
• n.d.b., ‘Determinism in Philosophy and in Theology’, Typescript, 4 pages, Bodleian Library Prior Archive. [Prior n.d.b. available online] (Scholar)
• n.d.c., ‘The Case of Edward Irving’, typescript, 5 pages, Bodleian Library Prior Archive (Box 6), (In the secondary literature this item is sometimes cited as ‘Prior 1942’ but in fact the date is uncertain.) (Scholar)
• 1931, ‘Essays Literary’, Typescript, 157 pages, Macmillan Brown Library, University of Canterbury.
• 1934, ‘Athanasius Contra Mundum’, Open Windows, vol. 8, no. 4, pp. 6–7. (Scholar)
• 1935, ‘Logic and Dogma’, Open Windows, vol. 9, no. 5, p. 19. (Scholar)
• 1937a, ‘What is Socialism?’, Four letters to the Otago Daily Times under the pseudonym ‘Independent Labour’, dated 6 July, 10 July, 15 July, 20 July. [6 July, 10 July, 15 July, and 20 July available online] (Scholar)
• 1937b, ‘The Nation and the Individual’, Australasian Journal of Psychology and Philosophy, vol. 15, pp. 294–298. (Scholar)
• 1938, ‘Hitler Comes to the Tyrol’, under the nom de plume John Everdean, with Clare Prior, Otago Daily Times, 18 June, p. 4. [Prior 1938 available online] (Scholar)
• 1939, ‘The Czech Church in Exile’, The Christian World, 13 June, p. 4. (Scholar)
• 1940, ‘Missions and the Home Front’, International Review of Missions, July, pp. 340–352. (Scholar)
• 1941, ‘Some Mail Gone Missing’, Outlook, February 26, pp. 10–11. (Scholar)
• 1942a, ‘Can Religion be Discussed?’, Australasian Journal of Psychology and Philosophy, vol. 20, pp. 141–151. (Scholar)
• 1942b, Untitled manuscript, 7 pages, 25 March, Bodleian Library Prior Archive (Box 7).
• 1944, ‘The Meaning of Good’, Australasian Journal of Psychology and Philosophy, vol. 22, pp. 170–174. (Scholar)
• 1945, ‘The Subject of Ethics’, Australasian Journal of Psychology and Philosophy, vol. 23, pp. 78–84. (Scholar)
• 1947, ‘Supralapsarianism’, The Presbyter, vol. 5, pp. 19–22. (Scholar)
• 1949, Logic and the Basis of Ethics, Oxford: Clarendon Press.
• 1951, The Craft of Formal Logic, typescript, 772 pages + 4 handwritten pages of corrections, Bodleian Library Prior Archive (Box 22).
• 1952a, ‘Modality De Dicto and Modality De Re’, Theoria, vol. 18, pp. 174–180. (Scholar)
• 1952b, ‘In What Sense is Modal Logic Many-Valued?’, Analysis, vol. 12, pp. 138–143. (Scholar)
• 1952c, ‘Łukasiewicz’s Symbolic Logic’, Australasian Journal of Philosophy, vol. 30, pp. 121–130. (Scholar)
• 1952d, ‘The Parva Logicalia in Modern Dress’, Dominican Studies, vol. 5, pp. 78–87. (Scholar)
• 1953, ‘Three-Valued Logic and Future Contingents’, Philosophical Quarterly, vol. 3, pp. 317–326. (Scholar)
• 1955a, Formal Logic, Oxford: Clarendon Press.
• 1955b, ‘Diodoran Modalities’, Philosophical Quarterly, vol. 5, pp. 205–213. (Scholar)
• 1956a, ‘Modality and Quantification in S5’, The Journal of Symbolic Logic, vol. 21, pp. 60–62. (Scholar)
• 1956b, ‘Logicians at play; or Syll, Simp and Hilbert’, Australasian Journal of Philosophy, vol. 34, pp. 182–192. (Scholar)
• 1957, Time and Modality, Oxford: Oxford University Press.
• 1958a, ‘The Syntax of Time-Distinctions’, Franciscan Studies, vol. 18, pp. 105–120. (Scholar)
• 1962a, ‘Tense Logic and the Continuity of Time’, Studia Logica, vol. 13, pp. 133–148. (Scholar)
• 1962b, ‘Possible Worlds’, Philosophical Quarterly, vol. 12, pp. 36–43. (Scholar)
• 1962c, ‘Logic in England Today’, typescript, Translated into Polish as ‘Wspólczesna logika w Anglii’, Ruch Filozoficzny, vol. 21, pp. 251–256. (Scholar)
• 1966, ‘Critical Notice: The Elements of Formal Logic by Hughes and Londey’, Australasian Journal of Philosophy, vol. 44, pp. 224–231. (Scholar)
• c.1967, Autobiographical note, in Kenny 1971.
• 1967a, Past, Present and Future, Oxford: Clarendon Press.
• 1967b, ‘Logic, Modal’, in Edwards, P. (ed.) 1967, The Encyclopedia of Philosophy, New York: Macmillan. (Scholar)
• 1968, Papers on Time and Tense, Oxford: Clarendon Press.
• 1971, Objects of Thought, Oxford: Clarendon Press. (Edited by Geach, P.T., Kenny, A.J.P.)
• 1976a, The Doctrine of Propositions and Terms, London: Duckworth. (Edited by Geach, P.T., Kenny, A.J.P.)
• 1976b, Papers in Logic and Ethics, London: Duckworth. (Edited by Geach, P.T., Kenny, A.J.P.)
• 1977, Worlds, Times and Selves, London: Duckworth. (Edited by Fine, K.)
• 1996a, ‘A Statement of Temporal Realism’, in Copeland, B.J. (ed.) 1996, Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford: Clarendon Press. (Scholar)
• 1996b, ‘Some Free Thinking about Time’, in Copeland, B.J. (ed.) 1996, Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford: Clarendon Press. (Scholar)
• 2003, Papers on Time and Tense, Second expanded edition, edited by Braüner, T., Copeland, B.J., Hasle, P. and Øhrstrøm, P. Oxford: Oxford University Press.

References

• Bayart, A., 1958, ‘Correction de la Logique Modale du Premier et du Second Ordre S5’ [‘Soundness of First and Second Order S5 Modal Logic’], Logique et Analyse, vol. 1, pp. 28–44. (Scholar)
• –––, 1959, ‘Quasi-Adéquation de la Logique Modale du Second Ordre S5 et Adéquation de la Logique Modale du Premier Ordre S5’ [‘Quasi-Completeness of Second-Order S5 Modal Logic and Completeness of First-Order S5 Modal Logic’]. Logique et Analyse, vol. 2, pp. 99–121. (Scholar)
• Ben-Ari, M., Pneuli, A., Manna, Z., 1983, ‘The Temporal Logic of Branching Time’, Acta Informatica, vol. 20, pp. 207–226. (Scholar)
• Bochenski, I.M., 1947, La Logique de Théophraste, Fribourg: Librairie de l’Université de Fribourg. (Scholar)
• –––, 1948, Précis de Logique Mathématique, Bussum: Kroonder. (Scholar)
• Brodie, J. (ed.), 1999, Remembrance of Friends Past: Testimonies and Memorials to the lives and works of New Zealand Quakers who died from 1843 to 1998, Wellington: Beechtree Press. ‘Brailsford, John Annesley’, pp. 28–29, and ‘Brailsford, Ruth Fordham’, pp. 29–30. (Scholar)
• Bull, R.A., 1964, ‘An Axiomatisation of Prior’s Modal Calculus \(Q\)’, Notre Dame Journal of Formal Logic, vol. 5, pp. 211–214. (Scholar)
• –––, 1965,‘An Algebraic Study of Diodorean Modal Systems’, Journal of Symbolic Logic, vol. 30, pp. 58–64. (Scholar)
• –––, 1970, ‘An Approach to Tense Logic’, Theoria, vol. 36, pp. 282–300. (Scholar)
• Bull, R.A., Segerberg, K., 1984, ‘Basic Modal Logic’, in Gabbay, D.M., Guenthner, F. (eds), Handbook of Philosophical Logic, vol. 2, Dordrecht: Reidel, pp. 1–88. (Scholar)
• Carnap, R., 1946, ‘Modalities and Quantification’, The Journal of Symbolic Logic, vol. 11, pp. 33–64. (Scholar)
• Churchill, W.L.S., 2007, Blood, Toil, Tears and Sweat: The Great Speeches, ed. D. Cannadine. London: Penguin. (Scholar)
• Copeland, B.J. (ed.), 1996, Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford: Clarendon Press. (Scholar)
• –––, 2002, ‘The Genesis of Possible Worlds Semantics’, Journal of Philosophical Logic, vol. 31, pp. 99–137. (Scholar)
• –––, 2016, ‘Prior, Translational Semantics, and the Barcan Formula, Synthese, vol. 193, pp. 3507–3519. (Scholar)
• Cresswell, M., 1973, Logics and Languages, London: Methuen. (Scholar)
• Everdean, J., 1938a (Clare Prior), ‘Sidelights on the Crisis: A New Zealander in London’, Otago Daily Times, 25 October, p. 5. Everdean 1938a available online] (Scholar)
• Feys, R., 1950, ‘Les Systèmes Formalisés des Modalités Aristotéliciennes’, Revue Philosophique de Louvain, vol. 48, pp. 478–509. (Scholar)
• Findlay, J.N., 1933, Meinong’s Theory of Objects, Oxford: Clarendon Press. (Scholar)
• –––, 1941,‘Time: A Treatment of Some Puzzles’, Australasian Journal of Psychology and Philosophy, vol. 19, pp. 216–235. (Scholar)
• Flew, A. (ed.), 1951, Essays on Logic and Language, Oxford: Blackwell. (Scholar)
• Geach, P., 1970, ‘Arthur Prior: A Personal Impression’, Theoria, vol. 36, pp. 186–188. (Scholar)
• Goldblatt, R., 1987, Logics of Time and Computation, Stanford: CSLI. (Scholar)
• Grimshaw, M., 2002, ‘The Prior Prior: Neglected Early Writings of Arthur N. Prior’, Heythrop Journal, vol. 43, pp. 480–95. (Scholar)
• –––, 2018, The Arthur Prior Letters 1936–1941: Philosophical, Theological and Political Correspondence, Christchurch: Canterbury University Press. (Scholar)
• Hasle, P., 1999, ‘The Problem of Predestination—a Prelude to A. N. Prior’s Tense Logic’, in Wegener, M. (ed.) 1999, Time, Creation and World-Order, Aarhus: Aarhus University Press. (Scholar)
• –––, 2012, ‘The Problem of Predestination: As a Prelude to A.N. Prior’s Tense Logic’, Synthese, vol. 188, pp. 331–347. (Scholar)
• Hasle, P., Øhrstrøm, P., 2016, ‘Prior’s Paradigm for the Study of Time and its Methodological Motivation’, Synthese, vol. 193, pp. 3401–3416. (Scholar)
• Hilbert, D., Ackermann, W., 1928, Grundzüge der Theoretischen Logik [Principles of Mathematical Logic], Berlin: Julius Springer. (Scholar)
• Hintikka, K.J.J., 1957, Quantifiers in Deontic Logic, Societas Scientiarum Fennica, Commentationes Humanarum Litterarum, vol. 23.4, Helsinki. (Scholar)
• –––, 1958, ‘Review of Time and Modality’, Philosophical Review, vol. 67, pp. 401–4. (Scholar)
• Hintikka, K.J.J., 1961, ‘Modality and Quantification’, Theoria, vol. 27, pp. 119–128. (Scholar)
• Hiż, H., 1951, ‘Review of “Foundations of the Methodological Analysis of Mill’s Canons” by Jerzy Łoś’, Journal of Symbolic Logic, vol. 16, pp. 58–59. (Scholar)
• Hughes, G.E., 1971, ‘Arthur Prior (1914–1969)’, Australasian Journal of Philosophy, vol. 49, pp. 241–243. (Scholar)
• Hughes, G.E., Cresswell, M.J., 1968, An Introduction to Modal Logic, London: Methuen. (Scholar)
• Hume, D., 1777, An Enquiry Concerning Human Understanding, ed. L.A. Selby-Bigge, Oxford: Clarendon, 1902. (Scholar)
• Jakobsen, D., 2012, ‘An Introduction to “Faith, Unbelief, and Evil”’, Synthese, vol. 188, pp. 399–409. (Scholar)
• –––, 2016, ‘An Illusion Close to Life’, Synthese, vol. 193, pp. 3429–3439. (Scholar)
• Johnson, W.E., 1921–24, Logic, Vols 1–3, Cambridge: Cambridge University Press. (Scholar)
• Jónsson, B., Tarski, A., 1951, ‘Boolean Algebras With Operators, Part I’, American Journal of Mathematics, vol. 73, pp. 891–939. (Scholar)
• –––, 1952, ‘Boolean Algebras With Operators, Part II’, American Journal of Mathematics, vol. 74, pp. 127–162. (Scholar)
• Jordan, A.A., 1945, The Development of Mathematical Logic and of Logical Positivism in Poland between the Two Wars, Oxford: Oxford University Press. (Scholar)
• Kanger, S., 1957, Provability in Logic, Stockholm: Almqvist and Wiksell. (Scholar)
• Kenny, A., 1970, ‘Arthur Norman Prior’, Proceedings of the British Academy, vol. LVI, pp. 321–349. (Scholar)
• Keynes, J.N., 1906, Studies and Exercises in Formal Logic, London: Macmillan. (Scholar)
• Knuuttila, S., 1993, Modalities in Medieval Philosophy, London and New York: Routledge. (Scholar)
• Kripke, S.A., 1959a, ‘A Completeness Theorem in Modal Logic’, The Journal of Symbolic Logic, vol. 24, pp. 1–14. (Scholar)
• –––, 1959b, ‘Semantical Analysis of Modal Logic’, (Abstract) The Journal of Symbolic Logic, vol. 24, pp. 323–324. (Scholar)
• –––, 1963, ‘Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi’, Zeitschr. f. math. Logik und Grundlagen d. Math., vol. 9, pp. 67–96. (Scholar)
• Lewis, C.I., Langford, C.H., 1932, Symbolic Logic, London: Century. (Scholar)
• Łoś, J., 1947, ‘Podstawy analizy metodologicznej kanonów Milla’ [‘The Foundations of a Methodological Analysis of Mill’s Methods’], Annales Universitatis Mariae Curie-Skłodowska, Sectio F, vol. 2, pp. 269–301. English translation in Przełęcki, M., Wójcicki, R. (eds) 1977, Twenty-Five Years of Logical Methodology in Poland, Warsaw: Polish Scientific. (Scholar)
• Łukasiewicz, J., 1920, ‘On Three-Valued Logic’, Ruch Filozoficzny, vol. 5, pp. 170–171. English translation in Borkowski, L. (ed.) 1970, Jan Łukasiewicz: Selected Works, Amsterdam: North Holland. (Scholar)
• –––, 1948, ‘The Shortest Axiom of the Implicational Calculus of Propositions’, Proceedings of the Royal Irish Academy, vol. 52, pp. 25–33. (Scholar)
• –––, 1951a, Aristotle’s Syllogistic From the Standpoint of Modern Formal Logic, Oxford: Clarendon Press. (Scholar)
• –––, 1951b, ‘On Variable Functors of Propositional Arguments’, Proceedings of the Royal Irish Academy, vol. 54, pp. 25–35. (Scholar)
• Malcolm, W.G., 1975, Number and Structure, Wellington: Reed. (Scholar)
• Marcus, R. C. Barcan, 1946, ‘A Functional Calculus of First Order Based on Strict Implication’, Journal of Symbolic Logic, vol. 11, pp. 1–16. (Scholar)
• Marcus, R. C. Barcan, 1962, ‘Interpreting Quantification’, Inquiry, vol. 5, pp. 252–259. (Scholar)
• Markoska-Cubrinovska, A., 2017, ‘Time and Truth in “The Craft of Formal Logic”: Prior’s Early Temporal Semantics Born from Reflexions on Diodorus and Boole’, in Hasle, P., Blackburn, P., Øhrstrøm, P. (eds) 2017, Logic and Philosophy of Time: Themes from Prior, vol. 1, Aalborg: Aalborg University Press. (Scholar)
• Mates, B., 1953, Stoic Logic, Berkeley: University of California Press. (Scholar)
• Meredith, C.A., Prior, A.N., 1956, ‘Interpretations of Different Modal Logics in the “Property Calculus”’, In Copeland, B.J. (ed.) 1996, Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford: Clarendon Press. (Scholar)
• –––, 1965, ‘Modal Logic With Functorial Variables and a Contingent Constant’, Notre Dame Journal of Formal Logic, vol. 6, pp. 99–109. (Scholar)
• Meredith, D., 1977, ‘In Memoriam: Carew Arthur Meredith (1904–1976)’, Notre Dame Journal of Formal Logic, vol. 18, pp. 513–516. (Scholar)
• Montague, R., 1970, ‘Pragmatics and Intensional Logic’, Synthese, vol. 22, pp. 68–94. (Scholar)
• Øhrstrøm, P., Hasle, P., 1993, ‘A.N. Prior’s Rediscovery of Tense Logic’, Erkenntnis, vol. 39, pp. 23–50. (Scholar)
• –––, 1995, Temporal Logic: From Ancient Ideas to Artificial Intelligence, Dordrecht: Kluwer. (Scholar)
• Ploug, T., Øhrstrøm, P., 2012, ‘Branching Time, Indeterminism and Tense Logic: Unveiling the Prior–Kripke Letters’, Synthese, vol. 188, pp. 367–379. (Scholar)
• Pnueli, A., 1977, ‘The Temporal Logic of Programs’, Proceedings of the Eighteenth Annual Symposium on Foundations of Computer Science, New York: Institute of Electrical and Electronics Engineers. (Scholar)
• Prior, M., 2003, ‘An Interview with Mary Prior’, in Prior, A, 2003 (eds Braüner, Copeland, Hasle, and Øhrstrøm). (Scholar)
• Reichenbach, H., 1947, Elements of Symbolic Logic, New York: Macmillan. (Scholar)
• Rennie, M.K., 1971, ‘Semantics for \(QK_t\)’, The Journal of Symbolic Logic, vol. 36, pp. 97–107. (Scholar)
• Rescher, N., Urquhart, A., 1971, Temporal Logic, New York: Springer-Verlag. (Scholar)
• Rini, A.A., Cresswell, M.J., 2012, The World–Time Parallel: Tense and Modality in Logic and Metaphysics, Cambridge: Cambridge University Press. (Scholar)
• Roskill, S.W., 1954, The War at Sea, 1939–1945, vol. 1. London: Her Majesty’s Stationery Office. (Scholar)
• Segerberg, K., 1967, ‘On the Logic of “To-morrow”’, Theoria, vol. 33, pp. 45–52. (Scholar)
• –––, 1971, An Essay in Classical Modal Logic, No. 13 in the series Filosofiska Studier, Uppsala University (series editor Stig Kanger). (Scholar)
• ––– (ed.), 1977, An Introduction to Modal Logic: The ‘Lemmon Notes’, American Philosophical Quarterly Monograph No. 11. (Scholar)
• –––, 1989, ‘Von Wright’s Tense Logic’, In Schilpp, P.A., Hahn, L.E. (eds) 1989, The Philosophy of Georg Henrik von Wright, Illinois: Open Court. (Scholar)
• Smiley, T.J., 1957, ‘Modal Logic’, Lecture Handout, Department of Philosophy, University of Cambridge. (Scholar)
• Sobociński, B., 1953, ‘Note on a Modal System of Feys-von Wright’, Journal of Computing Systems, vol. 1, pp. 171–178. (Scholar)
• Svoboda, V., Jespersen, B., Cheyne, C., 2004, Pavel Tichý’s Collected Papers in Logic and Philosophy. Dunedin: University of Otago Press. (Scholar)
• Sylvan, R., 1996, ‘Other Withered Stumps of Time’, in Copeland ed. 1996, pp. 111–130. (Scholar)
• Tarski, A., 1941, Introduction to Logic and to the Methodology of Deductive Sciences, New York: Oxford University Press. (Scholar)
• Thomas, I., 1968, ‘In Memoriam: Edward John Lemmon (1930–1966)’, Notre Dame Journal of Formal Logic, vol. 9, pp. 1–3. (Scholar)
• Thomas, I., 1971, ‘In Memoriam: A.N. Prior’. Notre Dame Journal of Formal Logic, vol. 12, pp. 129–130. (Scholar)
• Tichý, P., 1973, ‘On De Dicto Modalities in Quantified S5’, Journal of Philosophical Logic, vol. 2, pp. 387–392. (Scholar)
• Tkaczyk, M., Jarmużek, T., 2018, ‘Jerzy Łoś Positional Calculus and the Origin of Temporal Logic’, Logic and Logical Philosophy. [Tkaczyk & Jarmużek 2018 available online] (Scholar)
• Von Wright, G.H., 1951a, An Essay on Modal Logic, Amsterdam: North-Holland. (Scholar)
• –––, 1951b, ‘Deontic Logic’, Mind, vol. LX, pp. 1–15. (Scholar)
• –––, 1963, Norm and Action, London: Routledge and Kegan Paul. (Scholar)
• –––, 1965, ‘“And Next”’, Acta Philosophica Fennica, fasc. XVIII, pp. 293–304. (Scholar)
• Wajsberg, M., 1933, ‘Ein erweiterter Klassenkalkül’ [‘An Extended Calculus of Classes’], Monatshefte für Mathematik und Physik, vol. 40, pp. 113–126. (Scholar)
• Waters, S.D., 1956, Official History of the Royal New Zealand Navy: New Zealand in the Second World War 1939–45, Wellington: Department of Internal Affairs War History Branch. (Scholar)
• Watts, I., 1726, Logick, or the Right Use of Reason in the Enquiry After Truth, 2nd edition, London: John Clark and Richard Hett. (Scholar)
• Weinberg, J., 1948, Nicolaus of Autricourt: A Study in 14^th Century Thought, New York: Greenwood Press. (Scholar)
• Wittgenstein, L., 1922, Tractatus Logico-Philosophicus, London: Routledge and Kegan Paul. (Scholar)