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

 

Box 14 (Cocchiarella-Frege)


 
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.

   
Updated December 23, 2017