Box 13

Baier-Clifford

Last updated: 2018-06-29 16:13:36

1) Annette Baier, Nonsense, in Edwards, Encyclopedia of Philosophy.

[Handwritten note: "This is, I understand, mainly your doing, so you must accept its faults. It’s a nice topic to be encyclopedic authority on! Best wishes Anette Baier".]

2) Nuel Belnap, An Analysis of Questions: Preliminary Report, June 1963 (book). Number TM-1287/000/00

3) Nuel D. Belnap, Jr., A Formal Analysis of Entailment, Tech. Report No. 7, Yale University, New Haven, June, 1960.

4) Belnap & Thomason, A Rule-completeness Theorem, MS, 9 p. Probably unpublished.

5) Jonathan Bennett, Entailment, MS, 22 p. Mind 1959.

6) Jonathan Bennett, Kant’s Analytic, Book MS.

7) Binkley & Clark, A Cancellation System for Elementary logic, Identity, and Quantified modal Logic, MS, 71 p. 1965.

Partly published in Theoria 1967.

8) Bull, R. A., An Algebraic Study of Diodorean Modal Systems, Journal of Symbolic Logic, Vol. 30 (1965), pp.58-64.

9) J.M. Cameron, Logic and Ethics, MS, 5 p. Probably unpublished lecture.

10) Jim Cargile: Notes on Liar Family Paradoxes. MS, 8 p.

11) Jim Cargile, Liar Family Paradoxes. Very obsolete draft. Book MS.

12) Jim Cargile, On Believing you Believe, MS, 15 p. Published in Analysis 1967.

13) Jim Cargile, On Omnipotence, MS, 7 p. Published in Nous 1967.

14) Jim Cargile & George Thomas, A Note on "Time, Truth, and Modalities", MS, 4 p. Published in Mind 1968.

15) Jim Cargile, On Tensed Statements, MS, 7 p. Unpublished ?

16) Jim Cargile: The Surprise Test Paradox. MS, 10 p.

17) Jim Cargile, The Surprise Test Paradox, MS, 23 p. Published in J. Phil. 1968.

18) On the Logic of Attribution of Selfknowledge. Probably handout for talk by H.N. Castaņeda.

19) H.N. Castaņeda, A Finite Set-theoretical Completeness Theorem for S5, MS, 6 p. Probably unpublished.

20) H.N. Castaņeda, General Logic of Prescriptive Discourse, MS, 49 p. Probably unpublished.

21) Chisholm, Roderick M., Doing Versus Making Happen, MS, 22 p., 1967. Probably unpublished.

22) Chisholm, Roderick M., Types of Intrinsic Goodness, MS, 1 p., 1967. Probably unpublished. [A few notes by Prior.]

23) Chisholm, Roderick M.: The Defeat of Good and Evil. MS, 1 p. 1966.

24) Chisholm, Roderick M.: The Defeat of Evidence. MS, 1 p. 1967.

25) Chisholm, Roderick M. & Sosa, Ernest, On The Logic of Intrinsically Better, MS, 16 p.. Published in Am. Phil. Qu. 1966. A few notes by Prior.

26) Church, Alonzo, Binary Recursive Arithmetic, Journal de Math. Pures et Appl., Ser. 9 Vol. 36 No. 1 (1957).

27) Church, Alonzo: Application of Recursive Arithmetic to the Prolem of Circuit Synthesis. MS, 49 p. 1967. Together with 22).

28) Church, Alonzo, Logic, Arithmetic, and Automata, MS, 35 p., Stokholm 1962.

29) Church, Alonzo, The Weak Theory of Implication, In: "Kontrolliertes Denken", München 1951.

30) John Clifford: Change and Condition, MS. Published in Logique et Analyse 1966.

31) John Clifford’s dissertation chapter 3 + two letters from Clifford to Prior from 1967 and 1968.