Prior Studies

Life and Work of Arthur Norman Prior

Home / The Archive at the Bodleian  / Box 12-21 / Box 14


Box 14

Cocchiarella-Frege

Last updated: 2018-06-29 16:14:46


1) Nino B. Cocchiarella, A Completeness Theorem in Second Order Modal Logic. MS, 25 p. Published in Theoria 1969

2) Part of a letter from Nino B. Cocchiarella to Richard Montague, Sept. 30, 1968

3) Nino B. Cocchiarella, Existence Entailing Attributes, Modes of Copulation and Modes of Being in Second Order Logic. MS, 53 p.

4) Nino B. Cocchiarella, A Second Order Logic of Existence. MS, 58 p. Published in JSL 1969.

5) Nino B. Cocchiarella, Second Order Logic with Existence Attributes (Abstract). MS, 5 p.

6) Nino B. Cocchiarella, Some Remarks on Second Order Logic with Existence Attributes. MS. 14 p. Published in Nous 1968.

[Contains some comments on Prior’s treatment of existence in Past, Present and Future.]

7) Nino B. Cocchiarella, A Substitution Free Axiom Set for Second Order Logic. MS. 14 p. Published in Nous 1968.

8) Nino B. Cocchiarella, Tense Logic. A Study of Temporal Reference. Dissertation. Published by University Microfilms 1966.

9) M. J. Cresswell, Does the Form of Forms which do not Participate in Themselves Participate in Itself?, Abstract for N.Z. Philosophy Conference 1964. MS. 1p.

10) M. J. Cresswell, Essence and Existence in Plato and Aristotle. MS. 14 p. Unpublished.

11) M. J. Cresswell, Forms and Paradigms in Plato. MS. 15 p. Unpublished.

12) M. J. Cresswell, Interpretations of Modal Logic. MS. 15 p. Unpublished.

13) Various lecture notes by H.B. Curry, Pennsylvania State University. 10 p.

14) Darwood, N., A Mathematical Notation for the Logical Delay, Publsihed in Electronics Engineering 1968.

[Reference to Past, Present and Future.]

15) Dobbs, H.A.C, The 'Present' in Physics, Brit. J. Phil. Sci. 19 (1969), 317-324 (preprint, with some handwritten comments).

16) Michael Dummett, Time, MS., 9p.

17) Ferrie, W.S., Challenge of Communism. MS. 8p.

18) Findlay, J.N., Relational Properties. MS, 8 p. Published in AJPP 1936.

19) Findlay, J.N., Logic - Stage I. Notes. Otago University. 1944. [Teaching material which Prior may have used.]

20) Fisher, Mark, If, Want and Imperatives. MS. 7 p.

21) Fisher, Mark, Some Myths of Survival. MS. 4 p.

22) Fitch, Frederic B., A Complete and Consistent Modal Set Theory. MS, 23 p. Published in JSL 1967.

23) Fitch, Frederic B., A System of Combinatory Logic, Tech. Report No. 9, Yale University, New Haven, November, 1960

24) Frege, Gottlob, Der Gedanke. Eine Logische Undersuchung. pp.59-77. German text which was translated into English in the volume by Geach and Black.

25) Excerpts from Frege, Gottlob, Grundgesätze der Arithmetik II. pp.69-78. German text.

26) Frege, Gottlob, Die Verneinung. pp.143-157. German text which was translated into English in the volume by Geach and Black.

 
Per F. V. Hasle ©
  • Department of Information Studies


  • University of Copenhagen

  • South Campus, build. 4


  • Njalsgade 76

  • DK-2300 Copenhagen S


  • Denmark


  • per.hasle@hum.ku.dk
Peter Øhrstrøm ©

  • Department of Communication and Psychology


  • Aalborg University

  • Rendsburggade 14

  • DK-9000 Aalborg

  • Denmark


  • poe@hum.aau.dk
David Jakobsen ©

  • Department of Communication and Psychology


  • Aalborg University

  • Rendsburggade 14

  • DK-9000 Aalborg

  • Denmark


  • davker@hum.aau.dk