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

 

www.priorstudies.org

 

Contents of Box 11


(miscellaneous material)
 
The box contains miscellaneous material, the main parts being:
  • Two notebooks by Prior, on 'Time and Modality' and on 'Objects of Thought'
  • Five Scrapbooks with various kinds of material collected or written by Prior
  • Two papers by Prior's grandfather the Rev. Samuel F. Prior
  • Six more folders with very diverse material:
  1. ANP: A notebook on 'Time and Modality' (1957a) for the period 09.02.64-08.03.65. HWU (53 p.). <info>
  2. ANP: A notebook on 'Objects of Thought' for the period 08.02.64-21.04.65. HWU? (67 p.; pp.31-49 blank) <info>
  3. ANP: A list of ANP's Papers on theological subjects. HWU (2 p.).
All papers mentioned in this list are included in Additions to Bibliography.
--- Per Hasle
ANP: Three scrapbooks
From the University of Otago; containing articles on Marxism and Christianity, as well as social and religious issues in society (articles collected - not written - by Prior):
  1. Black scrapbook No. 1: 30.09.36-23.07.37. Articles on socialism, communism and marxism. Contains also Prior's paper: The Nation and the Individual, 1937a.
  2. Black scrapbook No. 2: Theological papers (by authors other than ANP) from the Outlook and the Student 1935-1940. Plus three offprints of papers by ANP.<info>
  3. Blue scrapbook: (1933 - ca. 1939). Containing:1) Poetry cuttings. 2) ANP: Notes on theological subjects, HWU (26 p.). <info>
These contain small and early newspaper articles/letters by ANP. A good deal of the material listed in Additions to Bibliography is found here! <info>

Two papers by Prior's grandfather the Rev. Samuel F. Prior
  1. The Master's Methods: Or, How a Man May Best Help God to Save His World. T (15 p.). (T.S. Carey & Co., Adelaide, 1888)
  2. A Symposium on Methodism. The Connexional Principle. Its Social Aspect. T (4 p.). (From 'The Christian Weekly', November 20, 1885).

First folder: 'Letters, Reviews, etc. ...'
(This folder carries the designation 'Letters, Reviews, etc. by A.N. Prior in NZ papers in early 1950's.')
  • Various newspaper and Journal cuttings. <info>
  • Logic Colloquium Programme: Oxford, 1956. <info>
  • A series of theorems (321 theorems) in propositional and tense logic - written in Polish notation. HWU (3 p.) and TU (17 p., numbered as 20-36).
  • ANP: When I was a Freshman. HWU (3 p.). 1948.
  • a Journal 'Gaudeamus' May 1951 (referring a discussion between ANP, Crowther, Whittle), pp. 4-5.

Second folder: 'Schindler'
(This folder carries the designation 'Schindler'.)
Containing four items; two of these possibly by ANP, possibly from ca. 1937.<info>
  • ANP (?) Berkeley: 2. Discussion and Criticism. TU (10 p.). University of Otago, Philosophy Department. (See also the info on: ANP (?): Notes on Logic Ninth folder/box 10).
  • ANP (?) Methods of Testing Validity. TU (10 p.). University of Otago. (See also the info on: ANP (?): Notes on Logic Ninth folder/box 10).
  • Reviews of C.S. Peirce and work on C.S. Peirce- Not by ANP. Some from Journal of the History of Philosophy. April 1965.
  • A Completeness proof for Gli (probably by Robert Bull). (T 22 p.). 17 June, 1969.
Gli is a system of linear, infinite, transitive and discrete tense logic.
--- Per Hasle

Third folder:
  • Anonymous draft of an elementary logic text, 1938 <info>
  • Philosophy I or II - Logic, 1938. (Course on I. Formal or Deductive Logic, II. Inductive Logic or Methodology of Science, and III. The Nature of Logic). TU (36 p.). Not by ANP.

Fourth folder:
  • Retirement notice for Professor R.D. Waller, Manchester 1966.
  • Request for a copy of Prior's 'The paradoxes of derived obligation' from Rijksuniversiteit, Bladijnberg 2, Gent. 1966.
  • Letter to Journal of Symbolic Logic requesting copies of R. Mitchell's paper. HWU (2 p.). No date.

Fifth folder: 'Montgomery, Mill, Moore, etc.'
(This folder carries the designation 'Montgomery, Mill, Moore, Pilkington, Popper, Richards, Ryan, Smart, Smiley, Turner'.)
  • Stori Bilong Teseus Na Ariadne (Dr. Robert Hall)
A story by Robert Hall, written such as to reflect New Zealand pronunciation.
--- Per Hasle
  • Syllogism (Smiley). 4 p.
  • One sorted bases for 3 and 4 S-logics. 2 p. Not by ANP.
  • Time and Place Logic (by George [Hughes], 1959). A Further Discussion of A.N. Prior's 'Thank Goodness That's Over' 1959b.

Sixth folder: 'Trew'
(This folder carries the designation 'Trew'.)
  • Two Non-standard Systems of Hughes and Londey (by Tony Trew?). TU (7 p.). 20 December, 1968. Not by ANP.
  • The Subsystem (RO)lmdon (by Tony Trew). TU (4 p.). 23 December, 1968.
  • ANP: Notes on Peirce Systems. HWU (1 p.). (Loose page).
   
Updated December 23, 2017