Jump to Content

Collection Guide
Collection Title:
Collection Number:
Get Items:
Finding Aid for the Richard Montague Papers, 1948-1971
264  
View entire collection guide What's This?
PDF (134.62 Kb) HTML
Search this collection
 
 
Table of contents What's This?

Container List

 

Feferman - Montague Monograph

Box 8, Folder 1

Correspondence & publishing agreement.

Box 8, Folder 2

Dittoed material - Chapters 1-3, etc.

Box 8, Folder 3

[Loose pages].

Box 8, Folder 4

Chapters 1-2, old version.

Box 8, Folder 5

Chapters 3-4, second copy (with letter about directness theorem).

Box 8, Folder 6

Chapter 2, theorem 4, carbon.

Box 8, Folder 7

Chapter 4.

Box 8, Folder 8

Chapter 2.

Box 8, Folder 9

Continuum of relative interpretability types (abstract).

Box 8, Folder 10

Chapter 1.

Box 8, Folder 11

Miscellaneous 2.

Box 8, Folder 12

Chapter 8.

Box 8, Folder 13

Chapter 6.

Box 8, Folder 14

Chapter 7.

Box 8, Folder 15

Chapter 3.

Box 8, Folder 16

Chapter 5.

Box 9, Folder 1

Independently axiomatizable theories, abstract & early notes.

Box 9, Folder 2

Goedel-Feferman theorem.

Box 9, Folder 3

Generalization of Goedel's two theorems (symposium paper, etc.).

Box 9, Folder 4

General formulations of Goedel's second underivability theorem.

Box 9, Folder 5

Extremes of Goedel's second incompleteness theorem, talk in Chicago. April 1965.

Box 9, Folder 6

Chapter 9.

Box 9, Folder 7

[Incomparable theories].

Box 9, Folder 8

[Relative interpretability].

Box 9, Folder 9

Chapters 1-9 off[icial] copy.

Box 9, Folder 10

Errors of Way & Mostowski.

Box 9, Folder 11

Chapter 10 (strongly arithmetical, or set theoretical theories).

Box 9, Folder 12

[Miscellaneous 1].

Box 9, Folder 13

[Loose pages].

Box 9, Folder 14

Feferman. Arithmetization of metamathematics in a general setting.

Box 10, Folder 1

Feferman pencilled class notes.

Box 10, Folder 2

Feferman thesis.

Box 10, Folder 3

Feferman: lecture notes on metamathematics.

Box 10, Folder 4

Church, manuscript on formal theories.

 

Lecture Notes

Box 4, Folder 1

Philosphy 12A (Berkeley). Summer 1969.

Note

See also: Rules of thumb, infallible.
Box 4, Folder 1

Philosphy 12A (Berkeley). Summer 1969.

Note

See also: Rules of thumb, infallible.
Box 4, Folder 2

Predicate calculus: how to eliminate descriptions (and other definite singular terms).

Box 4, Folder 3

Philosophy 232B. Fall 1965, & Amsterdam. Spring 1966, official dittoed notes --- pp.1-52 (elementary syntax).

Box 4, Folder 4

Philosophy 232 B. Fall 1965, & Amsterdam. Spring 1966, official dittoed notes --- pp.52-95 (non-elementary syntax).

Box 4, Folder 5

Philosophy 231 January 1964-1965, dittoed notes, official.

Box 4, Folder 6

Philosophy 232B. Fall 1965.

Box 4, Folder 7

Pragmatics & intensional logic, notes & talks.

Box 4, Folder 8

Pragmatics (paper), supplementary materials.

Box 4, Folder 10

Pragmatics & language. Spring 1966.

Box 4, Folder 11

On the nature of some philosophical entities (abstract).

Box 5, Folder 1

Philosophy 240, set theory. Spring 1959, lecture notes.

Box 5, Folder 2

Philosophy 240, set theory. Spring 1962, lecture notes.

Box 5, Folders 3-4

[Notebook, untitled].

Box 5, Folders 5-6

[Philosophy 127A / 287].

Box 6, Folder 1

Philosophy 221, set theory.

Box 6, Folder 2

Philosophy 221C. Spring 1967.

Box 6, Folder 3

Philosophy 127 / 287. Winter/Spring 1970.

Box 6, Folder 4

Philosophy 192, philosophy of language. Fall 1958.

Box 6, Folder 5

Philosophy 127 / 287. Spring 1955.

Box 6, Folder 6

Philosophy 127 / 287. Spring 1963.

Box 6, Folder 7

Kalish - Montague text corrections.

Box 6, Folder 8

Philosophy 32.

Box 6, Folder 9

Philsophy 32. Winter 1970.

Box 6, Folder 10

Philosophy. Spring 1964.

Box 6, Folder 11

Philosophy 31. Fall 1970.

Box 6, Folder 12

Philosophy 31. Fall 1968 --- Includes TA evaluations.

Box 6, Folder 13

Philosophy 31. Fall 1967.

Box 6, Folder 14

Philosophy 31. Winter 1967.

Box 6, Folder 15

Philosophy 31. Fall 1963.

Box 6, Folder 16

Philosophy 31. Fall 1956.

Box 6, Folder 17

Philosophy 31. Spring 1956.

Box 6, Folder 18

Philosophy 31. Spring 1956.

Box 6, Folder 19

Philosophy 30, inductive logic. Spring 1956, Fall 1958, Spring 1960.

Box 7, Folder 1

Philosophy 126, philosophy of science. Fall 1956.

Box 7, Folder 2

Philosophy 126, philosophy of science. Spring 1956, lecture notes.

Box 7, Folder 3

Philosophy 126, philosophy of science. Spring 1959, lecture notes.

Box 7, Folder 4

Philosophy 126, philosophy of science. Spring 1960, student notes.

Note

Graded papers removed to restricted box 41.
Box 7, Folder 5

Philosophy 222. Fall 1963, lecture & student notes.

Box 7, Folder 6

Philosophy 222. Spring 1965, student notes (end section missing).

Box 7, Folder 7

Philosophy 223. Spring 1963, lecture & student notes.

Box 7, Folder 8

Philosophy 226. Winter, Spring 1967, lecture & student notes.

Box 7, Folder 9

Philosophy 221A-C. 1964/1965, class notes.

Box 7, Folder 10

Philosophy 231. 1964/1965, lecture notes.

Box 10, Folder 12

Philosophy 186, Epistemology Fall 1965, lecture notes & final exam.

Box 11, Folder 1

Mathematics 290G (Berkeley), Foundations of set theory. Spring 1961.

Box 11, Folder 2

Mathematics 223, Advanced topics in set theory. 1967-1968.

Box 11, Folder 3

Mathematics 135A (Montague taught at Berkeley). Fall 1960.

Box 11, Folder 4

Philosophy 240, recursive functions. Fall 1969, lecture notes.

Box 11, Folder 5

Philosophy 260. 1967-1968.

Box 11, Folder 6

Philosophy 262B, recursive functions. Spring 1969.

Box 11, Folder 7

Philosophy 262A, philosophy of language. Fall 1968.

Box 11, Folder 8

Philosophy 241. Spring 1957.

Box 12, Folder 1

Philosophy 241, dittoed material. Spring 1956.

Box 12, Folder 2

Philosophy 241. Spring 1958, Kleeve.

Box 12, Folder 3

Philosophy 241. Fall 1961, dittoed material.

Box 12, Folder 4

Philosophy 241. Fall 1961.

Box 12, Folder 5

Philosophy 135. Spring 1962, lecture & student notes, exam.

Box 12, Folder 6

Philosophy 135. Spring 1959, lecture notes.

Box 12, Folder 7

Philosophy 135. Spring 1964, lecture & student notes, exams.

Box 12, Folder 8

Philosophy 135. Spring 1969, lecture & student notes.

Box 13, Folder 1

Philosoph 128, philosophy of mathematics. Spring 1967, student notes.

Box 13, Folder 2

Philosophy 128, philosophy of mathematics. Spring 1967, lecture notes.

Box 13, Folder 3

Philosophy 128. Fall 1961, lecture & student notes, exams.

Box 13, Folder 4

Philosophy 128. Fall 1964, lecture & student notes.

Box 13, Folder 5

UC Berkeley, Philosophy 185. Fall 1957, Fall 1959 --- Student notes while at Berkeley, miscellaneous, including TA notes.

Box 13, Folder 6

UC Berkeley, Philosophy 185. Spring 1955.

Box 13, Folder 7

UC Berkeley, Mathematics 150A, with Loeve.

Box 13, Folder 8

RM's student notes from Mathematics 290V (model theory), Tarski-Vaught. 1960-1961.

Box 14, Folder 1

RM's student notes from Tarksi's Math 225A. 1948-1949.

Box 14, Folder 2

[UCB - RM] Mathematics 202 (Spring 1961), with Bredon.

Box 14, Folder 3

Mathematics 202 (Spanier), problems & notes. Fall 1960.

Box 14, Folder 4

Mathematics 3B. Spring 1954, Berkeley, Montague T.A.

Box 14, Folder 5

Math D & Math 2, Berkeley. Fall 1954, Montague T.A.

Box 14, Folder 6

Philosophy 184. Fall 1957.

Box 14, Folder 7

Philosophy 134. Fall 1958, lecture notes & final exam.

Box 14, Folder 8

Philosophy 134. Fall 1959.

Box 14, Folder 9

Philosophy 134. Winter 1969.

Box 14, Folder 10

Philosophy 134. Spring 1970, lecture & student notes.

Box 14, Folder 11

[Unidentified notes].

Box 15, Folder 1

Philosophy 6A-6B. 1956-1957.

Box 15, Folder 2

Philosophy 260. Fall/Winter 1967-1968, mathematical philosophy.

Box 15, Folder 3

Philosophy 127 & 287. Winter/Spring 1970.

Box 15, Folder 4

Philosophy 127/287. Winter/Spring 1970. Dittoed class notes, file copy.

Box 15, Folder 5

Philosophy 262A. Fall 1963, dittoed notes.

Box 15, Folder 6

Philosophy 260. Fall 1967 & Winter 1968, dittoed notes, file copy.

Box 15, Folder 7

Philosophy 262A. Fall 1968, partial.

Box 15, Folder 8

Philosophy 262. Fall 1968, philosophy of language --- Includes class roster & enrollment cards.

Box 15, Folder 9

Pragmatics: Charles Howard, modal logical.

Box 15, Folder 10

Philosophy 260, extra copy of dittoed notes on analysis of natural language.

 

Personal

Box 40, Folder 6

Publicity (personal).

Box 40, Folder 7

Recital, concert, play programs (events in which I am not a participant), miscellaneous bulletins.

Box 40, Folder 8

[Programs].

Box 40, Folder 9

Choral music.

Box 40, Folder 10

Organists' & choral directors' guilds.

Box 40, Folder 11

Miscellaneous church & organ business.

Box 40, Folder 12

Letters connnected with process.

Box 40, Folder 13

Combinations, references to music.

Box 40, Folder 14

Musical announcements, programs.

Box 40, Folder 15

[Investment brochures].

 

Philosophy of Language (Miscellaneous Research Notes)

Box 1, Folder 1

Davidson (notes on his papers).

Box 1, Folder 2

Ordinary language: English as a formal language, talks (Vancouver & abstract, Milan, Los Angeles).

Box 1, Folder 3

On the nature of certain philosophical entities, notes on.

Note

See also: Philosophy 260, Fall '67 and Winter '68.
Box 1, Folder 4

On the nature of certain philosophical entities: talks, notes & abstract.

Box 1, Folder 5

Miscellaneous research notes. June 1969- .

Box 1, Folder 6

Analysis of ordinary language: miscellaneous materials.

Box 1, Folder 7

Intensional verbs & Berkeley's argument.

Box 1, Folder 8

Intensional logic & some of its connections with ordinary logic: talks.

Box 1, Folder 9

Berkeley class. Summer 1969, lecture notes.

Box 1, Folder 10

The role of formal logic.

Box 1, Folder 11

Symbolization.

Box 1, Folder 12

Universal grammar: talks & correspondence.

Box 1, Folder 13

Pragmatics: subjunctive conditionals.

Box 2, Folder 1

Pragmatics 2.

Box 2, Folder 2

Notes during Fall 1969, most of which led to the paper Universal grammar.

Box 2, Folder 3

Proper treatment of quantification in ordinary English language: talk at Berkeley. February 1971 --- Correspondence only.

Box 2, Folder 4

Universal grammar, manuscript.

Box 2, Folder 5

English as a formal language I, manuscript.

Box 2, Folder 6

English as a formal language, manuscript.

Box 2, Folder 7

On the nature of certain philosophical entities, manuscript.

Box 2, Folder 8

Intensional logic & some of its connection with ordinary language: notes.

Box 3, Folder 1

Miscellaneous notes: October 1968-May 1969.

Box 3, Folder 2

Logical analysis in ordinary language.

Box 3, Folder 3

English as a formal language.

Box 3, Folder 4

On the nature of certain philosophical entities.

Box 3, Folder 5

English as a formal language I, Zerox of typescript.

Box 3, Folder 6

The paradox of the stone.

Box 3, Folder 7

Chomsky, etc.: bibliographic references, articles.

Box 3, Folder 8

Recursiveness of syntactic categories.

Box 3, Folder 9

The proper treatment of quantification in ordinary English: talks, latest version.

Box 3, Folder 10

Proper treatment of quantification in ordinary English, typescript.

Box 3, Folder 11

Proper treatment of quantification in ordinary English: talks, all but latest version.

Box 3, Folder 12

Pragmatics (paper): notes concerning.

Box 3, Folder 13

Ordinary language: English as a formal language, notes.

Box 3, Folder 14

Ordinary language, analysis of.

Box 3, Folder 15

Pragmatics & intensional logic: paper.

Box 3, Folder 16

Referential opacity, sense data, intensional data.

Box 3, Folder 17

Pragmatics 1.

 

Subject Files

Box 10, Folder 5

Montague biobibliography.

Box 10, Folder 6

[Notebook Miscellaneous].

Box 10, Folder 7

Student [job posting].

Box 10, Folder 8

Miscellaneous requests - pending.

Box 10, Folder 9

Reprint (reprint series).

Box 10, Folder 10

Tarski - Festschrift.

Box 10, Folder 11

Grants - NSF [National Science Foundation] submitted March 1969.

Box 16, Folder 1

Academic appointments, grants, fellowships, professional matters.

Box 16, Folder 2

Albuquerque: talk & prospectus.

Box 16, Folder 3

Appointment to UCLA memorabilia.

Box 16, Folder 4

Arithmetical classes: extension to the transfinite.

Box 16, Folder 5

Arithmetical classes (semi-axiomatizes).

Box 16, Folder 6

Arithmetical extensions.

Box 16, Folder 7

Automata.

Box 16, Folder 8

Automata, selected reprints on.

Box 16, Folder 9

Calculus of ought, Montague.

Box 16, Folder 10

Calculus of prenex forms.

Box 16, Folder 11

Carnap: foundations of physics.

Box 16, Folder 12

Carnap: applications of logic (from logical theory course).

Box 16, Folder 13

Carnap's probability book, notes.

Box 16, Folder 14

Carnap probability notes.

Box 16, Folder 15

Carnap: probability seminar.

Box 16, Folder 16

Carnap, Schlipp volume.

Box 16, Folder 17

Chang's lectures. Fall 1964 (model theory).

Box 16, Folder 18

Chang's seminar on undecided theories, McLaughlin's report.

Box 17, Folder 1

Chang's seminar on semantics.

Box 17, Folder 2

Chang's seminar. Spring 1962, model theory with values in a uniform space.

Box 17, Folder 3

Cocciarella, dissertation.

Box 17, Folder 4

Consistency of set theory, relative consistency theories.

Box 17, Folder 5

Contributions to the axiomatic foundations of set theory, copy 3.

Box 17, Folder 6

Contributions to the axiomatic foundations of set theory, old copy 2.

Box 17, Folder 7

Contributions to the axiomatic foundations of set theory, copy 4.

Box 17, Folder 8

Contributions to the axiomatic foundations of set theory, notes & sketches.

Box 17, Folder 9

Convergence in topology.

Box 18, Folder 1

DeBouvere: bilateral interpretability & synonymity.

Box 18, Folder 2

Definable models of set theory.

Box 18, Folder 3

Degrees of unsolvability.

Box 18, Folder 4

Deterministic theories, manuscript.

Box 18, Folder 5

Deterministic theories, with revisions sent to Washburne & note from Markovic.

Box 18, Folder 6

Deterministic theories, notes & revisions.

Box 18, Folder 7

Differential equations (corrected with determinism).

Box 18, Folder 8

Doubly recursive functions.

Box 18, Folder 9

Editorial responsibilities, Journal of Philosophical Logic.

Box 18, Folder 10

Editorial responsibilities, The Philosophical Forum.

Box 18, Folder 11

Effective operations, etc.

Box 18, Folder 12

Gaifman, model theory, class at UCLA. Spring 1968.

Box 18, Folder 13

Gunderson, cybernetics.

Box 18, Folder 14

Functional calculus which holds in the null domain.

Box 18, Folder 15

Frege.

Box 18, Folder 16

Friedman (prenex nf proof).

Box 18, Folder 17

Hemphill & Oppenheim on explanation (Eberle, Kaplan & Montague).

Box 18, Folder 18

Herbrand theorem - attempts.

Box 18, Folder 19

Higher-order logic: foundations of.

Box 18, Folder 20

Higher-order logic: reductions of.

Box 18, Folder 21

Higher-order logic: reductions of, manuscript.

Box 19, Folder 1

Higher-order logic: Kurtzman.

Box 19, Folder 2

Higher-order logic: recent problems.

Box 19, Folder 3

Higher-order logic: Craig's lemma & 2nd order model theory (?).

Box 19, Folder 4

Higher-order logic: miscellaneous.

Box 19, Folder 5

Higher-order logic: set theory & higher-order logic.

Box 19, Folder 6

Higher-order logic (see also black notebook).

Box 19, Folder 7

Higher order structures.

Box 19, Folder 8

Hyper-arithmetic hierarchy.

Box 19, Folder 9

Incomparable theories (abstract).

Box 19, Folder 10

Interpretability in terms of models.

Box 19, Folder 11

Interpretability vs. relative interpretability.

Box 19, Folder 12

Intensional logic: Dana, David, manuscript.

Box 20, Folder 1

Intuitionism, recursiveness.

Box 20, Folder 2

Iota theories.

Box 20, Folder 3

Kalicki's seminar.

Box 20, Folder 4

Keisler's talk, with comments.

Box 20, Folder 5

Keisler, et al. Model theory, notes on lectures at UCLA. 1967-1968.

Box 20, Folder 6

Keisler, dittoed notes from UCLA model theory class. Fall 1967.

Box 20, Folder 7

Keisler, notes on model theory from Wisconsin.

Box 20, Folder 8

Kreisel & Wang paper, my notes on.

Box 20, Folder 9

Kreisel, two expository notes on foundations (for set theory symposium book). Summer 1967.

Box 20, Folder 10

Kreisel, two notes ...

Box 20, Folder 11

Kripke.

Box 20, Folder 12

Letters, miscellaneous from logicians.

Box 20, Folder 13

Letters, miscellaneous, university business.

Box 21, Folder 1

Letters. 1966.

Box 21, Folder 2

Letters. Spring 1966.

Box 21, Folders 3-4

[Letters. 1965].

Box 21, Folder 5

[Letters. 1964].

Box 21, Folder 6

[Letters. 1963].

Box 22, Folder 1

Letters sent, (copies), [1961-1962].

Box 22, Folder 2

[Letters. 1962].

Box 22, Folder 3

[Letters. 1961].

Box 22, Folder 4

Letters, telegrams received. June-August 1958.

Box 22, Folder 5

Letters received. January-February 1958.

Box 22, Folder 6

Letters received. September-December 1957.

Box 22, Folder 7

Letters received. late 1957, early 1958.

Box 22, Folder 8

Letters. 1955-1956.

Box 22, Folders 9-10

Letters of recommendation.

Box 22, Folder 11

Letters. 1960-1961, professional correspondence.

Box 22, Folder 12

Letters (including paradox regained correspondence). 1959, 1960.

Box 22, Folder 13

Lewis, David.

Box 22, Folder 14

Letter to Tarski. 19 March 1957.

Box 22, Folder 15

Levy's first axiom: Tarski's axiom of inaccessible sets.

Box 22, Folder 16

London. June 1966.

Box 22, Folder 17

Long.

Box 22, Folder 18

Logic notes, miscellaneous.

Box 23, Folder 1

Logic of science.

Box 23, Folder 2

Logic: techniques, corrections, 4th set (November 1965).

Box 23, Folder 3

Logic: techniques for formal reasoning, some correspondence.

Box 23, Folder 4

Logic: techniques ..., miscellaneous improvements, remarks & corrections.

Box 23, Folder 5

Logical necessity, physcial necessity, ethics and quantifiers.

Box 23, Folder 6

Logical necessity ... revised version, manuscript & carbons & galleys.

Box 23, Folder 7

Mahlo numbers, inaccessibles.

Box 23, Folder 8

Mailings of reprints, etc., record of mailings (before 1970).

Box 23, Folder 9

Mailings of reprints & copies of papers (record of). 1970- .

Box 23, Folder 10

Mathematical Reviews.

Box 23, Folder 11

Mattison.

Box 23, Folder 12

McLaughlin.

Box 23, Folder 13

McLaughlin, recursive foundation seminar. Spring 1962.

Box 23, Folder 14

McNaughton.

Box 23, Folder 15

Modal logic.

Box 23, Folder 16

Models for set theory (notes on Tarski's manuscript).

Box 23, Folder 17

Model theory: lectures at LSE (June 1966) & UBC (July-August 1968) & LSE (1962).

Box 23, Folder 18

Model theory: miscellaneous.

Box 23, Folder 19

Moschovakis.

Box 23, Folder 20

Mutual interpretability vs. mutual relative interpretability.

Box 23, Folder 21

Mutual interpretability vs. mutual relative interpretability (old).

Box 23, Folder 22

Meetings 1970 - September & November. Stanford workshop on grammar and semantics of natural language.

Box 23, Folder 23

Meetings - September, November. Stanford Materials III - most interesting. Also contains some comments.

Box 24, Folder 1

Meetings - Stanford. September, November 1970, Materials Moravcsik, with my notes & comments on mass terms.

Box 24, Folder 2

Meetings - Stanford workshop papers: Partee & Suppes & Moravcsik & my comments.

Box 24, Folder 3

Meetings - September, November 1970, Stanford Materials I.

Box 24, Folder 4

Meetings - September, November 1970, Stanford Materials 2.

Box 24, Folder 5

Meetings - Amsterdam, general assembly.

Box 24, Folder 6

Meetings - Summer 1959, Warsaw, abstracts & notes.

Box 25, Folder 1

Meetings - Berkeley & Europe. Summer 1963.

Box 25, Folder 2

Meetings - Helsinki. Summer 1962.

Box 25, Folder 3

Meetings - Summer 1963, model theory symposium.

Box 25, Folder 4

Meetings - Summer 1963, Oxford symposium.

Box 25, Folder 5

Meetings - Stanford Congress.

Box 25, Folder 6

Meetings - Israel. Summer 1964.

Box 25, Folder 7

Meetings - Summer 1967, Amsterdam Congress, abstracts & notes from talks & programs.

Box 25, Folder 8

Meetings - Los Angles. Summer 1967, set theory institute.

Box 25, Folder 9

Meetings - Los Angeles. Summer 1967, institute on set theory, handwritten notes & edited notes.

Box 25, Folder 10

Meetings - Los Angeles. Summer 1967, set theory institute, mimeoed notes.

Box 26, Folder 1

Meetings - Vienna 1968.

Box 26, Folder 2

Meetings - New Orleans ASL [Association for Symbolic Logic]. January 22-23 1969, personal.

Box 26, Folder 3

Meetings - June 1970, Israel.

Box 26, Folder 4

Meetings - ASL. January 1971, Atlantic City, personal.

Box 26, Folder 5

Meetings - May 1971, Department of Linguistics and Philosophy, UCLA.

Box 26, Folder 6

Meetings - August/ September 1971, Bucharest, International Congress.

Box 26, Folder 7

Miscellaneous.

Box 26, Folder 8

[Miscellaneous (1st drawer - desk in Dwinelle)?].

Box 26, Folder 9

Miscellaneous notes [abstracts].

Box 26, Folder 10

Miscellaneous, preservable things.

Box 26, Folder 11

[Montague collection: Bequest of the Montague estate. 1971].

Box 26, Folder 12

[Montague's personal - doctoral program].

Box 26, Folder 13

[Montague's personal - program for organ concert].

Box 26, Folder 14

[Montague, Richard (personal, professional correspondence)].

Box 26, Folder 15

[Montague's personal - Homework in Math 235.] [1952-1953].

Box 26, Folder 16

[National Science Foundation - Research Metamathematics. 1968].

Box 26, Folder 17

New Mexico class. March 1967.

Box 26, Folder 18

Niemi, Gunna.

Box 26, Folder 19

Nominalism.

Box 26, Folder 20

Non-finite axiomatizability: 1. talk before AMS 2. additional notes ... 3. some notes ... unimportant.

Box 26, Folder 21

Non-finite axiomatizability (notes which are probably of no importance).

Box 26, Folder 22

Non-finitizable & essentially abstract, also some miscellaneous note on non-finite axiomatizability.

Box 26, Folder 23

Notes on articles & books.

Box 26, Folder 24

[Notes on colloquia talks 1970-1971].

Box 27, Folder 1

Notes from my talk at Cornell, manuscript of abstract.

Box 27, Folders 2-3

NSF - proposal submitted,(November 1964).

Box 27, Folder 4

Old things.

Box 27, Folder 5

On the definition of formal deduction.

Box 27, Folder 6

On the nature of number.

Box 27, Folder 7

On the notion of interpretability.

Box 27, Folder 8

On the paradox of grounded classes.

Box 27, Folder 9

Opportunities for travel & visiting appointments.

Box 27, Folder 10

Orbis.

Box 27, Folder 11

Organ combos.

Box 27, Folder 12

A paradox regained.

Box 28, Folder 1

Personal mementos --- Includes 3 passports.

Box 28, Folder 2

[Philosophical notes, miscellaneous. September 1970].

Box 28, Folder 3

[Philosophy notes, miscellaneous. October 1970- ].

Box 28, Folder 4

Philosophy notes taken while a student.

Box 28, Folder 5

Physics 4A.

Box 28, Folder 6

Poems, story fragments.

Box 28, Folder 7

Pragmatics (paper), manuscript.

Box 28, Folder 8

Pragmatics & intensional logic, manuscript.

Box 28, Folder 9

Pragmatics & intensional logic, Dana's modal logic.

Box 28, Folder 10

Pragmatics ditto masters.

Box 28, Folder 11

Pravity seminar.

Box 28, Folder 12

Predicate calculus - Montague.

Box 28, Folder 13

Predicate calculus, rarified.

Box 28, Folder 14

Predicate calculus: On Tarski's formalization ...

Box 28, Folder 15

Predicate calculus: On Tarski's formalization ... early drafts.

Box 29, Folder 1

Predicate calculus: On Tarski's formalization ... connected material & letters.

Box 29, Folder 2

Predicate calculus (Tarksi, Monk).

Box 29, Folder 3

Predicate calculus w/terms.

Box 29, Folder 4

Predicate calculus (with op[eration]. sym[bol]'s and/or descr. phrases).

Box 29, Folder 5

Prediction paradox.

Box 29, Folders 6-7

Prelims. [Qualifying exams with comments].

Box 29, Folder 8

Preliminary exams, old.

Box 29, Folder 9

Printed matter, miscellaneous, which has been read.

Box 29, Folder 10

Prior comments on philosophers & students.

Box 29, Folder 11

Prior, objects of thought.

Box 29, Folder 12

Probability & intituitionism.

Box 29, Folder 13

Problems, preliminary questions (& miscellaneous questions).

Box 29, Folders 14-15

[Professional correspondence to RM].

Box 29, Folder 16

Project correspondence.

Box 29, Folder 17

Proofs of miscellaneous theorems.

Box 29, Folder 18

Publications, printed references to me, programs, of meetings, recital programs, vita.

Box 29, Folder 19

Publishers & publishers' representatives & literary agents - before 1969.

Box 29, Folder 20

Putnam's problem.

Box 30, Folder 1

Ramsey's theorem.

Box 30, Folder 2

Rank, notion of (summary of talk which never been given, summarizing novelties of MST.

Box 30, Folder 3

Real closed fields.

Box 30, Folder 4

Real numbers, construction of.

Box 30, Folder 5

Recipients of papers and reprints (lists).

Box 30, Folder 6

Recursion theory monograph - old.

Box 30, Folder 7

Recursion theory as a brand of model theory, manuscript.

Box 30, Folder 8

Recursion theory: Gandy & Barwise, UCLA class. Winter & Spring 1968.

Box 30, Folder 9

Recursion theory (generalized) and weak 2nd order logic, old things.

Box 30, Folder 10

[Recursion theory, miscellaneous notes].

Box 30, Folder 11

Recursion theory as a branch of modal theory - ditto masters.

Box 30, Folder 12

Referee's report.

Box 30, Folder 13

Referee's report: F.G. Asenjo.

Box 30, Folder 14

Referee's report: Bunder's thesis.

Box 30, Folder 15

Referee's report: Cobham's paper.

Box 30, Folder 16

Referee's report: J.L. Cohen (first & second versions).

Box 30, Folder 17

Referee report: Gabbay.

Box 30, Folder 18

Referee's report: miscellaneous.

Box 30, Folder 19

Referee's report: Hunter.

Box 30, Folder 20

Referee's report: G. Stahl.

Box 30, Folder 21

Referee's report: R.M. Jones (or fragments, thereof).

Box 30, Folder 22

Referee's report on R.M. Jones' paper (notes on it).

Box 30, Folder 23

Referee's report: S. Kiss' papers.

Box 30, Folder 24

Referee's reports: van Fraassen.

Box 30, Folder 25

Referee's reports: Leblanc 1967.

Box 31, Folder 1

Referee's report: D. Pager (sent to A.R. Anderson).

Box 31, Folder 2

Referee's report: Robert Rogers.

Box 31, Folder 3

Referee's report: Brown & Stuermann.

Box 31, Folder 4

Referee's report: Gerald B. Standley.

Box 31, Folder 5

Referee's report: Vickers proposal.

Box 31, Folder 6

Referee's report: W.L. Zlot.

Box 31, Folder 7

Requirement revision.

Box 31, Folder 8

Referee's report.

Note

SEE Mailings of reprints [reference only - empty folder].
Box 31, Folder 9

Research grants.

Note

SEE ALSO Fellowships & research grants October '70 [reference only - empty].
Box 31, Folder 10

Retirement fund, social security.

Note

Personal items removed to restricted Box 41.
Box 31, Folder 11

Reviews: general information for reviewers.

Box 31, Folder 12

Reviews of Leblanc.

Box 31, Folder 13

Reviews of Martin.

Box 31, Folder 14

Review of Martin: Intension and decision.

Box 31, Folder 15

Reviews: Morris and Resnikoff.

Box 31, Folder 16

Reviews of Simon.

Box 31, Folder 17

Review of Tucker.

Box 31, Folder 18

Review of Wang: Arithmetic translations of axiom systems ... relevant letters from Church.

Box 31, Folder 19

Review of Wang: Between number theory and set theory.

Box 31, Folder 20

Review of Wang.

Box 31, Folder 21

Reviews of recitals in which I have participated, letters of appreciation for same, --- Announcements for same, invitations to play same, some church programs.

Box 31, Folder 22

Robinson's seminar. Spring 1963.

Box 31, Folder 23

Robinson's informal seminar 1963-1964.

Box 31, Folder 24

Role of formal logic.

Note

SEE Philosophy of language .. the role of formal logic --- Reference only - empty folder].
Box 31, Folder 25

Rules of thumb, infallible.

Box 31, Folder 26

Rutgers University.

Box 31, Folder 27

Sabbatical.

Box 31, Folder 28

Sabbatical. August 1962-January 1963.

Note

SEE ALSO: Univerity policies & procedures.
Box 31, Folder 29

Savage.

Box 31, Folder 30

Schonfield, recursion theory, mimeo of notes from UCLA class. Fall 1967.

Box 32, Folder 1

Schonfield, recursive theory, notes on lectures at UCLA. Fall 1967.

Box 32, Folder 2

Schnitt's proof.

Box 32, Folder 3

Scientific notes, miscellaneous.

Box 32, Folder 4

Scientific notes, miscellaneous before 1955.

Box 32, Folder 5

Scott: cumulative theory of types.

Box 32, Folder 6

Scott: interpolation theory.

Box 32, Folder 7

Separability.

Box 32, Folder 8

Set theory.

Note

SEE ALSO Higher order logic: set theory [reference only - folder empty] and Talks, John Dover, 23 February 1967 (higher order operations or ordinals.
Box 32, Folder 9

Set theory: higher card operations (April 1967- ).

Box 32, Folder 10

Set theory: miscellaneous notes. April 1967- .

Box 32, Folder 11

Set theory: gen'd cont. hyp. a possible proof.

Box 32, Folder 12

Set theory: Grewe's summary of Goedel's monograph.

Box 32, Folder 13

Set theory: higher operations.

Box 32, Folder 14

Set theory: justification (begun May 1964).

Box 32, Folder 15

Set theory: Cantor's absolute.

Box 32, Folders 16-17

Set theory: Cohen's proof.

Box 32, Folder 18

Set theory: foundations of (Summer 1964).

Box 32, Folder 19

Set theory: Reflection principles & closure principles.

Box 32, Folder 20

Contributions to axiomatic foundations of set theory (manuscripts).

Box 32, Folder 21

Higher order logic: set theory & 2nd order logic ...

Box 33, Folder 1

Shelah, lectures August 1970.

Box 33, Folder 2

Sigma Ki.

Box 33, Folder 3

Singular sentences.

Box 33, Folder 4

Smith, Perry.

Box 33, Folder 5

Smith, Perry. Dissertation, version 12 May 1970, also, parts of older versions.

Box 33, Folders 6-9

Sobel.

Box 33, Folder 10

Staal.

Box 33, Folder 11

Stairway problem.

Box 34, Folder 1

Standard models of set theories and ranks of set theories.

Box 34, Folder 2

Stencils (Philosophy 187B).

Box 34, Folder 3

Stockholm: Spring 1966.

Box 34, Folder 4

Suppes: Talk at Popper's London seminar. June 14, 1966.

Box 34, Folder 5

Suppes (mimeographed material on set theory).

Box 34, Folder 6

Syntactical treatments of modality: hangman paradox, etc.

Box 34, Folder 7

System of Stupecki.

Box 34, Folder 8

[Talks, possible].

Box 34, Folder 9

Tarski: talk on cylindric algebra.

Box 34, Folder 9

[Tarski] at Stanford on the measure problem.

Box 34, Folder 10

[Tarski symposium].

Box 34, Folder 11

Tarski: seminar on the decision problem Winter 1967.

Box 34, Folder 12

That talk to Philos. Club. December 1, 1961.

Box 34, Folder 13

Theories not finitely axiomatizable (loose scribbles).

Box 34, Folder 14

Texts: trial offers.

Box 34, Folder 15

Theories which are not finitely axiomatizable (copy 1).

Box 34, Folder 16

Theories which are not finitely axiomatizable, manuscripts & typed copy --- Accompanying typed footnotes & title page for thesis.

Box 34, Folder 17

Theories which ... [theorem 6 ?] ...

Box 34, Folder 18

Theories which ... [theorem 8?], manuscript & typescript.

Box 35, Folder 1

Theories which ... [theorem 9?], manuscript & typed copy.

Box 35, Folder 2

Theories which are not finitely axiomatizable, manuscript.

Box 35, Folder 3

Theories which are not finitely axiomatizable (portable kit).

Box 35, Folder 4

Theories which are not ... old footnotes, memoranda.

Box 35, Folder 5

Theories which ... [theorem 2] (predicate calculus), manuscript & typescript.

Box 35, Folder 6

Theory of models: Chang's seminar.

Box 35, Folder 7

Thesis (general).

Box 35, Folder 8

Towards a general theory of computability / and using machines.

Box 35, Folder 9

Travel grants.

Note

SEE Fellowships, research grants & travel grants [reference only - empty folder].
Box 35, Folder 10

Travel information, travel agents, obsolete currency converter.

Box 36, Folder 1

Travel applications: Montague.

Box 36, Folder 2

Travel expenses.

Box 36, Folder 3

Travis.

Box 36, Folder 4

Travis, Larry: dissertation, first uncorrected draft, pp.1-199. (folder 1 of 2).

Box 36, Folder 5

Travis, Larry: dissertation, first uncorrected draft (pp.200-402). (folder 2 of 2).

Box 36, Folder 6

Tripodes, Peter: M.A. thesis.

Box 36, Folder 7

Two contributions to the foundations of set theory by Richard Montague.

Box 36, Folder 8

Undecidability of integration theory.

Box 36, Folder 9

U.S. National Committee - service as member of USNC.

Box 36, Folder 10

[USNC - miscellaneous].

Box 36, Folder 11

U.S. National Committee constitution, most recent.

Box 36, Folder 12

U.S. National Committee constitution, old.

Box 36, Folder 13

U.S. National Committee 5th annual meeting in Washington. 1962, personal.

Box 37, Folder 1

U.S. National Committee 1964 meeting, personal.

Box 37, Folder 2

U.S. National Committee 1965 meeting.

Box 37, Folder 3

U.S. National Committee 1965 meeting, personal.

Box 37, Folder 4

U.S. National Committee 1966 meeting (including proposals) for travel money to Amersterdam.

Box 37, Folder 5

U.S. National Committee 1967 meeting.

Box 37, Folder 6

U.S. National Committee 1968 meeting.

Box 37, Folder 7

U.S. National Committee 1969 meeting.

Box 37, Folder 8

U.S. National Committee membership lists.

Box 37, Folder 9

U.S. National Committee minutes of full committees and sub-committees.

Box 37, Folder 10

U.S. National Committee service as chairman of LMPS sub-committee.

Box 37, Folder 11

U.S. National Committee Amsterdam Congress, excerpts.

Box 37, Folder 12

U.S. National Committee Amsterdam Congress & USNC preparations for it.

Box 37, Folder 13

U.S. National Committee Amsterdam 1967 letters to industry.

Box 37, Folder 14

Vaught - Montague paper, old.

Box 37, Folder 15

Vaught - Montague, final typescript together with corrections.

Box 37, Folder 16

Vaught - Montague paper, manuscript, old version.

Box 37, Folder 17

Vaught - Montague paper, carbons, old version.

Box 38, Folder 1

Vlach.

Box 38, Folder 2

Wald, notes on, Die Widerspruchs, Ergebuisse eines math Koll., vol.8 (1935-1936), pp.38-72.

Box 38, Folder 3

Warsaw. 1961.

Box 38, Folder 4

Weber dissertation.

Box 38, Folder 5

Wisdom, J.

Box 38, Folder 6

Yale.

Box 38, Folder 7

Yost.

Box 38, Folders 8-9

Cocciarella 1.

Box 38, Folder 10

[Linguistics - Partes paper].

Box 39, Folder 1

Morewedge, Parviz: A study in Ibn Sina's metaphysical system, 1-6. (folder 1 of 3).

Box 39, Folder 2

Morewedge, Parviz: A study in Ibn Sina's metaphysical system, translation. (folder 2 of 3).

Box 39, Folder 3

Morewedge, Parviz: A study in Ibn Sina's metaphysical system, notes & glossary. (folder 3 of 3).

Box 40, Folder 1

An axiomatic development of set theory - Appendix 1 (logical).

Box 40, Folder 2

An axiomatic development of set theory - rank-free axioms for set theory.

Box 40, Folder 3

An axiomatic development of set theory, Appendix 1: stencils.

Box 40, Folder 4

An axiomatic development of set theory - some questions of cardinality.

Box 40, Folder 5

An axiomatic method (symposium), programs, & abstracts [empty].

 

Restricted Material

Box 41, Folder 2

Retirement fund, social security --- Material removed from box 31, folder 10.

Note

CONSULT W/MANUSCRIPTS LIBRARIAN REGARDING RESTRICTION.
Box 41, Folder 1

Philosophy 126 [148], philosophy of science. Spring 1960, student notes.

Note

Graded papers removed from box 7, folder 4. CONSULT W/ MANUSCRIPTS LIBRARIAN REGARDING RESTRICTION.