Richard Montague Papers LSC.0264

http://oac.cdlib.org/findaid/ark:/13030/tf2g50045w No online items

Finding Aid for the Richard Montague papers LSC.0264

Finding aid prepared by Manuscripts Division staff; machine-readable finding aid created by Caroline Cubé UCLA Library Special Collections Online finding aid last updated 2020 December 18. Room A1713, Charles E. Young Research Library Box 951575 Los Angeles, CA 90095-1575 [email protected] URL: https://www.library.ucla.edu/special-collections

Finding Aid for the Richard LSC.0264 1 Montague papers LSC.0264 Contributing Institution: UCLA Library Special Collections Title: Richard Montague papers Identifier/Call Number: LSC.0264 Physical Description: 20.4 Linear Feet(40 boxes, 1 oversize box, and 1 document box) Date (inclusive): 1948-1972 Abstract: Richard Montague was a mathematician, theorist and UCLA Professor of Philosophy, known as the namesake behind Montague Grammar theory of natural language semantics. The collection consists of correspondence, lecture notes, research notes, and personal materials relating to Montague's role as an organist. Stored off-site. All requests to access special collections material must be made in advance using the request button located on this page. Language of Material: Materials are in English. Conditions Governing Access Open for research. All requests to access special collections materials must be made in advance using the request button located on this page. Box 41 is restricted due to privacy restrictions including PII and FERPA. Please contact Special Collections reference ([email protected]) for more information. Physical Characteristics and Technical Requirements CONTAINS AUDIOVISUAL MATERIALS: This collection contains processed audiovisual materials. All requests to access digital materials must be made in advance using the request button located on this page. Conditions Governing Use Property rights to the physical objects belong to UCLA Library Special Collections. All other rights, including copyright, are retained by the creators and their heirs. It is the responsibility of the researcher to determine who holds the copyright and pursue the copyright owner or his or her heir for permission to publish where The UC Regents do not hold the copyright. Preferred Citation [Identification of item], Richard Montague papers (Collection 264). UCLA Library Special Collections, Charles E. Young Research Library, University of California, Los Angeles. Provenance/Source of Acquisition Gift from Edgar Montague, 1971. Addition donated by the UCLA Department of Philosophy in 2013. Processing Information Collections are processed to a variety of levels depending on the work necessary to make them usable, their perceived user interest and research value, availability of staff and resources, and competing priorities. Library Special Collections provides a standard level of preservation and access for all collections and, when time and resources permit, conducts more intensive processing. These materials have been arranged and described according to national and local standards and best practices. Original collection processed by Manuscripts Division staff in 1997. Addition processed by Mary Priest in 2015 in the Center for Primary Research and Training (CFPRT) , under the supervision of Jillian Cuellar. Processing of this collection was generously supported by the Constantine and Perina Panunzio Endowment for University Archives. UCLA Catalog Record ID UCLA Catalog Record ID: 2470263 Biography/History Richard Montague was born in Stockton, California on September 20, 1930. Montague studied philosophy at the University of California, Berkeley, receiving his bachelor's degree in 1950. During his graduate work, Montague studied mathematics and philosophy with Alfred Tarski at Bekeley. His dissertation, Contributions to the Axiomatic Foundations of Set Theory, contained groundbreaking work on axiomatic set theory and helped propel Montague's academic career forward. Montague received his master's degree in mathematics from Berkeley in 1953 and his doctorate in the same subject in 1957. Montague began teaching at UCLA in 1955 as a professor of Philosophy. While there, he continued research into natural language semantics and formed an approach that would become known as Montague grammar. His thesis was that natural languages and formal languages contain no theoretical differences in terms of comprehension of syntax and semantics. Montague died on March 7, 1971 in Los Angeles, California after being strangled in his home. His murder currently remains unsolved. Scope and Content

Finding Aid for the Richard LSC.0264 2 Montague papers LSC.0264 This collection consists of professional and personal materials relating to mathematician and UCLA Professor of Philosophy, Richard Montague. The papers includes correspondence, lecture notes, research notes, and a manuscript of a monograph written by Solomon Feferman and Richard Montague. Subject files include conference notes, drafts of unpublished papers, and lecture notes from Montague's mentor, Alfred Tarski. Personal materials include programs, announcements, and brochures relating to Montague's role as an organist. Organization and Arrangement Collection is arranged in the following series: 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 Language and languages -- Philosophy. Philosophy.

Series 1: Feferman - Montague Monograph Physical Characteristics and Technical Requirements CONTAINS AUDIOVISUAL MATERIALS: Audiovisual materials are available for access. All requests to access digital materials must be made in advance using the request button located on this page.

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.

Finding Aid for the Richard LSC.0264 3 Montague papers LSC.0264 Series 1: Feferman - Montague Monograph

box 9, case 1 Philosophic Implications of the Gödel Incompleteness Theorem-ASL Meeting Chicago uclayrlsc_0264_009_005_001a 1965 April 30 Physical Description: 1 Sound Recordings(1 1/4 inch audiotape; Duration: 1:09:18)7 inches Physical Characteristics and Technical Requirements CONTAINS AUDIOVISUAL MATERIALS: Audiovisual materials are available for access. All requests to access digital materials must be made in advance using the request button located on this page. Scope and Contents Content Note: corresponding paper insert and CD included in folder.

box 9, case 1 Philosophic Implications of the Gödel Incompleteness Theorem-ASL Meeting Chicago uclayrlsc_0264_009_005_001b 1965 April 30 Physical Description: 1 Sound Recordings(1 1/4 inch audiotape; Duration: 1:20:23)7 inches Physical Characteristics and Technical Requirements CONTAINS AUDIOVISUAL MATERIALS: Audiovisual materials are available for access. All requests to access digital materials must be made in advance using the request button located on this page. Scope and Contents Content Note: corresponding paper insert and CD included in folder.

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. Series 2: Lecture Notes

box 4, folder 1 Philosphy 12A (Berkeley). Summer 1969. General 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. , & Amsterdam. , official dittoed notes --- pp.1-52 (elementary syntax). Fall 1965 Spring 1966 box 4, folder 4 Philosophy 232 B. , & Amsterdam. , official dittoed notes --- pp.52-95 (non-elementary syntax). Fall 1965 Spring 1966 box 4, folder 5 Philosophy 231 , dittoed notes, official. January 1964-1965 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.

Finding Aid for the Richard LSC.0264 4 Montague papers LSC.0264 Series 2: Lecture Notes

box 4, folder 11 On the nature of some philosophical entities (abstract). box 5, folder 1 Philosophy 240, set theory. , lecture notes. Spring 1959 box 5, folder 2 Philosophy 240, set theory. , lecture notes. Spring 1962 box 5, folder 3-4 [Notebook, untitled]. box 5, folder 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. --- Includes TA evaluations. Fall 1968 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. , lecture notes. Spring 1956 box 7, folder 3 Philosophy 126, philosophy of science. , lecture notes. Spring 1959 box 7, folder 4 Philosophy 126, philosophy of science. , student notes. Spring 1960 General note Graded papers removed to restricted box 41.

box 7, folder 5 Philosophy 222. , lecture & student notes. Fall 1963 box 7, folder 6 Philosophy 222. , student notes (end section missing). Spring 1965 box 7, folder 7 Philosophy 223. , lecture & student notes. Spring 1963 box 7, folder 8 Philosophy 226. , lecture & student notes. Winter, Spring 1967 box 7, folder 9 Philosophy 221A-C. , class notes. 1964/1965 box 7, folder 10 Philosophy 231. , lecture notes. 1964/1965 box 10, folder 12 Philosophy 186, Epistemology , lecture notes & final exam. Fall 1965 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. , lecture notes. Fall 1969 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. , Kleeve. Spring 1958 box 12, folder 3 Philosophy 241. , dittoed material. Fall 1961 box 12, folder 4 Philosophy 241. Fall 1961. box 12, folder 5 Philosophy 135. , lecture & student notes, exam. Spring 1962 box 12, folder 6 Philosophy 135. , lecture notes. Spring 1959 box 12, folder 7 Philosophy 135. , lecture & student notes, exams. Spring 1964 box 12, folder 8 Philosophy 135. , lecture & student notes. Spring 1969 box 13, folder 1 Philosoph 128, philosophy of mathematics. , student notes. Spring 1967 box 13, folder 2 Philosophy 128, philosophy of mathematics. , lecture notes. Spring 1967 box 13, folder 3 Philosophy 128. , lecture & student notes, exams. Fall 1961 box 13, folder 4 Philosophy 128. , lecture & student notes. Fall 1964

Finding Aid for the Richard LSC.0264 5 Montague papers LSC.0264 Series 2: Lecture Notes

box 13, folder 5 UC Berkeley, Philosophy 185. --- Student notes while at Berkeley, miscellaneous, including TA notes. Fall 1957, Fall 1959 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 (), with Bredon. Spring 1961 box 14, folder 3 Mathematics 202 (Spanier), problems & notes. Fall 1960. box 14, folder 4 Mathematics 3B. , Berkeley, Montague T.A. Spring 1954 box 14, folder 5 Math D & Math 2, Berkeley. , Montague T.A. Fall 1954 box 14, folder 6 Philosophy 184. Fall 1957. box 14, folder 7 Philosophy 134. , lecture notes & final exam. Fall 1958 box 14, folder 8 Philosophy 134. Fall 1959. box 14, folder 9 Philosophy 134. Winter 1969. box 14, folder 10 Philosophy 134. , lecture & student notes. Spring 1970 box 14, folder 11 [Unidentified notes]. box 15, folder 1 Philosophy 6A-6B. 1956-1957. box 15, folder 2 Philosophy 260. , mathematical philosophy. Fall/Winter 1967-1968 box 15, folder 3 Philosophy 127 & 287. Winter/Spring 1970. box 15, folder 4 Philosophy 127/287. Dittoed class notes, file copy. Winter/Spring 1970. box 15, folder 5 Philosophy 262A. , dittoed notes. Fall 1963 box 15, folder 6 Philosophy 260. , dittoed notes, file copy. Fall 1967 & Winter 1968 box 15, folder 7 Philosophy 262A. , partial. Fall 1968 box 15, folder 8 Philosophy 262. , philosophy of language --- Includes class roster & enrollment cards. Fall 1968 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. Series 3: 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]. Series 4: 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. General 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. , lecture notes. Summer 1969 box 1, folder 10 The role of formal logic. box 1, folder 11 Symbolization.

Finding Aid for the Richard LSC.0264 6 Montague papers LSC.0264 Series 4: Philosophy of Language (Miscellaneous Research Notes)

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 , most of which led to the paper Universal grammar. Fall 1969 box 2, folder 3 Proper treatment of quantification in ordinary English language: talk at Berkeley. --- Correspondence only. February 1971 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. Series 5: Subject Files Restrictions on Access Portions of this series are restricted.

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. (model theory). Fall 1964 box 16, folder 18 Chang's seminar on undecided theories, McLaughlin's report. box 17, folder 1 Chang's seminar on semantics.

Finding Aid for the Richard LSC.0264 7 Montague papers LSC.0264 Series 5: Subject Files Restricted Material

box 17, folder 2 Chang's seminar. , model theory with values in a uniform space. Spring 1962 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, folder 3-4 [Letters. 1965].

Finding Aid for the Richard LSC.0264 8 Montague papers LSC.0264 Series 5: Subject Files Restricted Material

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, Letters of recommendation. folder 9-10 box 22, folder 11 Letters. , professional correspondence. 1960-1961 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 () & UBC () & LSE (). June 1966 July-August 1968 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 Stanford workshop on grammar and semantics of natural language. 1970 - September & November. box 23, folder 23 Meetings - September, November. Stanford Materials III - most interesting. Also contains some comments. box 24, folder 1 Meetings - Stanford. , Materials Moravcsik, with my notes & comments on mass terms. September, November 1970 box 24, folder 2 Meetings - Stanford workshop papers: Partee & Suppes & Moravcsik & my comments. box 24, folder 3 Meetings - , Stanford Materials I. September, November 1970 box 24, folder 4 Meetings - , Stanford Materials 2. September, November 1970 box 24, folder 5 Meetings - Amsterdam, general assembly. box 24, folder 6 Meetings - , Warsaw, abstracts & notes. Summer 1959 box 25, folder 1 Meetings - Berkeley & Europe. Summer 1963. box 25, folder 2 Meetings - Helsinki. Summer 1962. box 25, folder 3 Meetings - model theory symposium. Summer 1963 box 25, folder 4 Meetings - Oxford symposium. Summer 1963 box 25, folder 5 Meetings - Stanford Congress.

Finding Aid for the Richard LSC.0264 9 Montague papers LSC.0264 Series 5: Subject Files Restricted Material

box 25, folder 6 Meetings - Israel. Summer 1964. box 25, folder 7 Meetings - Amsterdam Congress, abstracts & notes from talks & programs. Summer 1967 box 25, folder 8 Meetings - Los Angeles, set theory institute. Summer 1967 box 25, folder 9 Meetings - Los Angeles, institute on set theory, handwritten notes & edited notes. Summer 1967 box 25, folder 10 Meetings - Los Angeles, set theory institute, mimeoed notes. Summer 1967 box 26, folder 1 Meetings - Vienna 1968. box 26, folder 2 Meetings - New Orleans ASL [Association for Symbolic Logic]. , personal. January 22-23 1969 box 26, folder 3 Meetings - Israel. June 1970 box 26, folder 4 Meetings - ASL. , Atlantic City, personal. January 1971 box 26, folder 5 Meetings - Department of Linguistics and Philosophy, UCLA. May 1971 box 26, folder 6 Meetings - Bucharest, International Congress. August/ September 1971 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, folder 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.

Finding Aid for the Richard LSC.0264 10 Montague papers LSC.0264 Series 5: Subject Files Restricted Material

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, folder 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, [Professional correspondence to RM]. folder 14-15 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. General note SEE Mailings of reprints [reference only - empty folder].

Finding Aid for the Richard LSC.0264 11 Montague papers LSC.0264 Series 5: Subject Files Restricted Material

box 31, folder 9 Research grants. General note SEE ALSO Fellowships & research grants October '70 [reference only - empty].

box 31, folder 10 Retirement fund, social security. General 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. General 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. General 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. General 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.

Finding Aid for the Richard LSC.0264 12 Montague papers LSC.0264 Series 5: Subject Files Restricted Material

box 32, Set theory: Cohen's proof. folder 16-17 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 , also, parts of older versions. 12 May 1970 box 33, folder 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. General 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.

Finding Aid for the Richard LSC.0264 13 Montague papers LSC.0264 Series 5: Subject Files Restricted Material

box 36, folder 12 U.S. National Committee constitution, old. box 36, folder 13 U.S. National Committee 5th annual meeting in Washington. , personal. 1962 box 37, folder 1 U.S. National Committee meeting, personal. 1964 box 37, folder 2 U.S. National Committee meeting. 1965 box 37, folder 3 U.S. National Committee meeting, personal. 1965 box 37, folder 4 U.S. National Committee meeting (including proposals) for travel money to Amersterdam. 1966 box 37, folder 5 U.S. National Committee meeting. 1967 box 37, folder 6 U.S. National Committee meeting. 1968 box 37, folder 7 U.S. National Committee meeting. 1969 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 letters to industry. 1967 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 (), pp.38-72. 1935-1936 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, folder 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 General note CONSULT W/MANUSCRIPTS LIBRARIAN REGARDING RESTRICTION.

box 41, folder 1 Philosophy 126 [148], philosophy of science, student notes. Spring 1960 General note Graded papers removed from box 7, folder 4. CONSULT W/ MANUSCRIPTS LIBRARIAN REGARDING RESTRICTION.

Finding Aid for the Richard LSC.0264 14 Montague papers LSC.0264 Series 6: Addition 1948-1972

Series 6: Addition 1948-1972 Scope and Content This series contains materials added to the collection in 2013. Materials in this series include personal correspondence, Montague's coursework from Berkeley, genealogical notes, and NSF grant forms. Processing Information PROCESSING INFORMATION: This series includes materials from the 2013 addition and was processed in 2015 by Mary Priest.

box 1, folder 2 Correspondence: Personal 1954-1958 box 1, folder 2 Correspondence Regarding Montague's Death 1971-1972 box 1, folder 3 Genealogical Forms 1967 box 1, folder 4 Mailing Lists 1954 box 1, folder 5 Montague's Coursework 1948 box 1, folder 6 National Science Foundation Grants 1961-1965 box 1, folder 7 Organ Ephemera 1953-1955 box 1, folder 8 Secretary Notes, Association for Symbolic Logic 1965-1971 box 1, folder 9 Various Berkeley/San Francisco Newspapers 1969

Finding Aid for the Richard LSC.0264 15 Montague papers LSC.0264