Works of Richard Montague

1. Montague and J. Tarski. On Bernstein's Self-Dual Set of Postulates
for Boolean Algebras. Proc. Am. Math. Soc. 5:310-11 (1954).
2. Non-finitizable and Essentially Non-finitizable Theories. Bull. Am.
Math. Soc. 61:172-73 (1955).
3. On the Paradox of Grounded Classes. Journal of Symbolic Logic
20:140 (1955).
4 .* Well-founded Relations: Generalizations of Principles of Induction
and Recursion. Bull. Am. Math. Soc. 61:443 (1955).
5. Zermelo-Fraenkel Set Theory Is Not a Finite Extension of Zermelo
Set Theory. Bull. Am. Math. Soc. 62:260 (1956).
6. Montague and D. Kalish. A Simplification of Tarski's Formulation
of the Predicate Calculus. Bull. Am. Math. Soc. 62:261 (1956).
7. -. An Extension of Tarski's Notion of Satisfaction. Bull. Am. Math.
Soc. 62:261 (1956).
8. -. Formulations of the Predicate Calculus with Operation Symbols
and Descriptive Phrases. Bull. Am. Math. Soc. 62:261 (1956).
9. Montague and L. Henkin. On the Definition of 'Formal Deduction'
Journal of Symbolic Logic 21:129-36 (1956).
10. Models of Set Theories. Bull. Am. Math. Soc. 62:599-600 (1956).
11. Review of Wang, Arithmetic Translations of Axiom Systems (Trans
Am. Math. Soc. 71:283-93 (1951)). Journal of Symbolic Logic 21 : 402-
403 (1956).

12 .* Independently Axiomatizable Theories. Bull. Am. Math. Soc.
63:26 (1957).
13. Review of Wang, Between Number Theory and Set Theory (Math.
Assn. 126:385-409 (1953)). Journal of Symbolic Logic 22:82-83 (1957).
14. Montague and D. Kalish. Remarks on Descriptions and Natural
Deduction, Part 1. Archiv für mathematische Logik und Grundlagen-
forschung 3:50-64 (1957).

15. Non-finite Axiomatizability. In Summaries of Talks Presented at the
Summer Institute of Symbolic Logic in 1957 at Cornell University
Sponsored by the American Mathematical Society under a Grant from
the National Science Foundation 2:256-59. Mimeographed, Cornell,
1957.
16. Two Theorems on Relative Interpretability. Ibid. 2:263-65.
17. Montague and A. Tarski. Independent Recursive Axiomatizability.
Ibid. 2:270-71.
18. Montague and R. Vaught. Models of Set Theory. Ibid. 3:353-55.
19 .* An Extension of Gödel's Incompleteness Theorem. Bull. Am. Math.
Soc. 63:399 (1957).
20. Review of Wang, Truth Definitions and Consistency Proofs (Trans.
Am. Math. Soc. 73:243-75(1952)). Journal of Symbolic Logic 22:365-67
(1957).
21. Montague and D. Kalish. Remarks on Descriptions and Natural
Deduction, Part 2. Archiv für math. Logik und Grundlagenforschung
3:65-73 (1958).
22 .* Incomparable Theories. Notices of the Am. Math. Soc. 6:362-63
(1958).
23. Montague and D. Kalish. 'That'. Philosophical Studies 10:54-61
(1959). Chapter 2 in this book.



24. The Continuum of Relative Interpretability Types. Journal of Symbolic
Logic 23:460 (1958).
25. Montague and R. Vaught. Natural Models of Set Theories. Fundamenta
Mathematicae 47:219-42 (1959).
26. -. A Note on Theories with Selectors. Fundamenta Mathematicae
47:243-47 (1959).
27. Review of Martin, Truth and Denotation: A Study in Semantical
Theory (Chicago, 1958). Journal of Symbolic Logic 24:217-19 (1959).
28. D. Kaplan and Montague. A Paradox Regained. Notre Dame Journal
of Formal Logic 1:79-90 (1960). Chapter 9 in this book.
29. Logical Necessity, Physical Necessity, Ethics, and Quantifiers.
Inquiry 4:259-69 (1960). Chapter 1 in this book.
30. Review of Martin, On Inscriptions (Philosophy and Phenomenological
Research 11:535-640 (1951)). Journal of Symbolic Logic 25:84-85
(1960).
31. Review of Martin, On Inscriptions and Concatenation (Philosophy
and Phenomenological Research 12:418-21 (1952)). Journal of Symbolic
Logic 25:85 (1960).
32. Review of Leblanc, Evidence Logique et Degré de Confirmation
(Revue Philosophique de Louvain 52:619-25 (1954)). Journal of Symbolic
Logic 25:86 (1960).

33. Review of Leblanc, On Logically False Evidence Statements (Journal
of Symbolic Logic 22:345-59 (1957)). Journal of Symbolic Logic
25:86-87 (1960).
34. Review of Simon, Definable Terms and Primitives in Axiom Systems
(in The Axiomatic Method, Amsterdam, 1959). Journal of Symbolic
Logic 25:355-56 (1960).
35. Towards a General Theory of Computability. Synthèse 12:429-38
(1960).
36. Semantical Closure and Non-finite Axiomatizability I. In Infinitistic
Methods. Warsaw, 1961.
37. R. Eberle, D. Kaplan, and Montague. Hempel and Oppenheim on
Explanation. Philosophy of Science 28:418-28 (1961).
38. Fraenkel's Addition to the Axioms of Zermelo. In Essays in the
Foundations of Mathematics. Jerusalem, 1961.
39. Two Contributions to the Foundations of Set Theory. In Proceedings
of the International Congress of Logic, Methodology and Philosophy of
Science. Stanford, 1962.
40. Deterministic Theories. In Decisions, Values, and Groups 2. Oxford,
1962. Chapter 11 in this book.
41. Theories Incomparable with Respect to Relative Interpretability.
Journal of Symbolic Logic 27:195-211 (1962).

42. Syntactical Treatments of Modality, with Corollaries of Reflexion
Principles and Finite Axiomatizability. Acta Philosophica Fennica
16:153-67 (1963). Chapter 10 in this book.
43. Set Theory and Higher-Order Logics (abstract). Journal of Symbolic
Logic 28:266 (1963).
44. D. Kalish and Montague. Logic: Techniques of Formal Reasoning.
New York, 1964.
45. -. On Tarski's Formalization of Predicate Logic with Identity.
Archiv fur mathematische Logik und Grundlagenforschung 7:81-101
(1965).
46. Set Theory and Higher-Order Logic. In Formal Systems and Recursive
Functions, Proceedings of the Eighth Logic Colloquium, Oxford, July
1963. Amsterdam, 1965.
47. Interpretability in Terms of Models. Indagationes Mathematicae
27:467-76 (1965); and Koninklijke Nederlandse Akademie van Weten-
schappen, Amsterdam, Proceedings, ser. A, 68:457-76 (1965).
48. D. Kaplan and Montague. Foundations of Higher-Order Logic.
Proceedings of the 1964 International Congress for Logic, Methodology,
and Philosophy of Science, Jerusalem, August-September 1964.
Amsterdam, 1965.

49. Reductions of Higher-Order Logic. In The Theory of Models:
Proceedings of the 1963 Symposium at Berkeley. Amsterdam, 1965.
50. Review of Martin, Intension and Decision: A Philosophical Study
(Englewood Cliffs, N.J., 1963). Journal of Symbolic Logic 31:98-102
(1966).
51. R. Marcus, W. Boone, and Montague. Meeting of the Association for
Symbolic Logic. Journal of Symbolic Logic 31:147 (1966).
52. Review of Tucker, The Formalization of Set Theory (Mind 72:500-18
(1963)). Journal of Symbolic Logic 31:676-77 (1966).
53. A generalization of Recursion Theory (abstract). Journal of Symbolic
Logic 32:443-44 (1967).
54. General Formulations of Gödel's Second Underivability Theorem
(abstract). Journal of Symbolic Logic 32:444 (1967).
55. Pragmatics. In R. Klibansky (ed.), Contemporary Philosophy: A
Survey 1. Florence, 1968. Chapter 3 in this book.
56. Recursion Theory as a Branch of Model Theory. In van Rootselaar and
Staal (eds.), Logic, Methodology, and Philosophy of Science 3. Amster-
dam, 1968.
57. Pragmatics and Intensional Logic. Synthèse 22:68-94 (1970). Chapter 4
in this book.
58. On the Nature of Certain Philosophical Entities. Monist 53:159-94
(1969). Chapter 5 in this book.


59. Comments in Symposium on 'Formal Logic and Natural Languages'.
Foundations of Language 5:256-84 (1969).
60 .* On the Nature of Certain Philosophical Entities (summary). Akten
des 15. Internationalen Kongresses fur Philosophie, Vienna, September,
1968 3:201-02 (1969).
61. On the Nature of Certain Philosophical Entities (abstract). Review of
Metaphysics 23:165-66 (1969).
62. English as a Formal Language I. In B. Visentini et al., Linguaggi
nella Società e nella Tecnica. Milan, 1970. Chapter 6 in this book.
63. Universal Grammar. Theoria 36:373-98 (1970). Chapter 7 in this book.
64. Universal Grammar. Reference materials for a talk, May, 1970.
65. The Proper Treatment of Quantification in Ordinary English. In
J. Hintikka, J. Moravcsik, and P. Suppes (eds.), Approaches to
Natural Language. Dordrecht, 1973. Chapter 8 in this book.
66. Quantification in Ordinary English. Reference materials, October 16,
1970.
67. Letter to D. Scott with comments on Scott's Advice on Modal Logic,
June 21-30, 1968.
68. Universal Grammar. Mimeographed version marked 'to appear.'

69. Intensional Logic and Some of its Connections with Ordinary
Language. Reference materials for a talk, April, 1969. Delivered at
Southern California Logic Colloquium, Los Angeles, March 14, 1969;
and at Association for Symbolic Logic, Cleveland, May 1, 1969.