Foundations of Temporal Logic – The WWW-site for Prior-studies
a joint project between
Department of Information Studies – University of Copenhagen
Department of Communication and Psychology – Aalborg University


Box 22


This box contains the full manuscript for Prior’s unpublished book ‘The Craft of Formal Logic’ (Finished in december 1951 and submitted to Clarendon Press 6/12/1951). A full overview of its contents is given in Craft-of-logic/table of contents, and a description of its place within Prior's authorship is given at the related manuscript Items from a dictionary of formal logic/box 6.
A part of the manuscript has been published as The Doctrine of Propositions and Terms, ed. by P.T. Geach and A.J.P. Kenny. University of Massachusett Press, Amherst, 1976 (1976a).
Prior's work on ‘The Craft of Formal Logic’ is described in Kenny 1970 as well as in the introduction to 'The Doctrine of Propositions and Terms' (the latter overlaps somewhat with Kenny 1970, but naturally also adds some details). From 'The Craft of Formal Logic' the book brings Part I, chapter 1 and 2, and Part IV, chapter 1–3; these five chapters together "make up a self-contained account of the traditional doctrine of propositions and terms" (Geach and Kenny's Introduction, p. 9).
The manuscript found in box 22 is a gift from J. L. Mackie (no full copy was found among Prior's own papers after his death in 1969).
P. 549 and p. 600 are missing.
--- Per Hasle

YouTube Channel

Click image to watch videos from
the Arthur Prior Centenary Conference,
Balliol College, Oxford,
August 20-22, 2014

Arthur Norman Prior
Arthur Norman Prior
(Dec. 4, 1914 – Oct. 6, 1969)


Updated December 1, 2017 •  University of Copenhagen •  Aalborg University • 

16-12-2017 00:22:18 (GMT+1)