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

Contents of box 8

• "Meredith Book". App. 200 pages (incomplete); HW and T, partly published. Ca. 1962. <info>

• "Objects of Thought": Parts for a book manuscript. T HW (app. 200 pages). Ca. 1962-69. The book 'Objects of Thought' (editors P. T. Geach and A. J. P. Kenny) 1971a was based on this material. <info>

• ANP: Names. HWU (32 p.). Ca. 1965. ORIG for chapter 11 of 1971a, although in an edited form. <info>
• ANP and Mary Prior: Revisals of 'Erotetic Logic' (cf. 1955e).
• ANP: Logical Form. Material Labelled 'probably revision classes for Oxford "logic" paper'. HWU (16 p.). 1968. <info>
• A large number of more or less connected loose pages with formulae and proofs.
• A folder with handwritten notes, mainly formulae and derivations HWU (46 p.). Some are concerned with S5, and some with the Q-predicate; the pages are numbered from 194 to 239.