Richard Montague papers, 1948-1971
- Series 1: Feferman - Montague Monograph
- Series 2: Lecture Notes
- Series 3: Personal
- Series 4: Philosophy of Language (Miscellaneous Research Notes)
- Series 5: Subject Files
- Series 6: Addition
Subjects and Indexing Terms
Series 1: Feferman - Montague Monograph
Correspondence & publishing agreement.
Dittoed material - Chapters 1-3, etc.
Chapters 1-2, old version.
Chapters 3-4, second copy (with letter about directness theorem).
Chapter 2, theorem 4, carbon.
Continuum of relative interpretability types (abstract).
Independently axiomatizable theories, abstract & early notes.
Generalization of Goedel's two theorems (symposium paper, etc.).
General formulations of Goedel's second underivability theorem.
Extremes of Goedel's second incompleteness theorem, talk in Chicago. April 1965.
Chapters 1-9 off[icial] copy.
Errors of Way & Mostowski.
Chapter 10 (strongly arithmetical, or set theoretical theories).
Feferman. Arithmetization of metamathematics in a general setting.
Feferman pencilled class notes.
Feferman: lecture notes on metamathematics.
Church, manuscript on formal theories.
Series 2: Lecture Notes
Predicate calculus: how to eliminate descriptions (and other definite singular terms).
Philosophy 232B. , & Amsterdam. , official dittoed notes --- pp.1-52 (elementary syntax). Fall 1965 Spring 1966
Philosophy 232 B. , & Amsterdam. , official dittoed notes --- pp.52-95 (non-elementary syntax). Fall 1965 Spring 1966
Philosophy 231 , dittoed notes, official. January 1964-1965
Philosophy 232B. Fall 1965.
Pragmatics & intensional logic, notes & talks.
Pragmatics (paper), supplementary materials.
Pragmatics & language. Spring 1966.
On the nature of some philosophical entities (abstract).
Philosophy 240, set theory. , lecture notes. Spring 1959
Philosophy 240, set theory. , lecture notes. Spring 1962
[Philosophy 127A / 287].
Philosophy 221, set theory.
Philosophy 221C. Spring 1967.
Philosophy 127 / 287. Winter/Spring 1970.
Philosophy 192, philosophy of language. Fall 1958.
Philosophy 127 / 287. Spring 1955.
Philosophy 127 / 287. Spring 1963.
Kalish - Montague text corrections.
Philsophy 32. Winter 1970.
Philosophy. Spring 1964.
Philosophy 31. Fall 1970.
Philosophy 31. --- Includes TA evaluations. Fall 1968
Philosophy 31. Fall 1967.
Philosophy 31. Winter 1967.
Philosophy 31. Fall 1963.
Philosophy 31. Fall 1956.
Philosophy 31. Spring 1956.
Philosophy 31. Spring 1956.
Philosophy 30, inductive logic. Spring 1956, Fall 1958, Spring 1960.
Philosophy 126, philosophy of science. Fall 1956.
Philosophy 126, philosophy of science. , lecture notes. Spring 1956
Philosophy 126, philosophy of science. , lecture notes. Spring 1959
Philosophy 222. , lecture & student notes. Fall 1963
Philosophy 222. , student notes (end section missing). Spring 1965
Philosophy 223. , lecture & student notes. Spring 1963
Philosophy 226. , lecture & student notes. Winter, Spring 1967
Philosophy 221A-C. , class notes. 1964/1965
Philosophy 231. , lecture notes. 1964/1965
Philosophy 186, Epistemology , lecture notes & final exam. Fall 1965
Mathematics 290G (Berkeley), Foundations of set theory. Spring 1961.
Mathematics 223, Advanced topics in set theory. 1967-1968.
Mathematics 135A (Montague taught at Berkeley). Fall 1960.
Philosophy 240, recursive functions. , lecture notes. Fall 1969
Philosophy 260. 1967-1968.
Philosophy 262B, recursive functions. Spring 1969.
Philosophy 262A, philosophy of language. Fall 1968.
Philosophy 241. Spring 1957.
Philosophy 241, dittoed material. Spring 1956.
Philosophy 241. , Kleeve. Spring 1958
Philosophy 241. , dittoed material. Fall 1961
Philosophy 241. Fall 1961.
Philosophy 135. , lecture & student notes, exam. Spring 1962
Philosophy 135. , lecture notes. Spring 1959
Philosophy 135. , lecture & student notes, exams. Spring 1964
Philosophy 135. , lecture & student notes. Spring 1969
Philosoph 128, philosophy of mathematics. , student notes. Spring 1967
Philosophy 128, philosophy of mathematics. , lecture notes. Spring 1967
Philosophy 128. , lecture & student notes, exams. Fall 1961
Philosophy 128. , lecture & student notes. Fall 1964
UC Berkeley, Philosophy 185. --- Student notes while at Berkeley, miscellaneous, including TA notes. Fall 1957, Fall 1959
UC Berkeley, Philosophy 185. Spring 1955.
UC Berkeley, Mathematics 150A, with Loeve.
RM's student notes from Mathematics 290V (model theory), Tarski-Vaught. 1960-1961.
RM's student notes from Tarksi's Math 225A. 1948-1949.
[UCB - RM] Mathematics 202 (), with Bredon. Spring 1961
Mathematics 202 (Spanier), problems & notes. Fall 1960.
Mathematics 3B. , Berkeley, Montague T.A. Spring 1954
Math D & Math 2, Berkeley. , Montague T.A. Fall 1954
Philosophy 184. Fall 1957.
Philosophy 134. , lecture notes & final exam. Fall 1958
Philosophy 134. Fall 1959.
Philosophy 134. Winter 1969.
Philosophy 134. , lecture & student notes. Spring 1970
Philosophy 6A-6B. 1956-1957.
Philosophy 260. , mathematical philosophy. Fall/Winter 1967-1968
Philosophy 127 & 287. Winter/Spring 1970.
Philosophy 127/287. Dittoed class notes, file copy. Winter/Spring 1970.
Philosophy 262A. , dittoed notes. Fall 1963
Philosophy 260. , dittoed notes, file copy. Fall 1967 & Winter 1968
Philosophy 262A. , partial. Fall 1968
Philosophy 262. , philosophy of language --- Includes class roster & enrollment cards. Fall 1968
Pragmatics: Charles Howard, modal logical.
Philosophy 260, extra copy of dittoed notes on analysis of natural language.
Series 3: Personal
Recital, concert, play programs (events in which I am not a participant), miscellaneous bulletins.
Organists' & choral directors' guilds.
Miscellaneous church & organ business.
Letters connnected with process.
Combinations, references to music.
Musical announcements, programs.
Series 4: Philosophy of Language (Miscellaneous Research Notes)
Davidson (notes on his papers).
Ordinary language: English as a formal language, talks (Vancouver & abstract, Milan, Los Angeles).
On the nature of certain philosophical entities: talks, notes & abstract.
Miscellaneous research notes. June 1969- .
Analysis of ordinary language: miscellaneous materials.
Intensional verbs & Berkeley's argument.
Intensional logic & some of its connections with ordinary logic: talks.
Berkeley class. , lecture notes. Summer 1969
The role of formal logic.
Universal grammar: talks & correspondence.
Pragmatics: subjunctive conditionals.
Notes during , most of which led to the paper Universal grammar. Fall 1969
Proper treatment of quantification in ordinary English language: talk at Berkeley. --- Correspondence only. February 1971
Universal grammar, manuscript.
English as a formal language I, manuscript.
English as a formal language, manuscript.
On the nature of certain philosophical entities, manuscript.
Intensional logic & some of its connection with ordinary language: notes.
Miscellaneous notes: October 1968-May 1969.
Logical analysis in ordinary language.
English as a formal language.
On the nature of certain philosophical entities.
English as a formal language I, Zerox of typescript.
The paradox of the stone.
Chomsky, etc.: bibliographic references, articles.
Recursiveness of syntactic categories.
The proper treatment of quantification in ordinary English: talks, latest version.
Proper treatment of quantification in ordinary English, typescript.
Proper treatment of quantification in ordinary English: talks, all but latest version.
Pragmatics (paper): notes concerning.
Ordinary language: English as a formal language, notes.
Ordinary language, analysis of.
Pragmatics & intensional logic: paper.
Referential opacity, sense data, intensional data.
Student [job posting].
Miscellaneous requests - pending.
Reprint (reprint series).
Tarski - Festschrift.
Grants - NSF [National Science Foundation] submitted March 1969.
Academic appointments, grants, fellowships, professional matters.
Albuquerque: talk & prospectus.
Appointment to UCLA memorabilia.
Arithmetical classes: extension to the transfinite.
Arithmetical classes (semi-axiomatizes).
Automata, selected reprints on.
Calculus of ought, Montague.
Calculus of prenex forms.
Carnap: foundations of physics.
Carnap: applications of logic (from logical theory course).
Carnap's probability book, notes.
Carnap probability notes.
Carnap: probability seminar.
Carnap, Schlipp volume.
Chang's lectures. (model theory). Fall 1964
Chang's seminar on undecided theories, McLaughlin's report.
Chang's seminar on semantics.
Chang's seminar. , model theory with values in a uniform space. Spring 1962
Consistency of set theory, relative consistency theories.
Contributions to the axiomatic foundations of set theory, copy 3.
Contributions to the axiomatic foundations of set theory, old copy 2.
Contributions to the axiomatic foundations of set theory, copy 4.
Contributions to the axiomatic foundations of set theory, notes & sketches.
Convergence in topology.
DeBouvere: bilateral interpretability & synonymity.
Definable models of set theory.
Degrees of unsolvability.
Deterministic theories, manuscript.
Deterministic theories, with revisions sent to Washburne & note from Markovic.
Deterministic theories, notes & revisions.
Differential equations (corrected with determinism).
Doubly recursive functions.
Editorial responsibilities, Journal of Philosophical Logic.
Editorial responsibilities, The Philosophical Forum.
Effective operations, etc.
Gaifman, model theory, class at UCLA. Spring 1968.
Functional calculus which holds in the null domain.
Friedman (prenex nf proof).
Hemphill & Oppenheim on explanation (Eberle, Kaplan & Montague).
Herbrand theorem - attempts.
Higher-order logic: foundations of.
Higher-order logic: reductions of.
Higher-order logic: reductions of, manuscript.
Higher-order logic: Kurtzman.
Higher-order logic: recent problems.
Higher-order logic: Craig's lemma & 2nd order model theory (?).
Higher-order logic: miscellaneous.
Higher-order logic: set theory & higher-order logic.
Higher-order logic (see also black notebook).
Higher order structures.
Incomparable theories (abstract).
Interpretability in terms of models.
Interpretability vs. relative interpretability.
Intensional logic: Dana, David, manuscript.
Keisler's talk, with comments.
Keisler, et al. Model theory, notes on lectures at UCLA. 1967-1968.
Keisler, dittoed notes from UCLA model theory class. Fall 1967.
Keisler, notes on model theory from Wisconsin.
Kreisel & Wang paper, my notes on.
Kreisel, two expository notes on foundations (for set theory symposium book). Summer 1967.
Kreisel, two notes ...
Letters, miscellaneous from logicians.
Letters, miscellaneous, university business.
Letters. Spring 1966.
Letters sent, (copies), [ 1961-1962].
Letters, telegrams received. June-August 1958.
Letters received. January-February 1958.
Letters received. September-December 1957.
Letters received. late 1957, early 1958.
Letters of recommendation.
Letters. , professional correspondence. 1960-1961
Letters (including paradox regained correspondence). 1959, 1960.
Letter to Tarski. 19 March 1957.
Levy's first axiom: Tarski's axiom of inaccessible sets.
London. June 1966.
Logic notes, miscellaneous.
Logic of science.
Logic: techniques, corrections, 4th set (). November 1965
Logic: techniques for formal reasoning, some correspondence.
Logic: techniques ..., miscellaneous improvements, remarks & corrections.
Logical necessity, physcial necessity, ethics and quantifiers.
Logical necessity ... revised version, manuscript & carbons & galleys.
Mahlo numbers, inaccessibles.
Mailings of reprints, etc., record of mailings (). before 1970
Mailings of reprints & copies of papers (record of). 1970- .
McLaughlin, recursive foundation seminar. Spring 1962.
Models for set theory (notes on Tarski's manuscript).
Model theory: lectures at LSE () & UBC () & LSE (). June 1966 July-August 1968 1962
Model theory: miscellaneous.
Mutual interpretability vs. mutual relative interpretability.
Mutual interpretability vs. mutual relative interpretability (old).
Meetings Stanford workshop on grammar and semantics of natural language. 1970 - September & November.
Meetings - September, November. Stanford Materials III - most interesting. Also contains some comments.
Meetings - Stanford. , Materials Moravcsik, with my notes & comments on mass terms. September, November 1970
Meetings - Stanford workshop papers: Partee & Suppes & Moravcsik & my comments.
Meetings - , Stanford Materials I. September, November 1970
Meetings - , Stanford Materials 2. September, November 1970
Meetings - Amsterdam, general assembly.
Meetings - , Warsaw, abstracts & notes. Summer 1959
Meetings - Berkeley & Europe. Summer 1963.
Meetings - Helsinki. Summer 1962.
Meetings - model theory symposium. Summer 1963
Meetings - Oxford symposium. Summer 1963
Meetings - Stanford Congress.
Meetings - Israel. Summer 1964.
Meetings - Amsterdam Congress, abstracts & notes from talks & programs. Summer 1967
Meetings - Los Angeles, set theory institute. Summer 1967
Meetings - Los Angeles, institute on set theory, handwritten notes & edited notes. Summer 1967
Meetings - Los Angeles, set theory institute, mimeoed notes. Summer 1967
Meetings - Vienna 1968.
Meetings - New Orleans ASL [Association for Symbolic Logic]. , personal. January 22-23 1969
Meetings - Israel. June 1970
Meetings - ASL. , Atlantic City, personal. January 1971
Meetings - Department of Linguistics and Philosophy, UCLA. May 1971
Meetings - Bucharest, International Congress. August/ September 1971
[Miscellaneous (1st drawer - desk in Dwinelle)?].
Miscellaneous notes [abstracts].
Miscellaneous, preservable things.
[Montague collection: Bequest of the Montague estate. 1971].
[Montague's personal - doctoral program].
[Montague's personal - program for organ concert].
[Montague, Richard (personal, professional correspondence)].
[Montague's personal - Homework in Math 235.] [1952-1953].
[National Science Foundation - Research Metamathematics. 1968].
New Mexico class. March 1967.
Non-finite axiomatizability: 1. talk before AMS 2. additional notes ... 3. some notes ... unimportant.
Non-finite axiomatizability (notes which are probably of no importance).
Non-finitizable & essentially abstract, also some miscellaneous note on non-finite axiomatizability.
Notes on articles & books.
[Notes on colloquia talks 1970-1971].
Notes from my talk at Cornell, manuscript of abstract.
NSF - proposal submitted,(). November 1964
On the definition of formal deduction.
On the nature of number.
On the notion of interpretability.
On the paradox of grounded classes.
Opportunities for travel & visiting appointments.
A paradox regained.
Personal mementos --- Includes 3 passports.
[Philosophical notes, miscellaneous. September 1970].
[Philosophy notes, miscellaneous. October 1970- ].
Philosophy notes taken while a student.
Poems, story fragments.
Pragmatics (paper), manuscript.
Pragmatics & intensional logic, manuscript.
Pragmatics & intensional logic, Dana's modal logic.
Pragmatics ditto masters.
Predicate calculus - Montague.
Predicate calculus, rarified.
Predicate calculus: On Tarski's formalization ...
Predicate calculus: On Tarski's formalization ... early drafts.
Predicate calculus: On Tarski's formalization ... connected material & letters.
Predicate calculus (Tarksi, Monk).
Predicate calculus w/terms.
Predicate calculus (with op[eration]. sym[bol]'s and/or descr. phrases).
Prelims. [Qualifying exams with comments].
Preliminary exams, old.
Printed matter, miscellaneous, which has been read.
Prior comments on philosophers & students.
Prior, objects of thought.
Probability & intituitionism.
Problems, preliminary questions (& miscellaneous questions).
[Professional correspondence to RM].
Proofs of miscellaneous theorems.
Publications, printed references to me, programs, of meetings, recital programs, vita.
Publishers & publishers' representatives & literary agents - before 1969.
Rank, notion of (summary of talk which never been given, summarizing novelties of MST.
Real closed fields.
Real numbers, construction of.
Recipients of papers and reprints (lists).
Recursion theory monograph - old.
Recursion theory as a brand of model theory, manuscript.
Recursion theory: Gandy & Barwise, UCLA class. Winter & Spring 1968.
Recursion theory (generalized) and weak 2nd order logic, old things.
[Recursion theory, miscellaneous notes].
Recursion theory as a branch of modal theory - ditto masters.
Referee's report: F.G. Asenjo.
Referee's report: Bunder's thesis.
Referee's report: Cobham's paper.
Referee's report: J.L. Cohen (first & second versions).
Referee report: Gabbay.
Referee's report: miscellaneous.
Referee's report: Hunter.
Referee's report: G. Stahl.
Referee's report: R.M. Jones (or fragments, thereof).
Referee's report on R.M. Jones' paper (notes on it).
Referee's report: S. Kiss' papers.
Referee's reports: van Fraassen.
Referee's reports: Leblanc 1967.
Referee's report: D. Pager (sent to A.R. Anderson).
Referee's report: Robert Rogers.
Referee's report: Brown & Stuermann.
Referee's report: Gerald B. Standley.
Referee's report: Vickers proposal.
Referee's report: W.L. Zlot.
Reviews: general information for reviewers.
Reviews of Leblanc.
Reviews of Martin.
Review of Martin: Intension and decision.
Reviews: Morris and Resnikoff.
Reviews of Simon.
Review of Tucker.
Review of Wang: Arithmetic translations of axiom systems ... relevant letters from Church.
Review of Wang: Between number theory and set theory.
Review of Wang.
Reviews of recitals in which I have participated, letters of appreciation for same, --- Announcements for same, invitations to play same, some church programs.
Robinson's seminar. Spring 1963.
Robinson's informal seminar 1963-1964.
Rules of thumb, infallible.
Schonfield, recursion theory, mimeo of notes from UCLA class. Fall 1967.
Schonfield, recursive theory, notes on lectures at UCLA. Fall 1967.
Scientific notes, miscellaneous.
Scientific notes, miscellaneous before 1955.
Scott: cumulative theory of types.
Scott: interpolation theory.
Set theory: higher card operations (). April 1967-
Set theory: miscellaneous notes. April 1967- .
Set theory: gen'd cont. hyp. a possible proof.
Set theory: Grewe's summary of Goedel's monograph.
Set theory: higher operations.
Set theory: justification (begun ). May 1964
Set theory: Cantor's absolute.
Set theory: Cohen's proof.
Set theory: foundations of (). Summer 1964
Set theory: Reflection principles & closure principles.
Contributions to axiomatic foundations of set theory (manuscripts).
Higher order logic: set theory & 2nd order logic ...
Shelah, lectures August 1970.
Smith, Perry. Dissertation, version , also, parts of older versions. 12 May 1970
Standard models of set theories and ranks of set theories.
Stencils (Philosophy 187B).
Stockholm: Spring 1966.
Suppes: Talk at Popper's London seminar. June 14, 1966.
Suppes (mimeographed material on set theory).
Syntactical treatments of modality: hangman paradox, etc.
System of Stupecki.
Tarski: talk on cylindric algebra.
[Tarski] at Stanford on the measure problem.
Tarski: seminar on the decision problem Winter 1967.
That talk to Philos. Club. December 1, 1961.
Theories not finitely axiomatizable (loose scribbles).
Texts: trial offers.
Theories which are not finitely axiomatizable (copy 1).
Theories which are not finitely axiomatizable, manuscripts & typed copy --- Accompanying typed footnotes & title page for thesis.
Theories which ... [theorem 6 ?] ...
Theories which ... [theorem 8?], manuscript & typescript.
Theories which ... [theorem 9?], manuscript & typed copy.
Theories which are not finitely axiomatizable, manuscript.
Theories which are not finitely axiomatizable (portable kit).
Theories which are not ... old footnotes, memoranda.
Theories which ... [theorem 2] (predicate calculus), manuscript & typescript.
Theory of models: Chang's seminar.
Towards a general theory of computability / and using machines.
Travel information, travel agents, obsolete currency converter.
Travel applications: Montague.
Travis, Larry: dissertation, first uncorrected draft, pp.1-199. (folder 1 of 2).
Travis, Larry: dissertation, first uncorrected draft (pp.200-402). (folder 2 of 2).
Tripodes, Peter: M.A. thesis.
Two contributions to the foundations of set theory by Richard Montague.
Undecidability of integration theory.
U.S. National Committee - service as member of USNC.
[USNC - miscellaneous].
U.S. National Committee constitution, most recent.
U.S. National Committee constitution, old.
U.S. National Committee 5th annual meeting in Washington. , personal. 1962
U.S. National Committee meeting, personal. 1964
U.S. National Committee meeting. 1965
U.S. National Committee meeting, personal. 1965
U.S. National Committee meeting (including proposals) for travel money to Amersterdam. 1966
U.S. National Committee meeting. 1967
U.S. National Committee meeting. 1968
U.S. National Committee meeting. 1969
U.S. National Committee membership lists.
U.S. National Committee minutes of full committees and sub-committees.
U.S. National Committee service as chairman of LMPS sub-committee.
U.S. National Committee Amsterdam Congress, excerpts.
U.S. National Committee Amsterdam Congress & USNC preparations for it.
U.S. National Committee Amsterdam letters to industry. 1967
Vaught - Montague paper, old.
Vaught - Montague, final typescript together with corrections.
Vaught - Montague paper, manuscript, old version.
Vaught - Montague paper, carbons, old version.
Wald, notes on, Die Widerspruchs, Ergebuisse eines math Koll., vol.8 (), pp.38-72. 1935-1936
[Linguistics - Partes paper].
Morewedge, Parviz: A study in Ibn Sina's metaphysical system, 1-6. (folder 1 of 3).
Morewedge, Parviz: A study in Ibn Sina's metaphysical system, translation. (folder 2 of 3).
Morewedge, Parviz: A study in Ibn Sina's metaphysical system, notes & glossary. (folder 3 of 3).
An axiomatic development of set theory - Appendix 1 (logical).
An axiomatic development of set theory - rank-free axioms for set theory.
An axiomatic development of set theory, Appendix 1: stencils.
An axiomatic development of set theory - some questions of cardinality.
An axiomatic method (symposium), programs, & abstracts [empty].
Series 6: Addition 1948-1972
Correspondence: Personal 1954-1958
Correspondence Regarding Montague's Death 1971-1972
Genealogical Forms 1967
Mailing Lists 1954
Montague's Coursework 1948
National Science Foundation Grants 1961-1965
Organ Ephemera 1953-1955
Secretary Notes, Association for Symbolic Logic 1965-1971
Various Berkeley/San Francisco Newspapers 1969