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 15 (Gale-Kenny)


 
1) Gale, Richard, The Language of Time. MS, 21 p. Published in Gale’s book (same title).
2) Geach, P.T., Arthur Prior: A Personal Impression. May 1970. MS, 3 p.
3) Geach, P.T., Identity. MS, 5 p. Published in Review of Metaphysics 1967
4) Geach, P.T., Good and Evil. MS ,17 p. Published in Analysis 1956.
5) Gibbs, Benjamin, The Existence of Objects. MS, 14 p.
6) Kurt Gödel, On Undecidable Propositions of Formal Mathematical Systems. 40 p. Institute of Advanced Study. New Jersey 1934.
7) Kurt Gödel, A Remark about the Relationship Between Relativity Theory and Idealistic Philosophy. 5 p. Published in P. Schillp: Albert Einstein.
8) Two Papers by Kurt Gödel on Intuitionism, 2p.
9) Kurt Gödel, On Formally Undecidable Propositions of PM and Related Systems. 28 p. Translation by Hugh Petrie. (Org. 1931). Handwritten as well as typed manuscript.
10) Good, I.J: A Note on Petard’s Problem. MS. 1p.
11) Gunderson, Keith: Cybernetics. MS, 25 p. Published in Encyclopedia of Philosophy.
12) Gunderson, Keith: Cybernetics and Mind-Body Problems. MS, 21 p. Published in Inquiry 1968.
13) Haack, R.J. & Smith, S.W., Token-sentences, Translation and Truth-value. MS. 33 p.
14) Hamblin, C.L., Formal Dialectic and the Parts of the Mind. MS. 39 p.
15) Hamblin, C.L., Has Probability any Foundation ?. MS, 9 p. Published in Science Yearbook, University of New South Wales 1964.
16) Hamblin, C.L., The Logic of Tenses. MS. 20 p.
[Latest reference 1962].
17) Hamblin, C.L., A Programmed Course on Logical Relations. 47 p.
18) Hamblin, C.L., A Simplification of Tarski’s Decision Method for Real-Number Algebra, MS, 5 p. Published in Aust. J. Sci.
19) Hamblin, C.L., Starting and Stopping. MS, 27 p. Published in The Monist 1969.
[Letter to Prior: "For the Monist issue on Time. (Who suggested me?). See particularly pages 22-4. Yours Charles".]
20) Hansson, Bengt, An Analysis of Some Deontic Logics. MS. 36p. Nous 1969.
21) Hare, R.M., Some Alleged Differences Between Imperatives and Indicatives. MS, 14 p. Published in Mind 1967.
22) Harrah, David, A Model of Message Evaluation. Published in Harrah: "Communication: A Logical Model". 8 p.
23) Helmer, Olaf & Rescher, Nicholas, On the Epistemology of the Inexact Sciences, P-1513, Santa Monica 1958. The Rand Corporation. 66 p.
24) Henry, Desmond P., The Truncation of Truth-functional Calculation. MS
[There are some other MS in the box which are probably also written by Henry.]
25) Hinton, J.M., Disjunction and Phenomenological Description. MS. 29 p.
26) Hinton, J.M., Existence. MS. 8 p.
27) Hinton, J.M., Review of Prior: ‘Logic and the Basis of Ethics’. MS. 3 p.
28) Hiz, Henry, On the Inferential Sense of Contrary-to-fact Conditionals,
29) Hiz, Henry, Complete Sentential Calculus Admiting Extensions. MS. 3 p. 1957.
30) Hiz, Henry, Grammar Logicism, The Monist, Jan. 1967. pp. 110-127.
31) Hiz, Henry, Transformations and Discourse Analysis Papers. Computable and uncomputable elements of syntax. MS, 17 p. 1966.
32) Hiz, Henry: Transformations and Discourse Analysis Papers: Kotarbinski on Truth. MS, 7 p. 1966.
33) Jørgensen, Chr. Klixbüll, A Classification of Categorical Propositions. 36 p. Partly published in Logique et Analyse, 1967.
34) Kamp, J.A.W, Discrete Operators in Dense Time. HW. 7 p., Fall 1967. Lecture notes.
35) Kamp, J.A.W, Lecture on Tense logic. Feb. 20 1967. 14 p.
36) Kamp, J.A.W, Tense Logic with Dates. HW. 5p., Fall 1967. Lecture notes.
37) Kamp, J.A.W, The Treatment of ‘Now’ as a 1-place Sentential Operator. HW. 8p., Fall 1967. Lecture notes.
38) Kamp, J.A.W, Expressibility in Tense Logic. Diss. summary. 1 p.
39) Kanger, Stig, Characterization of Modalities. MS. 6 p.
40) Kanger, Stig, New Foundations for Ethical Theory, Part 1, Stockholm 1957. 42 p.
41) Kenny, Anthony, On Philosophy in PPE Prelims. MS. 1p.
42) Kenny, A.J., Practical Inference. MS. 10 p. Analysis 1966.

   
Updated December 23, 2017